Formal validation of PLC programs: A survey. - S. Lampérière-Couffin; O. Rossi; Jean-Marc Roussel; Jean-Jacques Lesage (ECC, 1999)

Towards the automatic verification of PLC programs written in Instruction List. - Géraud Canet; Sandrine Couffin; Jean-Jacques Lesage; Antoine Petit 001; Philippe Schnoebelen (SMC, 2000)

Modelling and implementing the control of automated production systems using statecharts and PLC programming languages. - José M. Machado; Farid Louni; Jean-Marc Faure; Jean-Jacques Lesage; Jaime C. L. Ferreira da Silva; Jean-Marc Roussel (ECC, 2001)

Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking. - Stéphane Klein; Xiying Weng; Georg Frey; Jean-Jacques Lesage; Lothar Litz (ACC, 2002)

Performance Verification of discrete Event Systems using Hybrid Model-Checking. - Bruno Denis; Jean-Jacques Lesage; Zulema Juárez-Orozco (ADHS, 2006)

Formal verification of redundant media extension of Ethernet PowerLink. - Steve Limal; Stéphane Potier; Bruno Denis; Jean-Jacques Lesage (ETFA, 2007)

Distributed identification of concurrent discrete event systems for fault detection purposes. - Matthias Roth; Jean-Jacques Lesage; Lothar Litz (ECC, 2009)

Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour. - Ana Paula Estrada-Vargas; Ernesto López-Mellado; Jean-Jacques Lesage (SMC, 2009)

Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems. - Matthias Roth; Jean-Jacques Lesage; Lothar Litz (ACC, 2010)

An identification method for PLC-based automated Discrete Event Systems. - Ana Paula Estrada-Vargas; Ernesto López-Mellado; Jean-Jacques Lesage (CDC, 2010)

Identification of Discrete Event Systems - Implementation Issues and Model Completeness. - Matthias Roth; Lothar Litz; Jean-Jacques Lesage (ICINCO (3), 2010)

Linear time-varying (max, +) representation of conflicting timed event graphs. - Boussad Addad; Saïd Amari; Jean-Jacques Lesage (WODES, 2010)

Analytic Calculus of Response Time in Networked Automation Systems. - Boussad Addad; Said Amari; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2010)

Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events. - Guillaume Merle; Jean-Marc Roussel; Jean-Jacques Lesage; Andrea Bobbio (IEEE Trans. Reliab., 2010)

Measures vs. analytic evaluation of response time of Networked Automation Systems. - Boussad Addad; Said Amari; Jean-Jacques Lesage; Bruno Denis (CASE, 2011)

Stepwise identification of automated discrete manufacturing systems. - Ana Paula Estrada-Vargas; Jean-Jacques Lesage; Ernesto López-Mellado (ETFA, 2011)

Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering. - Jean-Marc Faure; Jean-Jacques Lesage (ICINCO (1), 2011)

Genetic algorithms for delays evaluation in networked automation systems. - Boussad Addad; Said Amari; Jean-Jacques Lesage (Eng. Appl. Artif. Intell., 2011)

Algebraic determination of the structure function of Dynamic Fault Trees. - Guillaume Merle; Jean-Marc Roussel; Jean-Jacques Lesage (Reliab. Eng. Syst. Saf., 2011)

Client-Server Networked Automation Systems Reactivity: Deterministic and Probabilistic Analysis. - Boussad Addad; Said Amari; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2011)

A Virtual-Queuing-Based Algorithm for Delay Evaluation in Networked Control Systems. - Boussad Addad; Saïd Amari; Jean-Jacques Lesage (IEEE Trans. Ind. Electron., 2011)

Identification of industrial automation systems: Building compact and expressive Petri Net models from observable behavior. - Ana Paula Estrada-Vargas; Jean-Jacques Lesage; Ernesto López-Mellado (ACC, 2012)

Determination of timed transitions in identified discrete-event models for fault detection. - Stefan Marco Schneider; Lothar Litz; Jean-Jacques Lesage (CDC, 2012)

Indoor Location Tracking Based on a Discrete Event Model. - Mickaël Danancher; Jean-Jacques Lesage; Lothar Litz (ICOST, 2012)

Preface. - Antonio Ramírez-Treviño; Ernesto López-Mellado; Jean-Jacques Lesage; Manuel Silva Suárez (WODES, 2012)

Algebraic synthesis of logical controllers despite inconsistencies in specifications. - Jean-Marc Roussel; Jean-Jacques Lesage (WODES, 2012)

Networked conflicting timed event graphs representation in (Max, +) algebra. - Boussad Addad; Said Amari; Jean-Jacques Lesage (Discret. Event Dyn. Syst., 2012)

Fault detection and isolation in manufacturing systems with an identified discrete event model. - Matthias Roth; Stefan Marco Schneider; Jean-Jacques Lesage; Lothar Litz (Int. J. Syst. Sci., 2012)

A Discrete event model for multiple inhabitants location tracking. - Mickaël Danancher; Jean-Jacques Lesage; Lothar Litz; Gregory Faraut (CASE, 2013)

Automated modelling of reactive discrete event systems from external behavioural data. - Ana Paula Estrada-Vargas; Ernesto López-Mellado; Jean-Jacques Lesage (CONIELECOMP, 2013)

Identification of partially observable discrete event manufacturing systems. - Ana Paula Estrada-Vargas; Ernesto López-Mellado; Jean-Jacques Lesage (ETFA, 2013)

Online Location Tracking of a Single Inhabitant Based on a State Estimator. - Mickaël Danancher; Jean-Jacques Lesage; Lothar Litz; Gregory Faraut (SMC, 2013)

A Petri net model of an integrated system for the Health Care At Home management. - Maria Pia Fanti; Agostino Marcello Mangini; Walter Ukovich; Jean-Jacques Lesage; Kevin Viard (CASE, 2014)

Petri net discovery of discrete event processes by computing t-invariants. - Tonatiuh Tapia-Flores; Ernesto López-Mellado; Ana Paula Estrada-Vargas; Jean-Jacques Lesage (ETFA, 2014)

Input-output identification of controlled discrete manufacturing systems. - Ana Paula Estrada-Vargas; Ernesto López-Mellado; Jean-Jacques Lesage (Int. J. Syst. Sci., 2014)

Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function. - Guillaume Merle; Jean-Marc Roussel; Jean-Jacques Lesage (Qual. Reliab. Eng. Int., 2014)

Identification of discrete event systems unobservable behaviour by petri nets using language projections. - Jérémie Saives; Gregory Faraut; Jean-Jacques Lesage (ECC, 2015)

A stepwise method for identification of controlled discrete manufacturing systems. - Ana Paula Estrada-Vargas; Jean-Jacques Lesage; Ernesto López-Mellado (Int. J. Comput. Integr. Manuf., 2015)

An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models. - Kevin Viard; Maria Pia Fanti; Gregory Faraut; Jean-Jacques Lesage (IUCC-CSS, 2016)

Motion detector placement optimization in smart homes for inhabitant location tracking. - Maria Pia Fanti; Michele Roccotelli; Jean-Jacques Lesage; Gregory Faraut (ETFA, 2016)

Overview of discrete event systems opacity: Models, validation, and quantification. - Romain Jacob; Jean-Jacques Lesage; Jean-Marc Faure (Annu. Rev. Control., 2016)

Special issue on "New approaches for DES modeling, analysis and synthesis". - Jean-Jacques Lesage; José E. R. Cury (Discret. Event Dyn. Syst., 2016)

Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation. - Guillaume Merle; Jean-Marc Roussel; Jean-Jacques Lesage; Vianney Perchet; Nicolas Vayatis (Qual. Reliab. Eng. Int., 2016)

Model-Based Location Tracking of an a priori Unknown Number of Inhabitants in Smart Homes. - Mickaël Danancher; Jean-Jacques Lesage; Lothar Litz (IEEE Trans Autom. Sci. Eng., 2016)

Towards alarm flood reduction. - Yannick Laumonier; Jean-Marc Faure; Jean-Jacques Lesage; H. Sabot (ETFA, 2017)

Recognition of human activity based on probabilistic finite-state automata. - Kevin Viard; Maria Pia Fanti; Gregory Faraut; Jean-Jacques Lesage (ETFA, 2017)

Smart placement of motion sensors in a home environment. - Maria Pia Fanti; Michele Roccotelli; Gregory Faraut; Jean-Jacques Lesage (SMC, 2017)

Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems. - Pierre-Yves Piriou; Jean-Marc Faure; Jean-Jacques Lesage (Reliab. Eng. Syst. Saf., 2017)

A Black-Box Identification Method for Automated Discrete-Event Systems. - Ana Paula Estrada-Vargas; Ernesto López-Mellado; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2017)

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)

Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants. - Tonatiuh Tapia-Flores; Ernesto López-Mellado; Ana Paula Estrada-Vargas; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 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)

Discovering of the unobservable behaviour of an Interpreted Petri Net model. - Francesco Basile; Gregory Faraut; Luigi Ferrara; Jean-Jacques Lesage (CDC, 2019)

Discovering Systematic Relations between Alarms for Alarm Flows Reduction. - Yannick Laumonier; Jean-Marc Faure; Jean-Jacques Lesage; H. Sabot (CoDIT, 2019)

Discrete event system identification with the aim of fault detection. - Marcos V. Moreira; Jean-Jacques Lesage (Discret. Event Dyn. Syst., 2019)

Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living. - Kevin Fouquet; Gregory Faraut; Jean-Jacques Lesage (SMC, 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)

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)

Model-Based Approach for Anomaly Detection in Smart Home Inhabitant Daily Life. - Kevin Fouquet; Gregory Faraut; Jean-Jacques Lesage (ACC, 2021)

Long-term deviation detection in human behavior. - Kevin Fouquet; Gregory Faraut; Jean-Jacques Lesage (CASE, 2021)

On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications. - Sofia Hustiu; Cristian Mahulea; Marius Kloetzer; Jean-Jacques Lesage (CoRR, 2022)

On Multirobot Path Planning Based on Petri Net Models and LTL Specifications. - Sofia Hustiu; Cristian Mahulea; Marius Kloetzer; Jean-Jacques Lesage (IEEE Trans. Autom. Control., 2024)