![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Jean-Jacques Lesage
Person information
- affiliation: ENS Cachan, Paris, France
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [i1]Sofia Hustiu, Cristian Mahulea, Marius Kloetzer, Jean-Jacques Lesage:
On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications. CoRR abs/2211.04230 (2022) - 2021
- [c37]Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage:
Model-Based Approach for Anomaly Detection in Smart Home Inhabitant Daily Life. ACC 2021: 3596-3601 - [c36]Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage:
Long-term deviation detection in human behavior. CASE 2021: 1401-1406 - 2020
- [j23]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): 784-798 (2020) - [j22]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): 2085-2096 (2020) - [c35]Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage:
Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living. SMC 2020: 2740-2745
2010 – 2019
- 2019
- [j21]Marcos V. Moreira
, Jean-Jacques Lesage:
Discrete event system identification with the aim of fault detection. Discret. Event Dyn. Syst. 29(2): 191-209 (2019) - [c34]Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage:
Discovering of the unobservable behaviour of an Interpreted Petri Net model. CDC 2019: 2021-2026 - [c33]Yannick Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot:
Discovering Systematic Relations between Alarms for Alarm Flows Reduction. CoDIT 2019: 1055-1060 - 2018
- [j20]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): 832-841 (2018) - [j19]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): 992-1003 (2018) - [j18]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): 154-160 (2018) - 2017
- [j17]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: 57-68 (2017) - [j16]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): 1321-1336 (2017) - [c32]Yannick Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot:
Towards alarm flood reduction. ETFA 2017: 1-6 - [c31]Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage:
Recognition of human activity based on probabilistic finite-state automata. ETFA 2017: 1-7 - [c30]Maria Pia Fanti, Michele Roccotelli
, Gregory Faraut, Jean-Jacques Lesage:
Smart placement of motion sensors in a home environment. SMC 2017: 894-899 - 2016
- [j15]Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure:
Overview of discrete event systems opacity: Models, validation, and quantification. Annu. Rev. Control. 41: 135-146 (2016) - [j14]Jean-Jacques Lesage, José E. R. Cury:
Special issue on "New approaches for DES modeling, analysis and synthesis". Discret. Event Dyn. Syst. 26(1): 1-3 (2016) - [j13]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): 7-18 (2016) - [j12]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): 1090-1101 (2016) - [c29]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: 85-92 - [c28]Maria Pia Fanti, Michele Roccotelli
, Jean-Jacques Lesage, Gregory Faraut:
Motion detector placement optimization in smart homes for inhabitant location tracking. ETFA 2016: 1-6 - 2015
- [j11]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): 187-199 (2015) - [c27]Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage:
Identification of discrete event systems unobservable behaviour by petri nets using language projections. ECC 2015: 464-471 - 2014
- [j10]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): 456-471 (2014) - [j9]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): 143-156 (2014) - [c26]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: 582-587 - [c25]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: 1-8 - [e2]Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson:
12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. International Federation of Automatic Control 2014, ISBN 978-3-902823-61-8 [contents] - 2013
- [c24]Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut:
A Discrete event model for multiple inhabitants location tracking. CASE 2013: 910-915 - [c23]Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage:
Automated modelling of reactive discrete event systems from external behavioural data. CONIELECOMP 2013: 120-125 - [c22]Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage:
Identification of partially observable discrete event manufacturing systems. ETFA 2013: 1-7 - [c21]Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut:
Online Location Tracking of a Single Inhabitant Based on a State Estimator. SMC 2013: 391-396 - 2012
- [j8]Boussad Addad, Said Amari, Jean-Jacques Lesage:
Networked conflicting timed event graphs representation in (Max, +) algebra. Discret. Event Dyn. Syst. 22(4): 429-449 (2012) - [j7]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): 1826-1841 (2012) - [c20]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: 6095-6101 - [c19]Stefan Marco Schneider, Lothar Litz, Jean-Jacques Lesage:
Determination of timed transitions in identified discrete-event models for fault detection. CDC 2012: 5816-5821 - [c18]Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz:
Indoor Location Tracking Based on a Discrete Event Model. ICOST 2012: 262-265 - [c17]Jean-Marc Roussel, Jean-Jacques Lesage:
Algebraic synthesis of logical controllers despite inconsistencies in specifications. WODES 2012: 307-314 - [c16]Antonio Ramírez-Treviño
, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez:
Preface. WODES 2012: vii-viii - [e1]Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez:
11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012. International Federation of Automatic Control 2012, ISBN 978-3-902823-28-1 [contents] - 2011
- [j6]Boussad Addad, Said Amari, Jean-Jacques Lesage:
Genetic algorithms for delays evaluation in networked automation systems. Eng. Appl. Artif. Intell. 24(3): 485-490 (2011) - [j5]Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage:
Algebraic determination of the structure function of Dynamic Fault Trees. Reliab. Eng. Syst. Saf. 96(2): 267-277 (2011) - [j4]Boussad Addad, Said Amari, Jean-Jacques Lesage:
Client-Server Networked Automation Systems Reactivity: Deterministic and Probabilistic Analysis. IEEE Trans Autom. Sci. Eng. 8(3): 540-548 (2011) - [j3]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): 4471-4479 (2011) - [c15]Boussad Addad, Said Amari, Jean-Jacques Lesage, Bruno Denis
:
Measures vs. analytic evaluation of response time of Networked Automation Systems. CASE 2011: 576-581 - [c14]Ana Paula Estrada-Vargas, Jean-Jacques Lesage, Ernesto López-Mellado:
Stepwise identification of automated discrete manufacturing systems. ETFA 2011: 1-8 - [c13]Jean-Marc Faure, Jean-Jacques Lesage:
Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering. ICINCO (1) 2011: 19 - 2010
- [j2]Boussad Addad, Said Amari, Jean-Jacques Lesage:
Analytic Calculus of Response Time in Networked Automation Systems. IEEE Trans Autom. Sci. Eng. 7(4): 858-869 (2010) - [j1]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): 250-261 (2010) - [c12]Matthias Roth, Jean-Jacques Lesage, Lothar Litz:
Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems. ACC 2010: 2601-2606 - [c11]Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage:
An identification method for PLC-based automated Discrete Event Systems. CDC 2010: 6740-6746 - [c10]Matthias Roth, Lothar Litz, Jean-Jacques Lesage:
Identification of Discrete Event Systems - Implementation Issues and Model Completeness. ICINCO (3) 2010: 73-80 - [c9]Boussad Addad, Saïd Amari, Jean-Jacques Lesage:
Linear time-varying (max, +) representation of conflicting timed event graphs. WODES 2010: 300-305
2000 – 2009
- 2009
- [c8]Matthias Roth, Jean-Jacques Lesage, Lothar Litz:
Distributed identification of concurrent discrete event systems for fault detection purposes. ECC 2009: 2590-2595 - [c7]Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage:
Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour. SMC 2009: 181-186 - 2007
- [c6]Steve Limal, Stéphane Potier, Bruno Denis
, Jean-Jacques Lesage:
Formal verification of redundant media extension of Ethernet PowerLink. ETFA 2007: 1045-1052 - 2006
- [c5]Bruno Denis
, Jean-Jacques Lesage, Zulema Juárez-Orozco:
Performance Verification of discrete Event Systems using Hybrid Model-Checking. ADHS 2006: 365-370 - 2002
- [c4]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: 4141-4146 - 2001
- [c3]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: 1019-1024 - 2000
- [c2]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: 2449-2454
1990 – 1999
- 1999
- [c1]S. Lampérière-Couffin, O. Rossi, Jean-Marc Roussel, Jean-Jacques Lesage:
Formal validation of PLC programs: A survey. ECC 1999: 2170-2175
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint