Jean-Jacques Lesage

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