Identification of incompatible states in mode switching. - Gregory Faraut; Laurent Piétrac; Éric Niel (ETFA, 2008)

A new framework for mode switching in SCT. - Gregory Faraut; Laurent Piétrac; Éric Niel (ECC, 2009)

Formal approach to multi-modal control design: application to mode switching. - Gregory Faraut; Laurent Piétrac; Éric Niel (IEEE Trans. Ind. Informatics, 2009)

Commutations sûres de mode pour les systèmes à événements discrets. (Safe switching of mode for discrete-event systems). - Gregory Faraut (2010)

Equivalence of behaviors between centralized and multi-model approaches. - Gregory Faraut; Laurent Piétrac; Éric Niel (CASE, 2011)

Process tracking by equivalent states in modal supervisory control. - Gregory Faraut; Laurent Piétrac; Éric Niel (ETFA, 2011)

A Discrete event model for multiple inhabitants location tracking. - Mickaël Danancher; Jean-Jacques Lesage; Lothar Litz; Gregory Faraut (CASE, 2013)

Online Location Tracking of a Single Inhabitant Based on a State Estimator. - Mickaël Danancher; Jean-Jacques Lesage; Lothar Litz; Gregory Faraut (SMC, 2013)

Automated Generation of Models of Activities of Daily Living. - Jérémie Saives; Gregory Faraut (WODES, 2014)

Identification of discrete event systems unobservable behaviour by petri nets using language projections. - Jérémie Saives; Gregory Faraut; Jean-Jacques Lesage (ECC, 2015)

Activity Discovery and Detection of Behavioral Deviations of an Inhabitant From Binary Sensors. - Jérémie Saives; Clement Pianon; Gregory Faraut (IEEE Trans Autom. Sci. Eng., 2015)

An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models. - Kevin Viard; Maria Pia Fanti; Gregory Faraut; Jean-Jacques Lesage (IUCC-CSS, 2016)

Motion detector placement optimization in smart homes for inhabitant location tracking. - Maria Pia Fanti; Michele Roccotelli; Jean-Jacques Lesage; Gregory Faraut (ETFA, 2016)

Recognition of human activity based on probabilistic finite-state automata. - Kevin Viard; Maria Pia Fanti; Gregory Faraut; Jean-Jacques Lesage (ETFA, 2017)

Smart placement of motion sensors in a home environment. - Maria Pia Fanti; Michele Roccotelli; Gregory Faraut; Jean-Jacques Lesage (SMC, 2017)

Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification. - Jérémie Saives; Gregory Faraut; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2018)

Model-Based Testing of PLC Programs With Appropriate Conformance Relations. - Anaïs Guignard; Jean-Marc Faure; Gregory Faraut (IEEE Trans. Ind. Informatics, 2018)

An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking. - Maria Pia Fanti; Gregory Faraut; Jean-Jacques Lesage; Michele Roccotelli (IEEE Trans. Syst. Man Cybern. Syst., 2018)

Discovering of the unobservable behaviour of an Interpreted Petri Net model. - Francesco Basile; Gregory Faraut; Luigi Ferrara; Jean-Jacques Lesage (CDC, 2019)

Guest Editorial Special Issue on Automation Science and Engineering for Smart and Interconnected Healthcare Delivery Systems. - Jingshan Li; Xiaolan Xie; Jie Song 002; Hui Yang 003; Gregory Faraut (IEEE Trans Autom. Sci. Eng., 2019)

Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living. - Kevin Fouquet; Gregory Faraut; Jean-Jacques Lesage (SMC, 2020)

An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets. - Francesco Basile; Gregory Faraut; Luigi Ferrara; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2020)

Human Activity Discovery and Recognition Using Probabilistic Finite-State Automata. - Kevin Viard; Maria Pia Fanti; Gregory Faraut; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2020)

Model-Based Approach for Anomaly Detection in Smart Home Inhabitant Daily Life. - Kevin Fouquet; Gregory Faraut; Jean-Jacques Lesage (ACC, 2021)

Long-term deviation detection in human behavior. - Kevin Fouquet; Gregory Faraut; Jean-Jacques Lesage (CASE, 2021)

Mathematical Criteria for a Priori Performance Estimation of Activities of Daily Living Recognition. - Florentin Delaine; Gregory Faraut (Sensors, 2022)

Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets. - Romain Thibert; Gregory Faraut; Saïd Amari (ETFA, 2023)