Activity Discovery and Detection of Behavioral Deviations of an Inhabitant From Binary Sensors J Saives, C Pianon, G Faraut Automation Science and Engineering, IEEE Transactions on 12 (4), 1211-1224, 2015 | 70 | 2015 |
Formal approach to multimodal control design: Application to mode switching G Faraut, L Piétrac, E Niel IEEE Transactions on Industrial Informatics 5 (4), 443-453, 2009 | 59 | 2009 |
An integrated framework for binary sensor placement and inhabitants location tracking MP Fanti, G Faraut, JJ Lesage, M Roccotelli IEEE Transactions on Systems, Man, and Cybernetics: Systems 48 (1), 154-160, 2016 | 35 | 2016 |
Human activity discovery and recognition using probabilistic finite-state automata K Viard, MP Fanti, G Faraut, JJ Lesage IEEE Transactions on Automation Science and Engineering 17 (4), 2085-2096, 2020 | 31 | 2020 |
An event-based approach for discovering activities of daily living by hidden Markov models K Viard, MP Fanti, G Faraut, JJ Lesage 2016 15th international conference on ubiquitous computing and …, 2016 | 28 | 2016 |
Identification of discrete event systems unobservable behaviour by petri nets using language projections J Saives, G Faraut, JJ Lesage 2015 European Control Conference (ECC), 464-471, 2015 | 23 | 2015 |
An optimization-based approach to discover the unobservable behavior of a discrete-event system through interpreted petri nets F Basile, G Faraut, L Ferrara, JJ Lesage IEEE Transactions on Automation Science and Engineering 17 (2), 784-798, 2019 | 21 | 2019 |
Online location tracking of a single inhabitant based on a state estimator M Danancher, JJ Lesage, L Litz, G Faraut 2013 IEEE International Conference on Systems, Man, and Cybernetics, 391-396, 2013 | 19 | 2013 |
Automated partitioning of concurrent discrete-event systems for distributed behavioral identification J Saives, G Faraut, JJ Lesage IEEE Transactions on Automation Science and Engineering 15 (2), 832-841, 2017 | 15 | 2017 |
Identification of incompatible states in mode switching G Faraut, L PIetrac, E Niel 2008 IEEE International Conference on Emerging Technologies and Factory …, 2008 | 15 | 2008 |
A discrete event model for multiple inhabitants location tracking M Danancher, JJ Lesage, L Litz, G Faraut 2013 IEEE International Conference on Automation Science and Engineering …, 2013 | 14 | 2013 |
Smart placement of motion sensors in a home environment MP Fanti, M Roccotelli, G Faraut, JJ Lesage 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2017 | 13 | 2017 |
Control law synthesis and reconfiguration using SCT G Faraut, L Piétrac, E Niel 2010 Conference on Control and Fault-Tolerant Systems (SysTol), 576-581, 2010 | 12 | 2010 |
Model-based testing of PLC programs with appropriate conformance relations A Guignard, JM Faure, G Faraut IEEE Transactions on Industrial Informatics 14 (1), 350-359, 2017 | 10 | 2017 |
Motion detector placement optimization in smart homes for inhabitant location tracking MP Fanti, M Roccotelli, JJ Lesage, G Faraut 2016 IEEE 21st International Conference on Emerging Technologies and Factory …, 2016 | 9 | 2016 |
Automated generation of models of activities of daily living J Saives, G Faraut IFAC Proceedings Volumes 47 (2), 13-20, 2014 | 8 | 2014 |
Recognition of human activity based on probabilistic finite-state automata K Viard, MP Fanti, G Faraut, JJ Lesage 2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017 | 6 | 2017 |
Process tracking by equivalent states in modal supervisory control G Faraut, L Piétrac, E Niel ETFA2011, 1-8, 2011 | 5 | 2011 |
Equivalence of behaviors between centralized and multi-model approaches G Faraut, L Piétrac, E Niel 2011 IEEE International Conference on Automation Science and Engineering, 32-38, 2011 | 5 | 2011 |
Model-based approach for anomaly detection in smart home inhabitant daily life K Fouquet, G Faraut, JJ Lesage 2021 American Control Conference (ACC), 3596-3601, 2021 | 4 | 2021 |