Jean-Jacques Lesage

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 25

Top Topics

Location Tracking

Top Venues

IEEE Trans Autom. Sci. Eng.

Publications

Sofia Hustiu, Cristian Mahulea, Marius Kloetzer, Jean-Jacques Lesage
On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications. CoRR (2022)
Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage
Long-term deviation detection in human behavior. CASE (2021)
Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage
Model-Based Approach for Anomaly Detection in Smart Home Inhabitant Daily Life. ACC (2021)
Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage
Human Activity Discovery and Recognition Using Probabilistic Finite-State Automata. IEEE Trans Autom. Sci. Eng. 17 (4) (2020)
Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage
Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living. SMC (2020)
Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage
An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets. IEEE Trans Autom. Sci. Eng. 17 (2) (2020)
Marcos V. Moreira, Jean-Jacques Lesage
Discrete event system identification with the aim of fault detection. Discret. Event Dyn. Syst. 29 (2) (2019)
Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage
Discovering of the unobservable behaviour of an Interpreted Petri Net model. CDC (2019)
Y. Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot
Discovering Systematic Relations between Alarms for Alarm Flows Reduction. CoDIT (2019)
Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage, Michele Roccotelli
An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking. IEEE Trans. Syst. Man Cybern. Syst. 48 (1) (2018)
Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage
Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification. IEEE Trans Autom. Sci. Eng. 15 (2) (2018)
Tonatiuh Tapia-Flores, Ernesto López-Mellado, Ana Paula Estrada-Vargas, Jean-Jacques Lesage
Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants. IEEE Trans Autom. Sci. Eng. 15 (3) (2018)
Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage
Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems. Reliab. Eng. Syst. Saf. 163 (2017)
Maria Pia Fanti, Michele Roccotelli, Gregory Faraut, Jean-Jacques Lesage
Smart placement of motion sensors in a home environment. SMC (2017)
Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage
Recognition of human activity based on probabilistic finite-state automata. ETFA (2017)
Y. Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot
Towards alarm flood reduction. ETFA (2017)
Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage
A Black-Box Identification Method for Automated Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 14 (3) (2017)
Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage
An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models. IUCC-CSS (2016)
Jean-Jacques Lesage, José E. R. Cury
Special issue on "New approaches for DES modeling, analysis and synthesis". Discret. Event Dyn. Syst. 26 (1) (2016)
Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure
Overview of discrete event systems opacity: Models, validation, and quantification. Annu. Rev. Control. 41 (2016)
Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz
Model-Based Location Tracking of an a priori Unknown Number of Inhabitants in Smart Homes. IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Maria Pia Fanti, Michele Roccotelli, Jean-Jacques Lesage, Gregory Faraut
Motion detector placement optimization in smart homes for inhabitant location tracking. ETFA (2016)
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Vianney Perchet, Nicolas Vayatis
Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation. Qual. Reliab. Eng. Int. 32 (1) (2016)
Ana Paula Estrada-Vargas, Jean-Jacques Lesage, Ernesto López-Mellado
A stepwise method for identification of controlled discrete manufacturing systems. Int. J. Comput. Integr. Manuf. 28 (2) (2015)
Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage
Identification of discrete event systems unobservable behaviour by petri nets using language projections. ECC (2015)
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage
Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function. Qual. Reliab. Eng. Int. 30 (1) (2014)
Maria Pia Fanti, Agostino Marcello Mangini, Walter Ukovich, Jean-Jacques Lesage, Kevin Viard
A Petri net model of an integrated system for the Health Care At Home management. CASE (2014)
Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage
Input-output identification of controlled discrete manufacturing systems. Int. J. Syst. Sci. 45 (3) (2014)
Tonatiuh Tapia-Flores, Ernesto López-Mellado, Ana Paula Estrada-Vargas, Jean-Jacques Lesage
Petri net discovery of discrete event processes by computing t-invariants. ETFA (2014)
Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut
A Discrete event model for multiple inhabitants location tracking. CASE (2013)
Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage
Identification of partially observable discrete event manufacturing systems. ETFA (2013)
Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut
Online Location Tracking of a Single Inhabitant Based on a State Estimator. SMC (2013)
Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage
Automated modelling of reactive discrete event systems from external behavioural data. CONIELECOMP (2013)
Stefan Marco Schneider, Lothar Litz, Jean-Jacques Lesage
Determination of timed transitions in identified discrete-event models for fault detection. CDC (2012)
Matthias Roth, Stefan Marco Schneider, Jean-Jacques Lesage, Lothar Litz
Fault detection and isolation in manufacturing systems with an identified discrete event model. Int. J. Syst. Sci. 43 (10) (2012)
Ana Paula Estrada-Vargas, Jean-Jacques Lesage, Ernesto López-Mellado
Identification of industrial automation systems: Building compact and expressive Petri Net models from observable behavior. ACC (2012)
Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz
Indoor Location Tracking Based on a Discrete Event Model. ICOST (2012)
Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez
Preface. WODES (2012)
Jean-Marc Roussel, Jean-Jacques Lesage
Algebraic synthesis of logical controllers despite inconsistencies in specifications. WODES (2012)
Boussad Addad, Said Amari, Jean-Jacques Lesage
Networked conflicting timed event graphs representation in (Max, +) algebra. Discret. Event Dyn. Syst. 22 (4) (2012)
Boussad Addad, Saïd Amari, Jean-Jacques Lesage
A Virtual-Queuing-Based Algorithm for Delay Evaluation in Networked Control Systems. IEEE Trans. Ind. Electron. 58 (9) (2011)
Ana Paula Estrada-Vargas, Jean-Jacques Lesage, Ernesto López-Mellado
Stepwise identification of automated discrete manufacturing systems. ETFA (2011)
Boussad Addad, Said Amari, Jean-Jacques Lesage
Genetic algorithms for delays evaluation in networked automation systems. Eng. Appl. Artif. Intell. 24 (3) (2011)
Boussad Addad, Said Amari, Jean-Jacques Lesage
Client-Server Networked Automation Systems Reactivity: Deterministic and Probabilistic Analysis. IEEE Trans Autom. Sci. Eng. 8 (3) (2011)
Boussad Addad, Said Amari, Jean-Jacques Lesage, Bruno Denis
Measures vs. analytic evaluation of response time of Networked Automation Systems. CASE (2011)
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage
Algebraic determination of the structure function of Dynamic Fault Trees. Reliab. Eng. Syst. Saf. 96 (2) (2011)
Jean-Marc Faure, Jean-Jacques Lesage
Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering. ICINCO (1) (2011)
Boussad Addad, Saïd Amari, Jean-Jacques Lesage
Linear time-varying (max, +) representation of conflicting timed event graphs. WODES (2010)
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Andrea Bobbio
Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events. IEEE Trans. Reliab. 59 (1) (2010)
Matthias Roth, Lothar Litz, Jean-Jacques Lesage
Identification of Discrete Event Systems - Implementation Issues and Model Completeness. ICINCO (3) (2010)
Boussad Addad, Said Amari, Jean-Jacques Lesage
Analytic Calculus of Response Time in Networked Automation Systems. IEEE Trans Autom. Sci. Eng. 7 (4) (2010)
Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage
An identification method for PLC-based automated Discrete Event Systems. CDC (2010)
Matthias Roth, Jean-Jacques Lesage, Lothar Litz
Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems. ACC (2010)
Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage
Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour. SMC (2009)
Matthias Roth, Jean-Jacques Lesage, Lothar Litz
Distributed identification of concurrent discrete event systems for fault detection purposes. ECC (2009)
Steve Limal, Stéphane Potier, Bruno Denis, Jean-Jacques Lesage
Formal verification of redundant media extension of Ethernet PowerLink. ETFA (2007)
Bruno Denis, Jean-Jacques Lesage, Zulema Juárez-Orozco
Performance Verification of discrete Event Systems using Hybrid Model-Checking. ADHS (2006)
Stéphane Klein, Xiying Weng, Georg Frey, Jean-Jacques Lesage, Lothar Litz
Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking. ACC (2002)
José M. Machado, Farid Louni, Jean-Marc Faure, Jean-Jacques Lesage, Jaime C. L. Ferreira da Silva, Jean-Marc Roussel
Modelling and implementing the control of automated production systems using statecharts and PLC programming languages. ECC (2001)
Géraud Canet, Sandrine Couffin, Jean-Jacques Lesage, Antoine Petit, Philippe Schnoebelen
Towards the automatic verification of PLC programs written in Instruction List. SMC (2000)
S. Lampérière-Couffin, O. Rossi, Jean-Marc Roussel, Jean-Jacques Lesage
Formal validation of PLC programs: A survey. ECC (1999)