×

Lafortune, Stéphane

Author ID: lafortune.stephane Recent zbMATH articles by "Lafortune, Stéphane"
Published as: Lafortune, Stéphane; Lafortune, Stephane; Lafortune, S.
Homepage: https://robotics.umich.edu/profile/stephane-lafortune/
External Links: MGP · ORCID · Wikidata · Google Scholar · ResearchGate · dblp · GND · IdRef · theses.fr
all top 5

Co-Authors

4 single-authored
17 Lin, Feng
17 Yin, Xiang
11 Yoo, Tae-Sic
8 Teneketzis, Demosthenis
7 Wang, Weilin
7 Wang, Yin
6 Ji, Yiding
6 Meira-Góes, Rômulo
6 Wu, Yi-Chin
5 Rohloff, Kurt R.
5 Sengupta, Raja
4 Cassandras, Christos G.
4 Chung, Shengluen
4 Marchand, Hervé
4 Reveliotis, Spyros A.
3 Chen, Enke
3 Cury, José Eduardo Ribeiro
3 Debouk, Rami
3 Girard, Anouck R.
3 Giua, Alessandro
3 Kang, Eunsuk
3 Kwong, Raymond Hon-Sing
3 Liao, Hongwei
3 Mahlke, Scott A.
3 Mohajerani, Sahar
3 Paoli, Andrea
3 Sampath, Meera
3 Seatzu, Carla
3 Tripakis, Stavros
2 Barrett, George
2 Basilio, João Carlos
2 Ben Hadj-Alouane, Nejib
2 Boivineau, Olivier
2 Cabasino, Maria Paola
2 Carvalho, Lilian Kawakami
2 Chen, Yiliang
2 Contant, Olivier
2 Dallal, Eric
2 Genc, Sahika
2 Hill, Richard C.
2 Kelly, Terence
2 Malik, Robi
2 Moreira, Marcos Vicente
2 Ozay, Necmiye
2 Pena, Patrícia N.
2 Rudie, Karen
2 Sinnamohideen, Kasim
2 Stanley, Jason
2 Tilbury, Dawn M.
2 Wintenberg, Andrew
1 Balasuriya, Sanjeeva
1 Blischke, Matthew
1 Bravo, Hugo J.
1 Caines, Peter Edwin
1 Cho, Hyoun Kyu
1 Colombo, Alessandro G.
1 da Cunha, Antonio Eduardo Carrilho
1 de Queiroz, Max Hering
1 Del Vecchio, Domitilla
1 Deng, Xijun
1 Ehlers, Rüdiger
1 Ehrman, Brett
1 Gottwald, Georg A.
1 Hornibrook, John
1 Johnson, Mathew A.
1 Keroglou, Christoforos
1 Kudlur, Manjunath
1 Matsui, Shoma
1 Moor, Thomas
1 Nazeem, Ahmed
1 Raisch, Jörg
1 Raman, Vasumathi
1 Ramírez-Treviño, Antonio
1 Rawlings, Blake C.
1 Sartini, Matteo
1 Seshia, Sanjit Arunkumar
1 Silva, Manuel
1 Souza Lima, Saulo Telles
1 Vardi, Moshe Ya’akov
1 Weitze, Jack
1 Wong, Eugene Franklin
1 Yoo, Hyuck

Publications by Year

Citations contained in zbMATH Open

109 Publications have been cited 1,816 times in 762 Documents Cited by Year
Introduction to discrete event systems. 2nd ed. Zbl 1165.93001
Cassandras, Christos G.; Lafortune, Stéphane
265
2008
Diagnosability of discrete-event systems. Zbl 0839.93072
Sampath, Meera; Sengupta, Raja; Lafortune, Stéphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis
187
1995
Introduction to discrete event systems. Zbl 0934.93001
Cassandras, Christos G.; Lafortune, Stéphane
152
1999
Polynomial-time verification of diagnosability of partially observed discrete-event systems. Zbl 1364.93176
Yoo, Tae-Sic; Lafortune, Stéphane
73
2002
Coordinated decentralized protocols for failure diagnosis of discrete event systems. Zbl 0959.93039
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
54
2000
A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067
Yoo, T.-S.; Lafortune, Stéphane
41
2002
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084
Wu, Yi-Chin; Lafortune, Stéphane
39
2013
A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. Zbl 1359.93295
Yin, Xiang; Lafortune, Stéphane
35
2016
Active diagnosis of discrete-event systems. Zbl 0949.90025
Sampath, Meera; Lafortune, Stéphane; Teneketzis, Demosthenis
30
1998
A new approach for diagnosability analysis of Petri nets using verifier nets. Zbl 1369.93373
Cabasino, Maria Paola; Giua, Alessandro; Lafortune, Stéphane; Seatzu, Carla
30
2012
The infimal closed controllable superlanguage and its application in supervisory control. Zbl 0709.68028
Lafortune, Stéphane; Chen, Enke
25
1990
Detection and mitigation of classes of attacks in supervisory control systems. Zbl 1406.93006
Carvalho, Lilian Kawakami; Wu, Yi-Chin; Kwong, Raymond; Lafortune, Stéphane
25
2018
Decentralized supervisory control with communicating controllers. Zbl 0990.93072
Barrett, George; Lafortune, Stéphane
25
2000
Synthesis of insertion functions for enforcement of opacity security properties. Zbl 1296.93114
Wu, Yi-Chin; Lafortune, Stéphane
24
2014
A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers. Zbl 1370.93174
Yin, Xiang; Lafortune, Stéphane
24
2017
Limited lookahead policies in supervisory control of discrete event systems. Zbl 0773.93004
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
23
1992
Bisimulation, the supervisory control problem and strong model matching for finite state machines. Zbl 0919.93005
Barrett, George; Lafortune, Stéphane
22
1998
Predictability of event occurrences in partially-observed discrete-event systems. Zbl 1158.93366
Genc, Sahika; Lafortune, Stéphane
22
2009
Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems. Zbl 1448.93207
Meira-Góes, Rômulo; Kang, Eunsuk; Kwong, Raymond H.; Lafortune, Stéphane
22
2020
Active fault tolerant control of discrete event systems using online diagnostics. Zbl 1215.93085
Paoli, Andrea; Sartini, Matteo; Lafortune, Stéphane
21
2011
An optimal control theory for discrete event systems. Zbl 0908.93035
Sengupta, Raja; Lafortune, Stéphane
20
1998
Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065
Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane
20
2007
Safe diagnosability for fault-tolerant supervision of discrete-event systems. Zbl 1086.93043
Paoli, Andrea; Lafortune, Stéphane
20
2005
Minimal communication in a distributed discrete-event system. Zbl 1364.93482
Rudie, Karen; Lafortune, Stéphane; Lin, Feng
20
2003
Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: the linear case. Zbl 1368.68058
Nazeem, Ahmed; Reveliotis, Spyros; Wang, Yin; Lafortune, Stéphane
19
2011
Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. Zbl 1359.93296
Yin, Xiang; Lafortune, Stéphane
18
2016
Opacity enforcement using nondeterministic publicly known edit functions. Zbl 1482.93382
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
18
2019
NP-completeness of sensor selection problems arising in partially observed discrete-event systems. Zbl 1364.93486
Yoo, Tae-Sic; Lafortune, Stéphane
17
2002
Optimal sensor activation for diagnosing discrete event systems. Zbl 1194.93140
Wang, Weilin; Lafortune, Stéphane; Girard, Anouck R.; Lin, Feng
16
2010
Distributed diagnosis of discrete-event systems using Petri nets. Zbl 1274.68234
Genc, Sahika; Lafortune, Stéphane
15
2003
Diagnosis of intermittent faults. Zbl 1063.93031
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
15
2004
Robust diagnosis of discrete-event systems against permanent loss of observations. Zbl 1257.93065
Carvalho, Lilian K.; Moreira, Marcos V.; Basilio, João C.; Lafortune, Stéphane
15
2013
Decentralized supervisory control with conditional decisions: supervisor existence. Zbl 1365.93309
Yoo, Tae-Sic; Lafortune, Stéphane
15
2004
Introduction to discrete event systems. 3rd edition. Zbl 1482.93001
Cassandras, Christos G.; Lafortune, Stéphane
15
2021
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Zbl 0880.93016
Ben Hadj-Alouane, Nejib; Lafortune, Stéphane; Lin, Feng
14
1996
Adaptive control with recursive identification for stochastic linear systems. Zbl 0538.93071
Caines, Peter E.; Lafortune, Stephane
14
1984
An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. Zbl 1155.93387
Wang, Weilin; Lafortune, Stéphane; Lin, Feng
14
2007
On codiagnosability and coobservability with dynamic observations. Zbl 1368.93392
Wang, Weilin; Girard, Anouck R.; Lafortune, Stéphane; Lin, Feng
14
2011
Diagnosability of discrete event systems. Zbl 0941.68613
Sampath, Meera; Sengupta, Raja; Lafortune, Stéphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis
13
1994
Minimization of dynamic sensor activation in discrete event systems for the purpose of control. Zbl 1368.93393
Wang, Weilin; Lafortune, Stéphane; Lin, Feng; Girard, Anouck R.
13
2010
Verification of nonconflict of supervisors using abstractions. Zbl 1368.68237
Pena, Patrícia N.; Cury, José E. R.; Lafortune, Stéphane
13
2009
Diagnosability of discrete event systems with modular structure. Zbl 1134.93306
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
12
2006
On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Zbl 1023.93041
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
12
2003
Codiagnosability and coobservability under dynamic observations: transformation and verification. Zbl 1327.93269
Yin, Xiang; Lafortune, Stéphane
12
2015
Enforcement of opacity by public and private insertion functions. Zbl 1400.93187
Ji, Yiding; Wu, Yi-Chin; Lafortune, Stéphane
11
2018
Minimization of communication of event occurrences in acyclic discrete event systems. Zbl 1367.93377
Wang, Weilin; Lafortune, Stéphane; Lin, Feng
11
2008
Synthesis of supervisors robust against sensor deception attacks. Zbl 07479709
Meira-Góes, Rômulo; Lafortune, Stéphane; Marchand, Hervé
11
2021
On an optimization problem in sensor selection. Zbl 1087.93059
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
10
2002
Verification complexity of a class of observational properties for modular discrete events systems. Zbl 1373.93220
Yin, Xiang; Lafortune, Stéphane
9
2017
High Lewis number combustion wavefronts: a perturbative Melnikov analysis. Zbl 1121.80007
Balasuriya, Sanjeeva; Gottwald, Georg; Hornibrook, John; Lafortune, Stéphane
9
2007
Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068
Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y.
9
2017
Variable lookahead supervisory control with state information. Zbl 0812.93003
Hadj-Alouane, Nejib Ben; Lafortune, Stéphane; Lin, Feng
8
1994
Synthesis of maximally-permissive supervisors for the range control problem. Zbl 1373.93221
Yin, Xiang; Lafortune, Stéphane
8
2017
On the decidability and complexity of diagnosability for labeled Petri nets. Zbl 1390.93539
Yin, Xiang; Lafortune, Stéphane
8
2017
Synthesis of obfuscation policies to ensure privacy and utility. Zbl 1426.68085
Wu, Yi-Chin; Raman, Vasumathi; Rawlings, Blake C.; Lafortune, Stéphane; Seshia, Sanjit A.
8
2018
The verification and control of interacting similar discrete-event systems. Zbl 1109.93032
Rohloff, Kurt; Lafortune, Stéphane
8
2007
Computation of minimal event bases that ensure diagnosability. Zbl 1252.93082
Basilio, João Carlos; Souza Lima, Saulo Telles; Lafortune, Stéphane; Moreira, Marcos Vicente
8
2012
On tolerable and desirable behaviors in supervisory control of discrete event systems. Zbl 0738.93008
Lafortune, Stéphane; Lin, Feng
7
1991
Supervisory control using variable lookahead policies. Zbl 0808.93001
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
7
1994
On optimal control of a class of partially observed discrete event systems. Zbl 1011.93069
Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane
7
2002
Synthesis of optimal insertion functions for opacity enforcement. Zbl 1359.68180
Wu, Yi-Chin; Lafortune, Stéphane
7
2016
PSPACE-completeness of modular supervisory control problems. Zbl 1059.93092
Rohloff, Kurt; Lafortune, Stéphane
6
2005
Multi-level hierarchical interface-based supervisory control. Zbl 1194.93136
Hill, R. C.; Cury, J. E. R.; de Queiroz, M. H.; Tilbury, D. M.; Lafortune, S.
6
2010
On the minimization of communication in networked systems with a central station. Zbl 1176.90093
Wang, Weilin; Lafortune, Stéphane; Lin, Feng
6
2008
Optimal supervisory control with mean payoff objectives and under partial observation. Zbl 1461.93311
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
6
2021
Embedded insertion functions for opacity enforcement. Zbl 1471.93176
Keroglou, Christoforos; Lafortune, Stéphane
6
2021
A general approach for optimizing dynamic sensor activation for discrete event systems. Zbl 1429.93231
Yin, Xiang; Lafortune, Stéphane
6
2019
Compositional and abstraction-based approach for synthesis of edit functions for opacity enforcement. Zbl 1533.93491
Mohajerani, Sahar; Ji, Yiding; Lafortune, Stéphane
6
2020
On nonconflicting languages that arise in supervisory control of discrete event systems. Zbl 0747.93004
Chen, Enke; Lafortune, Stéphane
5
1991
Minimization of sensor activation in decentralized discrete-event systems. Zbl 1423.93263
Yin, Xiang; Lafortune, Stéphane
5
2018
The theory of deadlock avoidance via discrete control. Zbl 1315.68073
Wang, Yin; Lafortune, Stéphane; Kelly, Terence; Kudlur, Manjunath; Mahlke, Scott
5
2009
On the synthesis of optimal schedulers in discrete event control problems with multiple goals. Zbl 0964.93066
Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane
5
2000
Deciding co-observability is PSPACE-complete. Zbl 1364.93481
Rohloff, Kurt; Yoo, Tae-Sic; Lafortune, Stéphane
5
2003
On the synthesis of safe control policies in decentralized control of discrete-event systems. Zbl 1364.93032
Rohloff, Kurt; Lafortune, Stéphane
5
2003
On most permissive observers in dynamic sensor activation problems. Zbl 1360.93421
Dallal, Eric; Lafortune, Stéphane
5
2014
A graph-theoretic optimal control problem for terminating discrete event processes. Zbl 0777.90072
Sengupta, Raja; Lafortune, Stéphane
4
1992
On decentralized and distributed control of partially-observed discrete event systems. Zbl 1118.93336
Lafortune, Stéphane
4
2007
Diagnosability analysis of a class of hierarchical state machines. Zbl 1171.93357
Paoli, Andrea; Lafortune, Stéphane
4
2008
Design of nonblocking modular supervisors using event priority functions. Zbl 0972.93041
Chen, Yi-Liang; Lafortune, Stéphane; Lin, Feng
4
2000
Decentralized supervisory control with conditional decisions: supervisor realization. Zbl 1365.93024
Yoo, Tae-Sic; Lafortune, Stéphane
4
2005
Minimal communication for essential transitions in a distributed discrete-event system. Zbl 1366.93353
Lin, Feng; Rudie, Karen; Lafortune, Stéphane
4
2007
Dealing with sensor and actuator deception attacks in supervisory control. Zbl 1505.93003
Meira-Góes, Rômulo; Marchand, Hervé; Lafortune, Stéphane
4
2023
Transforming opacity verification to nonblocking verification in modular systems. Zbl 1533.93557
Mohajerani, Sahar; Lafortune, Stéphane
4
2020
Recursive computation of limited lookahead supervisory controls for discrete event systems. Zbl 0772.93001
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
3
1993
Synthesis of maximally permissive nonblocking supervisors for the lower bound containment problem. Zbl 1423.93264
Yin, Xiang; Lafortune, Stéphane
3
2018
Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution. Zbl 1195.93021
Hill, Richard C.; Tilbury, Dawn M.; Lafortune, Stéphane
3
2010
Solvability of centralized supervisory control under partial observation. Zbl 1103.93015
Yoo, Tae-Sic; Lafortune, Stéphane
3
2006
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Zbl 1268.93100
Liao, Hongwei; Wang, Yin; Cho, Hyoun Kyu; Stanley, Jason; Kelly, Terence; Lafortune, Stéphane; Mahlke, Scott; Reveliotis, Spyros
3
2013
Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Zbl 1364.93453
Cabasino, Maria Paola; Lafortune, Stéphane; Seatzu, Carla
3
2013
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Zbl 1356.93005
Dallal, Eric; Colombo, Alessandro; Del Vecchio, Domitilla; Lafortune, Stéphane
3
2017
Divergence properties of labeled Petri nets and their relevance for diagnosability analysis. Zbl 1533.93461
Giua, Alessandro; Lafortune, Stéphane; Seatzu, Carla
3
2020
Local mean payoff supervisory control for discrete event systems. Zbl 07564849
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
3
2022
A state transition model for distributed query processing. Zbl 0635.68120
Lafortune, Stéphane; Wong, Eugene
2
1986
Verification of the observer property in discrete event systems. Zbl 1360.93130
Pena, Patrícia N.; Bravo, Hugo J.; da Cunha, Antonio E. C.; Malik, Robi; Lafortune, Stéphane; Cury, Jośe E. R.
2
2014
Optimal liveness-enforcing control for a class of Petri nets arising in multithreaded software. Zbl 1369.93194
Liao, Hongwei; Lafortune, Stéphane; Reveliotis, Spyros; Wang, Yin; Mahlke, Scott
2
2013
Enforcing opacity by insertion functions under multiple energy constraints. Zbl 07806836
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
2
2019
Discrete event systems: The state of the art and new directions. Zbl 0963.93009
Cassandras, Christos G.; Lafortune, Stéphane
1
1999
On controllable languages in supervisory control of discrete event systems. Zbl 0734.68059
Lafortune, Stéphane; Chen, Enke
1
1990
Supervisory control with variable lookahead policies: Illustrative example. Zbl 0800.93133
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
1
1993
A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1051.93065
Yoo, Tae-Sic; Lafortune, Stéphane
1
2000
Dealing with sensor and actuator deception attacks in supervisory control. Zbl 1505.93003
Meira-Góes, Rômulo; Marchand, Hervé; Lafortune, Stéphane
4
2023
Local mean payoff supervisory control for discrete event systems. Zbl 07564849
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
3
2022
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. Zbl 1505.93002
Matsui, Shoma; Lafortune, Stéphane
1
2022
A compact and uniform approach for synthesizing state-based property-enforcing supervisors for discrete-event systems. Zbl 07564976
Meira-Góes, Rômulo; Weitze, Jack; Lafortune, Stéphane
1
2022
A general language-based framework for specifying and verifying notions of opacity. Zbl 1492.93118
Wintenberg, Andrew; Blischke, Matthew; Lafortune, Stéphane; Ozay, Necmiye
1
2022
Synthesis of optimal multiobjective attack strategies for controlled systems modeled by probabilistic automata. Zbl 07564907
Meira-Góes, Rômulo; Kwong, Raymond H.; Lafortune, Stéphane
1
2022
Introduction to discrete event systems. 3rd edition. Zbl 1482.93001
Cassandras, Christos G.; Lafortune, Stéphane
15
2021
Synthesis of supervisors robust against sensor deception attacks. Zbl 07479709
Meira-Góes, Rômulo; Lafortune, Stéphane; Marchand, Hervé
11
2021
Optimal supervisory control with mean payoff objectives and under partial observation. Zbl 1461.93311
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
6
2021
Embedded insertion functions for opacity enforcement. Zbl 1471.93176
Keroglou, Christoforos; Lafortune, Stéphane
6
2021
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Zbl 1478.93187
Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stéphane; Ozay, Necmiye
1
2021
Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems. Zbl 1448.93207
Meira-Góes, Rômulo; Kang, Eunsuk; Kwong, Raymond H.; Lafortune, Stéphane
22
2020
Compositional and abstraction-based approach for synthesis of edit functions for opacity enforcement. Zbl 1533.93491
Mohajerani, Sahar; Ji, Yiding; Lafortune, Stéphane
6
2020
Transforming opacity verification to nonblocking verification in modular systems. Zbl 1533.93557
Mohajerani, Sahar; Lafortune, Stéphane
4
2020
Divergence properties of labeled Petri nets and their relevance for diagnosability analysis. Zbl 1533.93461
Giua, Alessandro; Lafortune, Stéphane; Seatzu, Carla
3
2020
Opacity enforcement using nondeterministic publicly known edit functions. Zbl 1482.93382
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
18
2019
A general approach for optimizing dynamic sensor activation for discrete event systems. Zbl 1429.93231
Yin, Xiang; Lafortune, Stéphane
6
2019
Enforcing opacity by insertion functions under multiple energy constraints. Zbl 07806836
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
2
2019
Detection and mitigation of classes of attacks in supervisory control systems. Zbl 1406.93006
Carvalho, Lilian Kawakami; Wu, Yi-Chin; Kwong, Raymond; Lafortune, Stéphane
25
2018
Enforcement of opacity by public and private insertion functions. Zbl 1400.93187
Ji, Yiding; Wu, Yi-Chin; Lafortune, Stéphane
11
2018
Synthesis of obfuscation policies to ensure privacy and utility. Zbl 1426.68085
Wu, Yi-Chin; Raman, Vasumathi; Rawlings, Blake C.; Lafortune, Stéphane; Seshia, Sanjit A.
8
2018
Minimization of sensor activation in decentralized discrete-event systems. Zbl 1423.93263
Yin, Xiang; Lafortune, Stéphane
5
2018
Synthesis of maximally permissive nonblocking supervisors for the lower bound containment problem. Zbl 1423.93264
Yin, Xiang; Lafortune, Stéphane
3
2018
A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers. Zbl 1370.93174
Yin, Xiang; Lafortune, Stéphane
24
2017
Verification complexity of a class of observational properties for modular discrete events systems. Zbl 1373.93220
Yin, Xiang; Lafortune, Stéphane
9
2017
Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068
Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y.
9
2017
Synthesis of maximally-permissive supervisors for the range control problem. Zbl 1373.93221
Yin, Xiang; Lafortune, Stéphane
8
2017
On the decidability and complexity of diagnosability for labeled Petri nets. Zbl 1390.93539
Yin, Xiang; Lafortune, Stéphane
8
2017
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Zbl 1356.93005
Dallal, Eric; Colombo, Alessandro; Del Vecchio, Domitilla; Lafortune, Stéphane
3
2017
A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. Zbl 1359.93295
Yin, Xiang; Lafortune, Stéphane
35
2016
Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. Zbl 1359.93296
Yin, Xiang; Lafortune, Stéphane
18
2016
Synthesis of optimal insertion functions for opacity enforcement. Zbl 1359.68180
Wu, Yi-Chin; Lafortune, Stéphane
7
2016
Decentralized supervisory control with intersection-based architecture. Zbl 1359.93294
Yin, Xiang; Lafortune, Stéphane
1
2016
Codiagnosability and coobservability under dynamic observations: transformation and verification. Zbl 1327.93269
Yin, Xiang; Lafortune, Stéphane
12
2015
Special issue on recent advances in control of discrete event systems. Zbl 1314.00089
1
2015
Erratum to: “Diagnosis of discrete event systems using decentralized architectures”. Zbl 1330.93156
Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane
1
2015
Synthesis of insertion functions for enforcement of opacity security properties. Zbl 1296.93114
Wu, Yi-Chin; Lafortune, Stéphane
24
2014
On most permissive observers in dynamic sensor activation problems. Zbl 1360.93421
Dallal, Eric; Lafortune, Stéphane
5
2014
Verification of the observer property in discrete event systems. Zbl 1360.93130
Pena, Patrícia N.; Bravo, Hugo J.; da Cunha, Antonio E. C.; Malik, Robi; Lafortune, Stéphane; Cury, Jośe E. R.
2
2014
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084
Wu, Yi-Chin; Lafortune, Stéphane
39
2013
Robust diagnosis of discrete-event systems against permanent loss of observations. Zbl 1257.93065
Carvalho, Lilian K.; Moreira, Marcos V.; Basilio, João C.; Lafortune, Stéphane
15
2013
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Zbl 1268.93100
Liao, Hongwei; Wang, Yin; Cho, Hyoun Kyu; Stanley, Jason; Kelly, Terence; Lafortune, Stéphane; Mahlke, Scott; Reveliotis, Spyros
3
2013
Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Zbl 1364.93453
Cabasino, Maria Paola; Lafortune, Stéphane; Seatzu, Carla
3
2013
Optimal liveness-enforcing control for a class of Petri nets arising in multithreaded software. Zbl 1369.93194
Liao, Hongwei; Lafortune, Stéphane; Reveliotis, Spyros; Wang, Yin; Mahlke, Scott
2
2013
A new approach for diagnosability analysis of Petri nets using verifier nets. Zbl 1369.93373
Cabasino, Maria Paola; Giua, Alessandro; Lafortune, Stéphane; Seatzu, Carla
30
2012
Computation of minimal event bases that ensure diagnosability. Zbl 1252.93082
Basilio, João Carlos; Souza Lima, Saulo Telles; Lafortune, Stéphane; Moreira, Marcos Vicente
8
2012
Active fault tolerant control of discrete event systems using online diagnostics. Zbl 1215.93085
Paoli, Andrea; Sartini, Matteo; Lafortune, Stéphane
21
2011
Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: the linear case. Zbl 1368.68058
Nazeem, Ahmed; Reveliotis, Spyros; Wang, Yin; Lafortune, Stéphane
19
2011
On codiagnosability and coobservability with dynamic observations. Zbl 1368.93392
Wang, Weilin; Girard, Anouck R.; Lafortune, Stéphane; Lin, Feng
14
2011
Optimal sensor activation for diagnosing discrete event systems. Zbl 1194.93140
Wang, Weilin; Lafortune, Stéphane; Girard, Anouck R.; Lin, Feng
16
2010
Minimization of dynamic sensor activation in discrete event systems for the purpose of control. Zbl 1368.93393
Wang, Weilin; Lafortune, Stéphane; Lin, Feng; Girard, Anouck R.
13
2010
Multi-level hierarchical interface-based supervisory control. Zbl 1194.93136
Hill, R. C.; Cury, J. E. R.; de Queiroz, M. H.; Tilbury, D. M.; Lafortune, S.
6
2010
Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution. Zbl 1195.93021
Hill, Richard C.; Tilbury, Dawn M.; Lafortune, Stéphane
3
2010
Predictability of event occurrences in partially-observed discrete-event systems. Zbl 1158.93366
Genc, Sahika; Lafortune, Stéphane
22
2009
Verification of nonconflict of supervisors using abstractions. Zbl 1368.68237
Pena, Patrícia N.; Cury, José E. R.; Lafortune, Stéphane
13
2009
The theory of deadlock avoidance via discrete control. Zbl 1315.68073
Wang, Yin; Lafortune, Stéphane; Kelly, Terence; Kudlur, Manjunath; Mahlke, Scott
5
2009
Introduction to discrete event systems. 2nd ed. Zbl 1165.93001
Cassandras, Christos G.; Lafortune, Stéphane
265
2008
Minimization of communication of event occurrences in acyclic discrete event systems. Zbl 1367.93377
Wang, Weilin; Lafortune, Stéphane; Lin, Feng
11
2008
On the minimization of communication in networked systems with a central station. Zbl 1176.90093
Wang, Weilin; Lafortune, Stéphane; Lin, Feng
6
2008
Diagnosability analysis of a class of hierarchical state machines. Zbl 1171.93357
Paoli, Andrea; Lafortune, Stéphane
4
2008
An algorithm for maximising covered area. Zbl 1152.90511
Wang, Weilin; Lafortune, Stéphane
1
2008
Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065
Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane
20
2007
An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. Zbl 1155.93387
Wang, Weilin; Lafortune, Stéphane; Lin, Feng
14
2007
High Lewis number combustion wavefronts: a perturbative Melnikov analysis. Zbl 1121.80007
Balasuriya, Sanjeeva; Gottwald, Georg; Hornibrook, John; Lafortune, Stéphane
9
2007
The verification and control of interacting similar discrete-event systems. Zbl 1109.93032
Rohloff, Kurt; Lafortune, Stéphane
8
2007
On decentralized and distributed control of partially-observed discrete event systems. Zbl 1118.93336
Lafortune, Stéphane
4
2007
Minimal communication for essential transitions in a distributed discrete-event system. Zbl 1366.93353
Lin, Feng; Rudie, Karen; Lafortune, Stéphane
4
2007
Diagnosability of discrete event systems with modular structure. Zbl 1134.93306
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
12
2006
Solvability of centralized supervisory control under partial observation. Zbl 1103.93015
Yoo, Tae-Sic; Lafortune, Stéphane
3
2006
Safe diagnosability for fault-tolerant supervision of discrete-event systems. Zbl 1086.93043
Paoli, Andrea; Lafortune, Stéphane
20
2005
PSPACE-completeness of modular supervisory control problems. Zbl 1059.93092
Rohloff, Kurt; Lafortune, Stéphane
6
2005
Decentralized supervisory control with conditional decisions: supervisor realization. Zbl 1365.93024
Yoo, Tae-Sic; Lafortune, Stéphane
4
2005
Diagnosis of intermittent faults. Zbl 1063.93031
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
15
2004
Decentralized supervisory control with conditional decisions: supervisor existence. Zbl 1365.93309
Yoo, Tae-Sic; Lafortune, Stéphane
15
2004
Minimal communication in a distributed discrete-event system. Zbl 1364.93482
Rudie, Karen; Lafortune, Stéphane; Lin, Feng
20
2003
Distributed diagnosis of discrete-event systems using Petri nets. Zbl 1274.68234
Genc, Sahika; Lafortune, Stéphane
15
2003
On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Zbl 1023.93041
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
12
2003
Deciding co-observability is PSPACE-complete. Zbl 1364.93481
Rohloff, Kurt; Yoo, Tae-Sic; Lafortune, Stéphane
5
2003
On the synthesis of safe control policies in decentralized control of discrete-event systems. Zbl 1364.93032
Rohloff, Kurt; Lafortune, Stéphane
5
2003
Polynomial-time verification of diagnosability of partially observed discrete-event systems. Zbl 1364.93176
Yoo, Tae-Sic; Lafortune, Stéphane
73
2002
A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067
Yoo, T.-S.; Lafortune, Stéphane
41
2002
NP-completeness of sensor selection problems arising in partially observed discrete-event systems. Zbl 1364.93486
Yoo, Tae-Sic; Lafortune, Stéphane
17
2002
On an optimization problem in sensor selection. Zbl 1087.93059
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
10
2002
On optimal control of a class of partially observed discrete event systems. Zbl 1011.93069
Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane
7
2002
Coordinated decentralized protocols for failure diagnosis of discrete event systems. Zbl 0959.93039
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
54
2000
Decentralized supervisory control with communicating controllers. Zbl 0990.93072
Barrett, George; Lafortune, Stéphane
25
2000
On the synthesis of optimal schedulers in discrete event control problems with multiple goals. Zbl 0964.93066
Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane
5
2000
Design of nonblocking modular supervisors using event priority functions. Zbl 0972.93041
Chen, Yi-Liang; Lafortune, Stéphane; Lin, Feng
4
2000
A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1051.93065
Yoo, Tae-Sic; Lafortune, Stéphane
1
2000
Introduction to discrete event systems. Zbl 0934.93001
Cassandras, Christos G.; Lafortune, Stéphane
152
1999
Discrete event systems: The state of the art and new directions. Zbl 0963.93009
Cassandras, Christos G.; Lafortune, Stéphane
1
1999
Active diagnosis of discrete-event systems. Zbl 0949.90025
Sampath, Meera; Lafortune, Stéphane; Teneketzis, Demosthenis
30
1998
Bisimulation, the supervisory control problem and strong model matching for finite state machines. Zbl 0919.93005
Barrett, George; Lafortune, Stéphane
22
1998
An optimal control theory for discrete event systems. Zbl 0908.93035
Sengupta, Raja; Lafortune, Stéphane
20
1998
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Zbl 0880.93016
Ben Hadj-Alouane, Nejib; Lafortune, Stéphane; Lin, Feng
14
1996
Diagnosability of discrete-event systems. Zbl 0839.93072
Sampath, Meera; Sengupta, Raja; Lafortune, Stéphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis
187
1995
Diagnosability of discrete event systems. Zbl 0941.68613
Sampath, Meera; Sengupta, Raja; Lafortune, Stéphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis
13
1994
Variable lookahead supervisory control with state information. Zbl 0812.93003
Hadj-Alouane, Nejib Ben; Lafortune, Stéphane; Lin, Feng
8
1994
Supervisory control using variable lookahead policies. Zbl 0808.93001
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
7
1994
Recursive computation of limited lookahead supervisory controls for discrete event systems. Zbl 0772.93001
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
3
1993
...and 9 more Documents
all top 5

Cited by 1,089 Authors

43 Lafortune, Stéphane
26 Li, Zhiwu
25 Lin, Feng
22 Masopust, Tomáš
21 Yang, Jung-Min
20 Takai, Shigemasa
20 Yin, Xiang
19 Komenda, Jan
19 Su, Rong
17 Giua, Alessandro
15 Seatzu, Carla
15 van Schuppen, Jan H.
13 Cassandras, Christos G.
13 Liu, Fuchun
13 Wonham, Walter Murray
12 Basilio, João Carlos
11 Chen, Zengqiang
11 Hadjicostis, Christoforos N.
10 Malik, Robi
10 Marchand, Hervé
10 Park, Seong-Jin
9 Lefebvre, Dimitri
9 Moreira, Marcos Vicente
9 Wang, Weilin
9 Wardi, Yorai
8 Carvalho, Lilian Kawakami
8 Di Benedetto, Maria Domenica
8 Hammer, Jacob
8 Lin, Hai
8 Lin, Liyong
8 Wu, Naiqi
7 Cai, Kai
7 Cho, Kwang-Hyun
7 Fabian, Martin
7 Han, Xiaoguang
7 Ma, Ziyue
7 Shu, Shaolong
7 Ushio, Toshimitsu
7 Zhang, Kuize
6 Kumar, Ratnesh
6 Kwak, Seong-Woo
6 Li, Shaoyuan
6 Lu, Jianquan
6 Ray, Asok Kumar
6 Reveliotis, Spyros A.
6 Tong, Yin
6 Yoo, Tae-Sic
6 Zhang, Renyuan
6 Zhang, Zhipeng
5 Basile, Francesco
5 Ćirić, Miroslav D.
5 De Santis, Elena
5 Fabre, Eric
5 Garcia, Humberto E.
5 Haar, Stefan
5 Haddad, Serge
5 Ignjatović, Jelena
5 Lahaye, Sébastien
5 Liu, Zhongxin
5 Pinchinat, Sophie
5 Pola, Giordano
5 Ricker, Laurie
5 Rooda, Jacobus E.
5 Schmidt, Klaus Werner
5 Tai, Ruochen
5 Wu, Yi-Chin
5 Zanella, Marina
5 Zhu, Yuting
4 Ambartsumyan, A. A.
4 Biswas, Santosh
4 Cabasino, Maria Paola
4 Cury, José Eduardo Ribeiro
4 De Tommasi, Gianmaria
4 Dziong, Zbigniew
4 Ghazel, Mohamed
4 Ji, Yiding
4 Khoumsi, Ahmed
4 Lamperti, Gianfranco
4 Lan, Hao
4 Lefaucheux, Engel
4 Liu, Rongjian
4 Lunze, Jan
4 Meira-Góes, Rômulo
4 Mukhopadhyay, Siddhartha
4 Panayiotou, Christos G.
4 Reniers, Michel Adriaan
4 Rudie, Karen
4 Teixeira, Marcelo C. M.
4 Tripakis, Stavros
4 van de Mortel-Fronczak, Joanna M.
4 Wang, Fei
4 Wang, Leyi
4 Ware, Simon
4 Yao, Chen
3 Alves, Marcos V. S.
3 Azhmyakov, Vadim
3 Balasuriya, Sanjeeva
3 Balun, Jiří
3 Barcelos, Raphael Julio
3 Barkaoui, Kamel
...and 989 more Authors
all top 5

Cited in 102 Serials

165 Discrete Event Dynamic Systems
160 Automatica
46 Information Sciences
44 International Journal of Control
30 Systems & Control Letters
20 Nonlinear Analysis. Hybrid Systems
19 European Journal of Control
16 Journal of the Franklin Institute
12 Asian Journal of Control
10 Theoretical Computer Science
10 International Journal of Systems Science. Principles and Applications of Systems and Integration
9 Automation and Remote Control
8 Formal Methods in System Design
7 Artificial Intelligence
7 International Journal of Systems Science
7 International Journal of Robust and Nonlinear Control
7 Mathematical Problems in Engineering
6 Mathematics and Computers in Simulation
4 Fuzzy Sets and Systems
4 Control Theory and Technology
3 Acta Informatica
3 Information Processing Letters
3 Journal of Optimization Theory and Applications
3 International Journal of Production Research
3 Information and Computation
3 International Journal of Adaptive Control and Signal Processing
3 Linear Algebra and its Applications
3 Journal of Computer and Systems Sciences International
3 Mathematical and Computer Modelling of Dynamical Systems
3 International Journal of Applied Mathematics and Computer Science
2 International Journal of General Systems
2 Mathematical Biosciences
2 Stochastics
2 Journal of Computer and System Sciences
2 Naval Research Logistics
2 SIAM Journal on Control and Optimization
2 Journal of Automated Reasoning
2 Applied Mathematical Modelling
2 European Journal of Operational Research
2 Complexity
2 Abstract and Applied Analysis
2 Soft Computing
2 CEJOR. Central European Journal of Operations Research
2 Journal of Systems Science and Complexity
2 Journal of Applied Mathematics
2 Sādhanā
2 Logical Methods in Computer Science
2 Journal of Theoretical Biology
2 Journal of Logical and Algebraic Methods in Programming
1 Advances in Applied Probability
1 Archive for Rational Mechanics and Analysis
1 Computers & Mathematics with Applications
1 Inverse Problems
1 Journal of Computational Physics
1 Journal of Mathematical Biology
1 Mathematical Methods in the Applied Sciences
1 Journal of Applied Probability
1 Journal of Econometrics
1 Kybernetika
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
1 Optimal Control Applications & Methods
1 Circuits, Systems, and Signal Processing
1 Physica D
1 Mathematical and Computer Modelling
1 MCSS. Mathematics of Control, Signals, and Systems
1 Formal Aspects of Computing
1 Neural Networks
1 AI Communications
1 Annals of Operations Research
1 Real-Time Systems
1 Mathematical Structures in Computer Science
1 Journal of Global Optimization
1 SIAM Journal on Applied Mathematics
1 SIAM Journal on Mathematical Analysis
1 Applied Categorical Structures
1 The Journal of Artificial Intelligence Research (JAIR)
1 Annals of Mathematics and Artificial Intelligence
1 International Transactions in Operational Research
1 INFORMS Journal on Computing
1 Journal of Scheduling
1 Data Mining and Knowledge Discovery
1 Discrete Dynamics in Nature and Society
1 Communications in Nonlinear Science and Numerical Simulation
1 RAIRO. Theoretical Informatics and Applications
1 Combustion Theory and Modelling
1 Fundamenta Informaticae
1 Methodology and Computing in Applied Probability
1 International Game Theory Review
1 Advances in Complex Systems
1 SIAM Journal on Applied Dynamical Systems
1 Computational Management Science
1 International Journal of Flexible Manufacturing Systems
1 Science in China. Series F
1 IET Control Theory & Applications
1 Discrete Mathematics, Algorithms and Applications
1 Journal of Control Science and Engineering
1 Science China. Information Sciences
1 Dynamic Games and Applications
1 Numerical Algebra, Control and Optimization
1 Journal of Applied Mathematics, Statistics and Informatics
...and 2 more Serials

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.