Gregory Faraut

According to our database, Gregory Faraut authored at least 27 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets.

Romain Thibert, Gregory Faraut, Saïd Amari

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

Mathematical Criteria for a Priori Performance Estimation of Activities of Daily Living Recognition.

Florentin Delaine, Gregory Faraut

Sensors, 2022

2021

Long-term deviation detection in human behavior.

Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

Model-Based Approach for Anomaly Detection in Smart Home Inhabitant Daily Life.

Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage

Proceedings of the 2021 American Control Conference, 2021

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

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

Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living.

Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

2019

Guest Editorial Special Issue on Automation Science and Engineering for Smart and Interconnected Healthcare Delivery Systems.

Jingshan Li, Xiaolan Xie, Jie Song, Hui Yang, Gregory Faraut

IEEE Trans Autom. Sci. Eng., 2019

Discovering of the unobservable behaviour of an Interpreted Petri Net model.

Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

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

Model-Based Testing of PLC Programs With Appropriate Conformance Relations.

Anaïs Guignard, Jean-Marc Faure, Gregory Faraut

IEEE Trans. Ind. Informatics, 2018

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

2017

Smart placement of motion sensors in a home environment.

Maria Pia Fanti, Michele Roccotelli, Gregory Faraut, Jean-Jacques Lesage

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Recognition of human activity based on probabilistic finite-state automata.

Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Motion detector placement optimization in smart homes for inhabitant location tracking.

Maria Pia Fanti, Michele Roccotelli, Jean-Jacques Lesage, Gregory Faraut

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models.

Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage

Proceedings of the 15th International Conference on Ubiquitous Computing and 8th Communications and International Symposium on Cyberspace Safety and Security, 2016

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

Identification of discrete event systems unobservable behaviour by petri nets using language projections.

Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage

Proceedings of the 14th European Control Conference, 2015

2014

Automated Generation of Models of Activities of Daily Living.

Jérémie Saives, Gregory Faraut

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Online Location Tracking of a Single Inhabitant Based on a State Estimator.

Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut

Proceedings of the IEEE International Conference on Systems, 2013

A Discrete event model for multiple inhabitants location tracking.

Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2011

Process tracking by equivalent states in modal supervisory control.

Gregory Faraut, Laurent Piétrac, Éric Niel

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Equivalence of behaviors between centralized and multi-model approaches.

Gregory Faraut, Laurent Piétrac, Éric Niel

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

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

Gregory Faraut

PhD thesis, 2010

2009

Formal approach to multi-modal control design: application to mode switching.

Gregory Faraut, Laurent Piétrac, Éric Niel

IEEE Trans. Ind. Informatics, 2009

A new framework for mode switching in SCT.

Gregory Faraut, Laurent Piétrac, Éric Niel

Proceedings of the 10th European Control Conference, 2009

2008

Identification of incompatible states in mode switching.

Gregory Faraut, Laurent Piétrac, Éric Niel

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008