Publications d'un membre du LURPA : Gregory FARAUT (6 réponses)

2018 (2 publication(s))

Publications en revue à comité de lecture (2)

• Model-based testing of PLC programs with appropriate conformance relations
  A. Guignard, J.-M. Faure, G. Faraut
  IEEE Trans. on Industrial Informatics, 14 (1), pp. 350-359, January 2018
• Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification
  J. Saives, G. Faraut, J.-J. Lesage
  IEEE Trans. on Automation Science and Engineering, PP(99), 15(2), pp. 832-841, 2018

2017 (1 publication(s))

Publications en revue à comité de lecture (1)

• An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking
  M.P. Fanti, G. Faraut, J.-J. Lesage, M. Roccotelli
  IEEE Trans. on Systems, Man, and Cybernetics: Systems, 2016, 48(1), pp. 154-160

2015 (1 publication(s))

Publications en revue à comité de lecture (1)

• Activity Discovery and Detection of Behavioral Deviations of an Inhabitant From Binary Sensors
  J. Saives, C. Pianon, G. Faraut
  IEEE Trans. on Automation Science and Engineering, 12(04), pp. 1211-1224, DOI: 10.1109/TASE.2015.2471842, 2015

2009 (2 publication(s))

Publications en revue à comité de lecture (2)

• Démarche d'aide à la conception par approche multimode des SED
  G. FARAUT, L. PIETRAC, E. NIEL
  Journal Européen des Systèmes Automatisés 43, 7-9 (2009) pp.837-853
• Formal Approach to Multimodal Control Design: Application to Mode Switching
  G. FARAUT, L. PIETRAC, E. NIEL
  IEEE Transactions on Industrial Informatics (2009) Vol.5, n°4, pp.443 - 453