Gregory Faraut

Professeurs des Universités, LURPA, ENS Paris-Saclay, Université Paris-Saclay
36
Documents
Affiliation actuelle
  • Laboratoire Universitaire de Recherche en Production Automatisée (LURPA)
Identifiants chercheurs

Domaines de recherche

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

Publications

14
12
7
1
1
1
6
5
4
4
3
3
3
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
18
11
7
2

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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