Gregory Faraut

Professeurs des Universités, LURPA, ENS Paris-Saclay

Documents

Affiliations actuelles

1051092

Identifiants chercheurs

gfaraut
0000-0003-0388-932X
Google Scholar : https://scholar.google.fr/citations?user=uJIVqLQAAAAJ&hl=fr
IdRef : 156592614

Domaines de recherche

Automatique Apprentissage [cs.LG] Systèmes et contrôle [cs.SY]

Publications

	Identification de système à un automate hybride - revue des travaux récents Yan Monier , Bruno Denis , Gregory Faraut , Nabil Anwer Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France Communication dans un congrès hal-04465229v1
	Inferring Moore Machine for Adaptive Online Hybrid Automaton Identification Yan Monier , Gregory Faraut , Bruno Denis , Nabil Anwer IFAC World Congress 2023, Jul 2023, Yokohama, Japan. ⟨10.1016/j.ifacol.2023.10.040⟩ Communication dans un congrès hal-04238162v1
	Long-term deviation detection in human behavior Kevin Fouquet , Gregory Faraut , Jean-Jacques Lesage 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), Aug 2021, Lyon, France. pp.1401-1406, ⟨10.1109/CASE49439.2021.9551594⟩ Communication dans un congrès hal-04160204v1
	Model-Based Approach for Anomaly Detection in Smart Home Inhabitant Daily Life Kevin Fouquet , Gregory Faraut , Jean-Jacques Lesage 2021 American Control Conference (ACC), May 2021, New Orleans, United States. pp.3596-3601, ⟨10.23919/ACC50511.2021.9483053⟩ Communication dans un congrès hal-04160196v1
	Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living Kevin Fouquet , Gregory Faraut , Jean-Jacques Lesage 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Oct 2020, Toronto, Canada. pp. 2740-2745 Communication dans un congrès hal-03039270v1
	Discovering of the unobservable behaviour of an Interpreted Petri Net model Francesco Basile , Gregory Faraut , Luigi Ferrara , Jean-Jaques Lesage 58th IEEE Conf. on Decision and Control (CDC’19), Dec 2019, Nice, France. pp.2021-2026 Communication dans un congrès hal-02415453v1
	Discovering of the unobservable behaviour of an Interpreted Petri Net model Francesco Basile , Gregory Faraut , Luigi Ferrara , Jean-Jacques Lesage 58th IEEE Conf. on Decision and Control (CDC’19), Dec 2019, Nice, France. pp. 2021-2026 Communication dans un congrès hal-04484317v1
	Smart Placement of Motion Sensors in a Home Environment Maria Pia Fanti , Michele Roccotelli , Gregory Faraut , Jean-Jacques Lesage IEEE SMC 2017 - IEEE International Conference on Systems, Man, and Cybernetics (SMC), Oct 2017, Banff, Canada. pp.894-899 Communication dans un congrès hal-01655388v1
	Recognition of Human Activity Based on Probabilistic Finite-State Automata Kevin Viard , Maria Pia Fanti , Gregory Faraut , Jean-Jacques Lesage 22nd IEEE International Conference on Emerging Technologies And Factory Automation, Sep 2017, Limassol, Cyprus Communication dans un congrès hal-01529721v1
	Motion Detector Placement Optimization in Smart Homes for Inhabitant Location Tracking Maria Pia Fanti , Michele Roccotelli , Jean-Jacques Lesage , Gregory Faraut ETFA'16: 21st IEEE Int. Conf. on Emerging Technologies and Factory Automation, Sep 2016, Berlin, Germany Communication dans un congrès hal-01357687v1
	Identification par réseau de Petri du comportement non observable d'un système séquentiel réactif Jérémie Saives , Gregory Faraut , Jean-Jacques Lesage 6èmes Journées doctorales du GDR MACS, JDMACS'15, INSA Centre Val de Loire, Jun 2015, Bourges, France Communication dans un congrès hal-01180590v1
	Identification of Discrete Event Systems Unobservable Behaviour by Petri nets using Language Projections Jeremie Saives , Gregory Faraut , Jean-Jacques Lesage IEEE European Control Conference 2015, ECC'15, Johannes Kepler University, Jul 2015, Linz, Austria Communication dans un congrès hal-01180594v1
	Automated Generation of Models of Activities of Daily Living Jérémie Saives , Gregory Faraut 12th International Workshop on Discrete Event Systems-WODES 2014, May 2014, Cachan, France. pp.13-20 Communication dans un congrès hal-00999505v1
	E-santé et maison intelligente : Une approche à travers le prisme des Systèmes à Evénements Discrets Mickaël Danancher , Jérémie Saives , Gregory Faraut , Jean-Jacques Lesage JETSAN 2014 (Journées d'étude sur la Télésanté), Jun 2014, Troyes, France. pp.51 - 54 Communication dans un congrès hal-01022764v1
	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, Man, and Cybernetics - SMC 2013, Oct 2013, Manchester, United Kingdom. pp.391-396, ⟨10.1109/SMC.2013.73⟩ Communication dans un congrès hal-00873247v1
	A Discrete Event Model for Multiple Inhabitants Location Tracking Mickaël Danancher , Jean-Jacques Lesage , Lothar Litz , Gregory Faraut 9th IEEE International Conference on Automation Science and Engineering - CASE 2013, Aug 2013, Madison, WI, United States. pp.922-927, ⟨10.1109/CoASE.2013.6653946⟩ Communication dans un congrès hal-00855156v1
	A DES Simulator for Location Tracking of Inhabitants in Smart Home Mickaël Danancher , Gregory Faraut , Jean-Jacques Lesage , Lothar Litz Proceedings of the 8th EUROSIM Congress on Modelling and Simulation - EUROSIM 2013, Sep 2013, Cardiff, Wales, United Kingdom. pp.330-335 Communication dans un congrès hal-00862386v1
	Equivalence of Behaviors Between Centralized and Multi-model Approaches Gregory Faraut , Laurent Piétrac , Eric Niel 7th International Conference on Automation Science and Engineering, CASE'11, Aug 2011, Trieste, Italy. pp.32-38, ⟨10.1109/CASE.2011.6042502⟩ Communication dans un congrès hal-00759500v1
	Process tracking by equivalent states in modal supervisory control Gregory Faraut , Laurent Piétrac , Eric Niel ETFA 2011, Sep 2011, Toulouse, France. 8 p. (électronique), ⟨10.1109/ETFA.2011.6059040⟩ Communication dans un congrès hal-00636628v1
	Identification des états équivalents dans l'approche modale Gregory Faraut , Laurent Piétrac , Eric Niel Modélisation des Systèmes Réactifs, MSR'11, Nov 2011, Lille, France. pp.141-156, ⟨10.3166/jesa.45.141-156⟩ Communication dans un congrès hal-00759503v1
	Control Law Synthesis and Reconfiguration Using SCT Gregory Faraut , Laurent Piétrac , Eric Niel SysTol, Oct 2010, Nice, France. pp.576 - 581, ⟨10.1109/SYSTOL.2010.5675977⟩ Communication dans un congrès hal-00597439v1
	A New Framework for Mode Switching in SCT Gregory Faraut , Laurent Piétrac , Eric Niel ECC, Aug 2009, Budapest, Hungary. pp.MoC10.3, ⟨10.23919/ECC.2009.7074613⟩ Communication dans un congrès hal-00419683v1
	Identification des états incompatibles lors d'un changement de mode Gregory Faraut , Laurent Piétrac , Eric Niel JN-JD-MACS, Mar 2009, Angers, France. pp.électronique Communication dans un congrès hal-00476143v1
	Démarche d'aide à la conception par approche multimode des SED Gregory Faraut , Laurent Piétrac , Eric Niel MSR'09, Nov 2009, Nantes, France. pp.837-853 Communication dans un congrès hal-00476124v1
	Identification of incompatible states in mode switching Gregory Faraut , Laurent Piétrac , Eric Niel ETFA 2008, Sep 2008, Hambourg, Germany. pp.121 - 128, ⟨10.1109/ETFA.2008.4638382⟩ Communication dans un congrès hal-00375905v1

	Mathematical Criteria for a Priori Performance Estimation of Activities of Daily Living Recognition Florentin Delaine , Gregory Faraut Sensors, 2022, 22 (7), pp.2439. ⟨10.3390/s22072439⟩ Article dans une revue hal-04160215v1
	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 Transactions on Automation Science and Engineering, 2019, pp.1-15. ⟨10.1109/TASE.2019.2944299⟩ Article dans une revue hal-02369807v1
	An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking Maria Pia Fanti , Gregory Faraut , Jean-Jacques Lesage , Michele Roccotelli IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2018, 48 (1), pp. 154-160. ⟨10.1109/TSMC.2016.2597699⟩ Article dans une revue hal-01367581v1
	Automated Partitioning of Concurrent Discrete Event Systems for Distributed Behavioural Identification Jeremie Saives , Gregory Faraut , Jean-Jacques Lesage IEEE Transactions on Automation Science and Engineering, 2017, ⟨10.1109/TASE.2017.2718244⟩ Article dans une revue hal-01564213v1
	Model-based testing of PLC programs with appropriate conformance relations Anais Guignard , Jean-Marc Faure , Gregory Faraut IEEE Transactions on Industrial Informatics, 2017, ⟨10.1109/TII.2017.2695370⟩ Article dans une revue hal-01511071v1
	Activity Discovery and Detection of Behavioural Deviations of an Inhabitant from Binary Sensors Jérémie Saives , Clément Pianon , Gregory Faraut IEEE Transactions on Automation Science and Engineering, 2015, 12 (4), pp.1211 - 1224. ⟨10.1109/TASE.2015.2471842⟩ Article dans une revue hal-01253810v1
	Démarche d'aide à la conception par approche multimode des SED Gregory Faraut , Laurent Piétrac , Eric Niel Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-9), pp.837-853 Article dans une revue hal-00472016v1
	Formal Approach to Multimodal Control Design: Application to Mode Switching Gregory Faraut , Laurent Piétrac , Eric Niel IEEE Transactions on Industrial Informatics, 2009, 5 (4), pp.443 - 453. ⟨10.1109/TII.2009.2028135⟩ Article dans une revue hal-00471885v1

	Identification comportementale des Systèmes à Evénements Discrets réactifs Jérémie Saives , Gregory Faraut , Jean-Jacques Lesage Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France Poster de conférence hal-01224493v1

	Commutations sûres de mode pour les systèmes à événements discrets Gregory Faraut Automatique / Robotique. INSA de Lyon, 2010. Français. ⟨NNT : 2010-ISAL-0108⟩ Thèse tel-00945172v1

Gregory Faraut

Domaines de recherche

Publications

Identification de système à un automate hybride - revue des travaux récents

Inferring Moore Machine for Adaptive Online Hybrid Automaton Identification

Long-term deviation detection in human behavior

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

Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living

Discovering of the unobservable behaviour of an Interpreted Petri Net model

Discovering of the unobservable behaviour of an Interpreted Petri Net model

Smart Placement of Motion Sensors in a Home Environment

Recognition of Human Activity Based on Probabilistic Finite-State Automata

Motion Detector Placement Optimization in Smart Homes for Inhabitant Location Tracking

Identification par réseau de Petri du comportement non observable d'un système séquentiel réactif

Identification of Discrete Event Systems Unobservable Behaviour by Petri nets using Language Projections

Automated Generation of Models of Activities of Daily Living

E-santé et maison intelligente : Une approche à travers le prisme des Systèmes à Evénements Discrets

Online Location Tracking of a Single Inhabitant based on a State Estimator

A Discrete Event Model for Multiple Inhabitants Location Tracking

A DES Simulator for Location Tracking of Inhabitants in Smart Home

Equivalence of Behaviors Between Centralized and Multi-model Approaches

Process tracking by equivalent states in modal supervisory control

Identification des états équivalents dans l'approche modale

Control Law Synthesis and Reconfiguration Using SCT

A New Framework for Mode Switching in SCT

Identification des états incompatibles lors d'un changement de mode

Démarche d'aide à la conception par approche multimode des SED

Identification of incompatible states in mode switching

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

An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets

An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking

Automated Partitioning of Concurrent Discrete Event Systems for Distributed Behavioural Identification

Model-based testing of PLC programs with appropriate conformance relations

Activity Discovery and Detection of Behavioural Deviations of an Inhabitant from Binary Sensors

Démarche d'aide à la conception par approche multimode des SED

Formal Approach to Multimodal Control Design: Application to Mode Switching

Identification comportementale des Systèmes à Evénements Discrets réactifs

Commutations sûres de mode pour les systèmes à événements discrets