Gregory Faraut

30 papers B 3C 6Journal 12Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Counting Time Temporal Logic for Multi-Robot Path Planning in Finite Horizons.
IEEE Trans Autom. Sci. Eng.
Peng Lv, Shaoyuan Li, Cristian Mahulea, Bruno Denis, Gregory Faraut, Xiang Yin
2026 J jnl
Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control.
CoRR
Dylan Bellier, Gregory Faraut, Yan Monier, Philipp Schlehuber-Caissier
2025 J jnl
Probabilistic timed Petri nets for clinical pathway design and analysis: a case study.
Discret. Event Dyn. Syst.
Manon Le Moigne, Cristian Mahulea, Gregory Faraut, Simona Bernardi, Jorge Albareda, Lidia Castán
2023 C conf
Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets.
ETFA
Romain Thibert, Gregory Faraut, Saïd Amari
2022 J jnl
Mathematical Criteria for a Priori Performance Estimation of Activities of Daily Living Recognition.
Sensors
Florentin Delaine, Gregory Faraut
2021 — conf
Long-term deviation detection in human behavior.
CASE
Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage
2021 C conf
Model-Based Approach for Anomaly Detection in Smart Home Inhabitant Daily Life.
ACC
Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage
2020 J jnl
An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets.
IEEE Trans Autom. Sci. Eng.
Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage
2020 J jnl
Human Activity Discovery and Recognition Using Probabilistic Finite-State Automata.
IEEE Trans Autom. Sci. Eng.
Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage
2020 B conf
Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living.
SMC
Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage
2019 — conf
Discovering of the unobservable behaviour of an Interpreted Petri Net model.
CDC
Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage
2019 J jnl
Guest Editorial Special Issue on Automation Science and Engineering for Smart and Interconnected Healthcare Delivery Systems.
IEEE Trans Autom. Sci. Eng.
Jingshan Li, Xiaolan Xie, Jie Song, Hui Yang, Gregory Faraut
2018 J jnl
An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking.
IEEE Trans. Syst. Man Cybern. Syst.
Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage, Michele Roccotelli
2018 J jnl
Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification.
IEEE Trans Autom. Sci. Eng.
Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage
2018 J jnl
Model-Based Testing of PLC Programs With Appropriate Conformance Relations.
IEEE Trans. Ind. Informatics
Anaïs Guignard, Jean-Marc Faure, Gregory Faraut
2017 C conf
Recognition of human activity based on probabilistic finite-state automata.
ETFA
Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage
2017 B conf
Smart placement of motion sensors in a home environment.
SMC
Maria Pia Fanti, Michele Roccotelli, Gregory Faraut, Jean-Jacques Lesage
2016 — conf
An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models.
IUCC-CSS
Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage
2016 C conf
Motion detector placement optimization in smart homes for inhabitant location tracking.
ETFA
Maria Pia Fanti, Michele Roccotelli, Jean-Jacques Lesage, Gregory Faraut
2015 J jnl
Activity Discovery and Detection of Behavioral Deviations of an Inhabitant From Binary Sensors.
IEEE Trans Autom. Sci. Eng.
Jérémie Saives, Clement Pianon, Gregory Faraut
2015 — conf
Identification of discrete event systems unobservable behaviour by petri nets using language projections.
ECC
Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage
2014 — conf
Automated Generation of Models of Activities of Daily Living.
WODES
Jérémie Saives, Gregory Faraut
2013 — conf
A Discrete event model for multiple inhabitants location tracking.
CASE
Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut
2013 B conf
Online Location Tracking of a Single Inhabitant Based on a State Estimator.
SMC
Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut
2011 — conf
Equivalence of behaviors between centralized and multi-model approaches.
CASE
Gregory Faraut, Laurent Piétrac, Éric Niel
2011 C conf
Process tracking by equivalent states in modal supervisory control.
ETFA
Gregory Faraut, Laurent Piétrac, Éric Niel
2010 — —
Commutations sûres de mode pour les systèmes à événements discrets. (Safe switching of mode for discrete-event systems).
Gregory Faraut
2009 — conf
A new framework for mode switching in SCT.
ECC
Gregory Faraut, Laurent Piétrac, Éric Niel
2009 J jnl
Formal approach to multi-modal control design: application to mode switching.
IEEE Trans. Ind. Informatics
Gregory Faraut, Laurent Piétrac, Éric Niel
2008 C conf
Identification of incompatible states in mode switching.
ETFA
Gregory Faraut, Laurent Piétrac, Éric Niel