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

Identifiants chercheurs

IdHAL :

gfaraut

ORCID :

0000-0003-0388-932X

IdRef :

156592614

Publications

Communication dans un congrès (26)

A new global optimization for hybrid automaton Identification Yan Monier,Bruno Denis,Gregory Faraut,Nabil Anwer 17th Workshop on Discrete Event Systems (WODES'24), Apr 2024, Rio de Janeiro, France. pp.252-257, ⟨10.1016/j.ifacol.2024.07.043⟩ Communication dans un congrès hal-04804902v1
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
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
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
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 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
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
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
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
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 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

Article dans une revue (8)

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, 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

Poster de conférence (1)

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

Thèse (1)

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