Publications d'un membre du LURPA : Gregory FARAUT
- 2018
- Publications en revue à comité de lecture
- 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
- Publications en revue à comité de lecture
- 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
- Publications en revue à comité de lecture
- 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
- Publications en revue à comité de lecture
- 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