×

Lafortune, Stéphane

Compute Distance To:
Author ID: lafortune.stephane Recent zbMATH articles by "Lafortune, Stéphane"
Published as: Lafortune, Stéphane; Lafortune, S.; Lafortune, Stephane
External Links: MGP
all top 5

Co-Authors

4 single-authored
17 Lin, Feng
16 Yin, Xiang
13 Ramani, Alfred
12 Grammaticos, Basil
11 Yoo, Tae-Sic
8 Teneketzis, Demosthenis
7 Wang, Weilin
7 Wang, Yin
7 Winternitz, Pavel
6 Ghazaryan, Anna
6 Wu, Yi-Chin
5 Ji, Yiding
5 Meira-Góes, Rômulo
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 Joshi, Nalini
3 Kwong, Raymond Hon-Sing
3 Lega, J.
3 Liao, Hongwei
3 Mahlke, Scott A.
3 Manukian, Vahagn
3 Mohajerani, Sahar
3 Ohta, Yasuhiro
3 Paoli, Andrea
3 Sampath, Meera
3 Seatzu, Carla
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 Goriely, Alain
2 Hill, Richard C.
2 Ivey, Thomas A.
2 Kelly, Terence
2 Kevrekidis, Panayotis G.
2 Li, Chunxia
2 Malik, Robi
2 Martina, Luigi
2 McLarnan, Peter
2 Moreira, Marcos Vicente
2 Ozay, Necmiye
2 Pelinovsky, Dmitry Efimovich
2 Pena, Patrícia N.
2 Rudie, Karen
2 Sinnamohideen, Kasim
2 Stanley, Jason
2 Tamizhmani, K. M.
2 Tilbury, Dawn M.
2 Wintenberg, Andrew
1 Agrotis, Maria A.
1 Balasuriya, Sanjeeva
1 Blischke, Matthew
1 Bravo, Hugo J.
1 Caines, Peter Edwin
1 Calini, Annalisa M.
1 Cârstea, Adrian Ştefan
1 Charalampidis, Efstathios G.
1 Cho, Hyoun Kyu
1 Colombo, Alessandro G.
1 da Cunha, Antonio Eduardo Carrilho
1 de Queiroz, Max Hering
1 Del Vecchio, Domitilla
1 Doliwa, Adam
1 Ehlers, Rüdiger
1 Gómez-Ullate Oteiza, D.
1 Gómez-Ullate, David
1 Gottwald, Georg A.
1 Hone, Andrew N. W.
1 Hornibrook, John
1 Kang, Eunsuk
1 Kasman, Alex
1 Keith, Scott F.
1 Keroglou, Christoforos
1 Korhonen, Risto
1 Kudlur, Manjunath
1 Linhart, Choral
1 Madrid, S.
1 Matsui, Shoma
1 Moor, Thomas
1 Nazeem, Ahmed
1 Parker, Ross
1 Raisch, Jörg
1 Raman, Vasumathi
1 Ramírez-Treviño, Antonio
1 Rawlings, Blake C.
...and 11 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

132 Publications have been cited 1,659 times in 739 Documents Cited by Year
Introduction to discrete event systems. 2nd ed. Zbl 1165.93001
Cassandras, Christos G.; Lafortune, Stéphane
216
2008
Diagnosability of discrete-event systems. Zbl 0839.93072
Sampath, Meera; Sengupta, Raja; Lafortune, Stéphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis
170
1995
Introduction to discrete event systems. Zbl 0934.93001
Cassandras, Christos G.; Lafortune, Stéphane
142
1999
Polynomial-time verification of diagnosability of partially observed discrete-event systems. Zbl 1364.93176
Yoo, Tae-Sic; Lafortune, Stéphane
61
2002
Coordinated decentralized protocols for failure diagnosis of discrete event systems. Zbl 0959.93039
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
49
2000
A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067
Yoo, T.-S.; Lafortune, Stéphane
36
2002
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084
Wu, Yi-Chin; Lafortune, Stéphane
31
2013
Active diagnosis of discrete-event systems. Zbl 0949.90025
Sampath, Meera; Lafortune, Stéphane; Teneketzis, Demosthenis
28
1998
A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. Zbl 1359.93295
Yin, Xiang; Lafortune, Stéphane
28
2016
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
23
2012
Limited lookahead policies in supervisory control of discrete event systems. Zbl 0773.93004
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
23
1992
Decentralized supervisory control with communicating controllers. Zbl 0990.93072
Barrett, George; Lafortune, Stéphane
22
2000
Bisimulation, the supervisory control problem and strong model matching for finite state machines. Zbl 0919.93005
Barrett, George; Lafortune, Stéphane
22
1998
The infimal closed controllable superlanguage and its application in supervisory control. Zbl 0709.68028
Lafortune, Stéphane; Chen, Enke
21
1990
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
19
2017
An optimal control theory for discrete event systems. Zbl 0908.93035
Sengupta, Raja; Lafortune, Stéphane
18
1998
Safe diagnosability for fault-tolerant supervision of discrete-event systems. Zbl 1086.93043
Paoli, Andrea; Lafortune, Stéphane
18
2005
Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065
Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane
18
2007
Active fault tolerant control of discrete event systems using online diagnostics. Zbl 1215.93085
Paoli, Andrea; Sartini, Matteo; Lafortune, Stéphane
18
2011
The Gambier mapping, revisited. Zbl 0910.58017
Grammaticos, B.; Ramani, A.; Lafortune, S.
17
1998
Minimal communication in a distributed discrete-event system. Zbl 1364.93482
Rudie, Karen; Lafortune, Stéphane; Lin, Feng
17
2003
NP-completeness of sensor selection problems arising in partially observed discrete-event systems. Zbl 1364.93486
Yoo, Tae-Sic; Lafortune, Stéphane
17
2002
Synthesis of insertion functions for enforcement of opacity security properties. Zbl 1296.93114
Wu, Yi-Chin; Lafortune, Stéphane
17
2014
Predictability of event occurrences in partially-observed discrete-event systems. Zbl 1158.93366
Genc, Sahika; Lafortune, Stéphane
17
2009
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
16
2018
Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. Zbl 1359.93296
Yin, Xiang; Lafortune, Stéphane
16
2016
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
15
2011
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
Optimal sensor activation for diagnosing discrete event systems. Zbl 1194.93140
Wang, Weilin; Lafortune, Stéphane; Girard, Anouck R.; Lin, Feng
15
2010
Adaptive control with recursive identification for stochastic linear systems. Zbl 0538.93071
Caines, Peter E.; Lafortune, Stephane
14
1984
On codiagnosability and coobservability with dynamic observations. Zbl 1368.93392
Wang, Weilin; Girard, Anouck R.; Lafortune, Stéphane; Lin, Feng
14
2011
Distributed diagnosis of discrete-event systems using Petri nets. Zbl 1274.68234
Genc, Sahika; Lafortune, Stéphane
14
2003
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
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
Diagnosability of discrete event systems. Zbl 0941.68613
Sampath, Meera; Sengupta, Raja; Lafortune, Stéphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis
13
1994
Decentralized supervisory control with conditional decisions: supervisor existence. Zbl 1365.93309
Yoo, Tae-Sic; Lafortune, Stéphane
13
2004
Diagnosis of intermittent faults. Zbl 1063.93031
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
13
2004
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.
12
2010
Codiagnosability and coobservability under dynamic observations: transformation and verification. Zbl 1327.93269
Yin, Xiang; Lafortune, Stéphane
11
2015
Diagnosability of discrete event systems with modular structure. Zbl 1134.93306
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
11
2006
Verification of nonconflict of supervisors using abstractions. Zbl 1368.68237
Pena, Patrícia N.; Cury, José E. R.; Lafortune, Stéphane
11
2009
On an optimization problem in sensor selection. Zbl 1087.93059
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
10
2002
On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Zbl 1023.93041
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
10
2003
Opacity enforcement using nondeterministic publicly known edit functions. Zbl 1482.93382
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
10
2019
Linearizable mappings and the low-growth criterion. Zbl 0962.37020
Ramani, A.; Grammaticos, B.; Lafortune, S.; Ohta, Y.
9
2000
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
9
2020
Minimization of communication of event occurrences in acyclic discrete event systems. Zbl 1367.93377
Wang, Weilin; Lafortune, Stéphane; Lin, Feng
9
2008
Verification complexity of a class of observational properties for modular discrete events systems. Zbl 1373.93220
Yin, Xiang; Lafortune, Stéphane
9
2017
Synthesis of maximally-permissive supervisors for the range control problem. Zbl 1373.93221
Yin, Xiang; Lafortune, Stéphane
8
2017
High Lewis number combustion wavefronts: a perturbative Melnikov analysis. Zbl 1121.80007
Balasuriya, Sanjeeva; Gottwald, Georg; Hornibrook, John; 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
Variable lookahead supervisory control with state information. Zbl 0812.93003
Hadj-Alouane, Nejib Ben; Lafortune, Stéphane; Lin, Feng
8
1994
Singularity confinement and algebraic integrability. Zbl 1070.37039
Lafortune, S.; Goriely, A.
8
2004
Supervisory control using variable lookahead policies. Zbl 0808.93001
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
7
1994
Symmetries of discrete dynamical systems involving two species. Zbl 0977.37035
Gómez-Ullate, D.; Lafortune, S.; Winternitz, P.
7
1999
The verification and control of interacting similar discrete-event systems. Zbl 1109.93032
Rohloff, Kurt; Lafortune, Stéphane
7
2007
Enforcement of opacity by public and private insertion functions. Zbl 1400.93187
Ji, Yiding; Wu, Yi-Chin; Lafortune, Stéphane
7
2018
Spectral stability analysis for periodic traveling wave solutions of NLS and CGL perturbations. Zbl 1148.35086
Ivey, T.; Lafortune, S.
7
2008
On tolerable and desirable behaviors in supervisory control of discrete event systems. Zbl 0738.93008
Lafortune, Stéphane; Lin, Feng
7
1991
Squared eigenfunctions and linear stability properties of closed vortex filaments. Zbl 1229.35256
Calini, Annalisa; Keith, Scott F.; Lafortune, Stephane
6
2011
On the minimization of communication in networked systems with a central station. Zbl 1176.90093
Wang, Weilin; Lafortune, Stéphane; Lin, Feng
6
2008
Instability of local deformations of an elastic rod. Zbl 1027.74033
Lafortune, S.; Lega, J.
6
2003
PSPACE-completeness of modular supervisory control problems. Zbl 1059.93092
Rohloff, Kurt; Lafortune, Stéphane
6
2005
Synthesis of optimal insertion functions for opacity enforcement. Zbl 1359.68180
Wu, Yi-Chin; Lafortune, Stéphane
6
2016
How to detect integrability in cellular automata. Zbl 1073.37012
Joshi, N.; Lafortune, S.
6
2005
On the decidability and complexity of diagnosability for labeled Petri nets. Zbl 1390.93539
Yin, Xiang; Lafortune, Stéphane
6
2017
Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068
Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y.
6
2017
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
Superposition formulas for pseudounitary matrix Riccati equations. Zbl 0866.34006
Lafortune, Stéphane; Winternitz, Pavel
6
1996
Introduction to discrete event systems. 3rd edition. Zbl 1482.93001
Cassandras, Christos G.; Lafortune, Stéphane
6
2021
On optimal control of a class of partially observed discrete event systems. Zbl 1011.93069
Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane
5
2002
Symmetry classification of diatomic molecular chains. Zbl 1018.81056
Lafortune, S.; Tremblay, S.; Winternitz, P.
5
2001
Compositional and abstraction-based approach for synthesis of edit functions for opacity enforcement. Zbl 07256445
Mohajerani, Sahar; Ji, Yiding; Lafortune, Stéphane
5
2020
On most permissive observers in dynamic sensor activation problems. Zbl 1360.93421
Dallal, Eric; Lafortune, Stéphane
5
2014
Deciding co-observability is PSPACE-complete. Zbl 1364.93481
Rohloff, Kurt; Yoo, Tae-Sic; Lafortune, Stéphane
5
2003
Spectral stability of local deformations of an elastic rod: Hamiltonian formalism. Zbl 1093.37029
Lafortune, S.; Lega, J.
5
2005
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.
5
2018
On nonconflicting languages that arise in supervisory control of discrete event systems. Zbl 0747.93004
Chen, Enke; Lafortune, Stéphane
5
1991
Stability of stationary solutions for nonintegrable peakon equations. Zbl 1288.35061
Hone, A. N. W.; Lafortune, S.
5
2014
Design of nonblocking modular supervisors using event priority functions. Zbl 0972.93041
Chen, Yi-Liang; Lafortune, Stéphane; Lin, Feng
4
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
4
2000
Instability of local deformations of an elastic rod: numerical evaluation of the Evans function. Zbl 1233.35188
Lafortune, S.; Lega, J.; Madrid, S.
4
2011
Diagnosability analysis of a class of hierarchical state machines. Zbl 1171.93357
Paoli, Andrea; Lafortune, Stéphane
4
2008
Minimal communication for essential transitions in a distributed discrete-event system. Zbl 1366.93353
Lin, Feng; Rudie, Karen; Lafortune, Stéphane
4
2007
A general approach for optimizing dynamic sensor activation for discrete event systems. Zbl 1429.93231
Yin, Xiang; Lafortune, Stéphane
4
2019
On the synthesis of safe control policies in decentralized control of discrete-event systems. Zbl 1364.93032
Rohloff, Kurt; Lafortune, Stéphane
4
2003
The theory of deadlock avoidance via discrete control. Zbl 1315.68073
Wang, Yin; Lafortune, Stéphane; Kelly, Terence; Kudlur, Manjunath; Mahlke, Scott
4
2009
On decentralized and distributed control of partially-observed discrete event systems. Zbl 1118.93336
Lafortune, Stéphane
4
2007
Embedded insertion functions for opacity enforcement. Zbl 1471.93176
Keroglou, Christoforos; Lafortune, Stéphane
4
2021
Integrable third-order mappings and their growth properties. Zbl 1011.39017
Lafortune, S.; Carstea, A. S.; Ramani, A.; Grammaticos, B.; Ohta, Y.
3
2001
Point symmetries of generalized Toda field theories. II: Symmetry reduction. Zbl 1064.37506
Martina, L.; Lafortune, S.; Winternitz, P.
3
2000
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
Again, linearizable mappings. Zbl 0910.58019
Ramani, A.; Grammaticos, B.; Tamizhmani, K. M.; Lafortune, S.
3
1998
Solvability of centralized supervisory control under partial observation. Zbl 1103.93015
Yoo, Tae-Sic; Lafortune, Stéphane
3
2006
Transforming opacity verification to nonblocking verification in modular systems. Zbl 07256296
Mohajerani, Sahar; Lafortune, Stéphane
3
2020
Optimal supervisory control with mean payoff objectives and under partial observation. Zbl 1461.93311
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
3
2021
Decentralized supervisory control with conditional decisions: supervisor realization. Zbl 1365.93024
Yoo, Tae-Sic; Lafortune, Stéphane
3
2005
Minimization of sensor activation in decentralized discrete-event systems. Zbl 1423.93263
Yin, Xiang; Lafortune, Stéphane
3
2018
Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Zbl 1364.93453
Cabasino, Maria Paola; Lafortune, Stéphane; Seatzu, Carla
3
2013
Recursive computation of limited lookahead supervisory controls for discrete event systems. Zbl 0772.93001
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
3
1993
Local mean payoff supervisory control for discrete event systems. Zbl 07564849
Ji, Yiding; Yin, Xiang; 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
Spectral instability of peakons in the \(b\)-family of the Camassa-Holm equations. Zbl 1496.35057
Lafortune, Stéphane; Pelinovsky, Dmitry E.
1
2022
Introduction to discrete event systems. 3rd edition. Zbl 1482.93001
Cassandras, Christos G.; Lafortune, Stéphane
6
2021
Embedded insertion functions for opacity enforcement. Zbl 1471.93176
Keroglou, Christoforos; Lafortune, Stéphane
4
2021
Optimal supervisory control with mean payoff objectives and under partial observation. Zbl 1461.93311
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
3
2021
Synthesis of supervisors robust against sensor deception attacks. Zbl 07479709
Meira-Góes, Rômulo; Lafortune, Stéphane; Marchand, Hervé
3
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
9
2020
Compositional and abstraction-based approach for synthesis of edit functions for opacity enforcement. Zbl 07256445
Mohajerani, Sahar; Ji, Yiding; Lafortune, Stéphane
5
2020
Transforming opacity verification to nonblocking verification in modular systems. Zbl 07256296
Mohajerani, Sahar; Lafortune, Stéphane
3
2020
Divergence properties of labeled Petri nets and their relevance for diagnosability analysis. Zbl 07256418
Giua, Alessandro; Lafortune, Stéphane; Seatzu, Carla
2
2020
Flame propagation in a porous medium. Zbl 07477824
Ghazaryan, Anna; Lafortune, Stéphane; Linhart, Choral
1
2020
Opacity enforcement using nondeterministic publicly known edit functions. Zbl 1482.93382
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
10
2019
A general approach for optimizing dynamic sensor activation for discrete event systems. Zbl 1429.93231
Yin, Xiang; Lafortune, Stéphane
4
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
16
2018
Enforcement of opacity by public and private insertion functions. Zbl 1400.93187
Ji, Yiding; Wu, Yi-Chin; Lafortune, Stéphane
7
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.
5
2018
Minimization of sensor activation in decentralized discrete-event systems. Zbl 1423.93263
Yin, Xiang; Lafortune, Stéphane
3
2018
Synthesis of maximally permissive nonblocking supervisors for the lower bound containment problem. Zbl 1423.93264
Yin, Xiang; Lafortune, Stéphane
2
2018
Stability of closed solutions to the vortex filament equation hierarchy with application to the Hirota equation. Zbl 1390.35329
Ivey, T.; Lafortune, S.
2
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
19
2017
Verification complexity of a class of observational properties for modular discrete events systems. Zbl 1373.93220
Yin, Xiang; Lafortune, Stéphane
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
6
2017
Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068
Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y.
6
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
28
2016
Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. Zbl 1359.93296
Yin, Xiang; Lafortune, Stéphane
16
2016
Synthesis of optimal insertion functions for opacity enforcement. Zbl 1359.68180
Wu, Yi-Chin; Lafortune, Stéphane
6
2016
Matrix integral solutions to the discrete KP hierarchy and its Pfaffianized version. Zbl 1364.37144
Lafortune, Stéphane; Li, Chun-Xia
1
2016
Combustion waves in hydraulically resistant porous media in a special parameter regime. Zbl 1415.80005
Ghazaryan, Anna; Lafortune, Stéphane; McLarnan, Peter
1
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
11
2015
Stability analysis for combustion fronts traveling in hydraulically resistant porous media. Zbl 1320.35137
Ghazaryan, A.; Lafortune, S.; McLarnan, P.
2
2015
Stability of front solutions in a model for a surfactant driven flow on an inclined plane. Zbl 1364.35036
Ghazaryan, Anna; Lafortune, Stéphane; Manukian, Vahagn
2
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
17
2014
On most permissive observers in dynamic sensor activation problems. Zbl 1360.93421
Dallal, Eric; Lafortune, Stéphane
5
2014
Stability of stationary solutions for nonintegrable peakon equations. Zbl 1288.35061
Hone, A. N. W.; Lafortune, S.
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.
1
2014
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084
Wu, Yi-Chin; Lafortune, Stéphane
31
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
Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Zbl 1364.93453
Cabasino, Maria Paola; Lafortune, Stéphane; Seatzu, Carla
3
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
2
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
1
2013
Stability of solitons on vortex filaments. Zbl 1428.76026
Lafortune, S.
1
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
23
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
18
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
15
2011
On codiagnosability and coobservability with dynamic observations. Zbl 1368.93392
Wang, Weilin; Girard, Anouck R.; Lafortune, Stéphane; Lin, Feng
14
2011
Squared eigenfunctions and linear stability properties of closed vortex filaments. Zbl 1229.35256
Calini, Annalisa; Keith, Scott F.; Lafortune, Stephane
6
2011
Instability of local deformations of an elastic rod: numerical evaluation of the Evans function. Zbl 1233.35188
Lafortune, S.; Lega, J.; Madrid, S.
4
2011
Optimal sensor activation for diagnosing discrete event systems. Zbl 1194.93140
Wang, Weilin; Lafortune, Stéphane; Girard, Anouck R.; Lin, Feng
15
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.
12
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
2
2010
Predictability of event occurrences in partially-observed discrete-event systems. Zbl 1158.93366
Genc, Sahika; Lafortune, Stéphane
17
2009
Verification of nonconflict of supervisors using abstractions. Zbl 1368.68237
Pena, Patrícia N.; Cury, José E. R.; Lafortune, Stéphane
11
2009
The theory of deadlock avoidance via discrete control. Zbl 1315.68073
Wang, Yin; Lafortune, Stéphane; Kelly, Terence; Kudlur, Manjunath; Mahlke, Scott
4
2009
Hirota bilinear formalism and ultra-discrete singularity analysis. Zbl 1172.39021
Joshi, N.; Lafortune, S.; Ramani, A.
1
2009
Introduction to discrete event systems. 2nd ed. Zbl 1165.93001
Cassandras, Christos G.; Lafortune, Stéphane
216
2008
Minimization of communication of event occurrences in acyclic discrete event systems. Zbl 1367.93377
Wang, Weilin; Lafortune, Stéphane; Lin, Feng
9
2008
Spectral stability analysis for periodic traveling wave solutions of NLS and CGL perturbations. Zbl 1148.35086
Ivey, T.; Lafortune, S.
7
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
18
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
8
2007
The verification and control of interacting similar discrete-event systems. Zbl 1109.93032
Rohloff, Kurt; Lafortune, Stéphane
7
2007
Minimal communication for essential transitions in a distributed discrete-event system. Zbl 1366.93353
Lin, Feng; Rudie, Karen; Lafortune, Stéphane
4
2007
On decentralized and distributed control of partially-observed discrete event systems. Zbl 1118.93336
Lafortune, Stéphane
4
2007
Diagnosability of discrete event systems with modular structure. Zbl 1134.93306
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
11
2006
Solvability of centralized supervisory control under partial observation. Zbl 1103.93015
Yoo, Tae-Sic; Lafortune, Stéphane
3
2006
When is negativity not a problem for the ultradiscrete limit? Zbl 1112.37059
Kasman, Alex; Lafortune, Stéphane
3
2006
Integrable ultra-discrete equations and singularity analysis. Zbl 1104.39016
Joshi, N.; Lafortune, S.
2
2006
The dynamics of stretchable rods in the inertial case. Zbl 1138.74357
Lafortune, Stéphane; Goriely, Alain; Tabor, Michael
2
2006
Safe diagnosability for fault-tolerant supervision of discrete-event systems. Zbl 1086.93043
Paoli, Andrea; Lafortune, Stéphane
18
2005
PSPACE-completeness of modular supervisory control problems. Zbl 1059.93092
Rohloff, Kurt; Lafortune, Stéphane
6
2005
How to detect integrability in cellular automata. Zbl 1073.37012
Joshi, N.; Lafortune, S.
6
2005
Spectral stability of local deformations of an elastic rod: Hamiltonian formalism. Zbl 1093.37029
Lafortune, S.; Lega, J.
5
2005
Decentralized supervisory control with conditional decisions: supervisor realization. Zbl 1365.93024
Yoo, Tae-Sic; Lafortune, Stéphane
3
2005
On a discrete version of the Korteweg-de Vries equation. Zbl 1152.34308
Agrotis, M.; Lafortune, S.; Kevrekidis, P. G.
2
2005
Decentralized supervisory control with conditional decisions: supervisor existence. Zbl 1365.93309
Yoo, Tae-Sic; Lafortune, Stéphane
13
2004
Diagnosis of intermittent faults. Zbl 1063.93031
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
13
2004
Singularity confinement and algebraic integrability. Zbl 1070.37039
Lafortune, S.; Goriely, A.
8
2004
Minimal communication in a distributed discrete-event system. Zbl 1364.93482
Rudie, Karen; Lafortune, Stéphane; Lin, Feng
17
2003
Distributed diagnosis of discrete-event systems using Petri nets. Zbl 1274.68234
Genc, Sahika; Lafortune, Stéphane
14
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
10
2003
Instability of local deformations of an elastic rod. Zbl 1027.74033
Lafortune, S.; Lega, J.
6
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
4
2003
Polynomial-time verification of diagnosability of partially observed discrete-event systems. Zbl 1364.93176
Yoo, Tae-Sic; Lafortune, Stéphane
61
2002
A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067
Yoo, T.-S.; Lafortune, Stéphane
36
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
5
2002
The discrete Chazy III system of Labrunie-Conte is not integrable. Zbl 1046.39012
Ramani, A.; Grammaticos, B.; Lafortune, S.
2
2002
...and 32 more Documents
all top 5

Cited by 1,056 Authors

54 Lafortune, Stéphane
22 Lin, Feng
19 Masopust, Tomáš
18 Li, Zhiwu
18 Takai, Shigemasa
17 Komenda, Jan
17 Yang, Jung-Min
16 Giua, Alessandro
16 Yin, Xiang
14 Grammaticos, Basil
14 Ramani, Alfred
14 Seatzu, Carla
14 Su, Rong
13 Cassandras, Christos G.
13 van Schuppen, Jan H.
13 Wonham, W. Murray
12 Basilio, João Carlos
12 Rudie, Karen
11 Liu, Fuchun
10 Marchand, Hervé
10 Park, Seong-Jin
9 Hadjicostis, Christoforos N.
9 Wang, Weilin
9 Wardi, Yorai
8 Ghazaryan, Anna
8 Hammer, Jacob
8 Lin, Hai
8 Malik, Robi
8 Moreira, Marcos Vicente
7 Cai, Kai
7 Carvalho, Lilian Kawakami
7 Chen, Zengqiang
7 Cho, Kwang-Hyun
7 Di Benedetto, Maria Domenica
7 Ushio, Toshimitsu
6 Lefebvre, Dimitri
6 Ma, Ziyue
6 Reveliotis, Spyros A.
6 Tong, Yin
6 Winternitz, Pavel
6 Yoo, Tae-Sic
6 Zhang, Renyuan
5 Fabian, Martin
5 Garcia, Humberto E.
5 Han, Xiaoguang
5 Lin, Liyong
5 Pinchinat, Sophie
5 Rooda, Jacobus E.
5 Satsuma, Junkichi
5 Schmidt, Klaus Werner
5 Shu, Shaolong
5 Wu, Naiqi
5 Wu, Yi-Chin
5 Zanella, Marina
5 Zhang, Kuize
4 Ambartsumyan, A. A.
4 Basile, Francesco
4 Biswas, Santosh
4 Ćirić, Miroslav D.
4 De Santis, Elena
4 Fabre, Eric
4 Haar, Stefan
4 Haddad, Serge
4 Ignjatović, Jelena
4 Khoumsi, Ahmed
4 Kumar, Ratnesh
4 Lahaye, Sébastien
4 Lan, Hao
4 Lefaucheux, Engel
4 Mukhopadhyay, Siddhartha
4 Panayiotou, Christos G.
4 Pelinovsky, Dmitry Efimovich
4 Pola, Giordano
4 Reniers, Michel Adriaan
4 Teixeira, Marcelo C. M.
4 van de Mortel-Fronczak, Joanna M.
4 Wang, Leyi
4 Ware, Simon
4 Yao, Chen
3 Alves, Marcos V. S.
3 Balasuriya, Sanjeeva
3 Barcelos, Raphael Julio
3 Cabasino, Maria Paola
3 Chao, Daniel Yuh
3 Chen, Hanfu
3 Cocquempot, Vincent
3 Colaneri, Patrizio
3 Correcher, Antonio
3 Cury, José Eduardo Ribeiro
3 De Schutter, Bart
3 De Tommasi, Gianmaria
3 Dziong, Zbigniew
3 Fanti, Maria Pia
3 Fu, Jinbo
3 Fu, Michael C.
3 Gan, Yongmei
3 García, Emilio
3 Gaudin, Benoit
3 Ghose Choudhury, Anindya
3 Gruzlikov, Alexander M.
...and 956 more Authors
all top 5

Cited in 132 Serials

154 Discrete Event Dynamic Systems
140 Automatica
41 International Journal of Control
28 Systems & Control Letters
23 Information Sciences
18 Nonlinear Analysis. Hybrid Systems
17 European Journal of Control
16 Journal of Mathematical Physics
9 Journal of the Franklin Institute
9 Automation and Remote Control
8 Theoretical Computer Science
8 Asian Journal of Control
8 International Journal of Systems Science. Principles and Applications of Systems and Integration
7 International Journal of Systems Science
7 Physica D
7 Journal of Nonlinear Mathematical Physics
6 Artificial Intelligence
6 Formal Methods in System Design
6 Mathematical Problems in Engineering
5 Mathematics and Computers in Simulation
4 Letters in Mathematical Physics
4 Fuzzy Sets and Systems
4 International Journal of Robust and Nonlinear Control
3 Acta Informatica
3 Information Processing Letters
3 Journal of Mathematical Analysis and Applications
3 Journal of Optimization Theory and Applications
3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
3 Studies in Applied Mathematics
3 International Journal of Production Research
3 Information and Computation
3 SIAM Journal on Applied Mathematics
3 SIAM Journal on Mathematical Analysis
3 Journal of Computer and Systems Sciences International
3 Mathematical and Computer Modelling of Dynamical Systems
3 Communications in Nonlinear Science and Numerical Simulation
3 International Journal of Applied Mathematics and Computer Science
3 SIAM Journal on Applied Dynamical Systems
3 Control Theory and Technology
2 Archive for Rational Mechanics and Analysis
2 International Journal of General Systems
2 Mathematical Biosciences
2 Nonlinearity
2 Physica A
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 Japan Journal of Industrial and Applied Mathematics
2 International Journal of Adaptive Control and Signal Processing
2 Applied Mathematical Modelling
2 European Journal of Operational Research
2 Journal of Nonlinear Science
2 Journal of Difference Equations and Applications
2 Abstract and Applied Analysis
2 CEJOR. Central European Journal of Operations Research
2 Journal of Systems Science and Complexity
2 Journal of Applied Mathematics
2 Sādhanā
2 International Journal of Geometric Methods in Modern Physics
2 Advances in Difference Equations
2 Logical Methods in Computer Science
2 Journal of Theoretical Biology
2 Journal of Logical and Algebraic Methods in Programming
2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Modern Physics Letters B
1 Acta Mechanica
1 Advances in Applied Probability
1 Computers & Mathematics with Applications
1 Inverse Problems
1 Journal of Applied Mathematics and Mechanics
1 Journal of Mathematical Biology
1 Physics Letters. A
1 Reports on Mathematical Physics
1 Theoretical and Mathematical Physics
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 Mathematics of Computation
1 Journal of Geometry and Physics
1 Journal of Applied Probability
1 Journal of Differential Equations
1 Journal of Econometrics
1 Kybernetika
1 Proceedings of the American Mathematical Society
1 Optimal Control Applications & Methods
1 Advances in Applied Mathematics
1 Applied Mathematics and Mechanics. (English Edition)
1 Acta Mathematicae Applicatae Sinica. English Series
1 Mathematical and Computer Modelling
1 MCSS. Mathematics of Control, Signals, and Systems
1 Formal Aspects of Computing
1 AI Communications
1 Annals of Operations Research
1 Real-Time Systems
1 Journal of Global Optimization
1 Linear Algebra and its Applications
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Applied Categorical Structures
1 Computational and Applied Mathematics
1 The Journal of Artificial Intelligence Research (JAIR)
...and 32 more Serials
all top 5

Cited in 40 Fields

534 Systems theory; control (93-XX)
180 Computer science (68-XX)
115 Operations research, mathematical programming (90-XX)
47 Dynamical systems and ergodic theory (37-XX)
38 Partial differential equations (35-XX)
31 Difference and functional equations (39-XX)
26 Ordinary differential equations (34-XX)
23 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
22 Probability theory and stochastic processes (60-XX)
22 Information and communication theory, circuits (94-XX)
14 Combinatorics (05-XX)
14 Calculus of variations and optimal control; optimization (49-XX)
13 Mathematical logic and foundations (03-XX)
10 Numerical analysis (65-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
8 Special functions (33-XX)
8 Mechanics of deformable solids (74-XX)
8 Biology and other natural sciences (92-XX)
7 Classical thermodynamics, heat transfer (80-XX)
6 Statistics (62-XX)
5 Nonassociative rings and algebras (17-XX)
5 Fluid mechanics (76-XX)
3 Operator theory (47-XX)
3 Mechanics of particles and systems (70-XX)
3 Quantum theory (81-XX)
2 Algebraic geometry (14-XX)
2 Category theory; homological algebra (18-XX)
2 Measure and integration (28-XX)
2 Approximations and expansions (41-XX)
2 Differential geometry (53-XX)
2 Global analysis, analysis on manifolds (58-XX)
2 Statistical mechanics, structure of matter (82-XX)
1 General and overarching topics; collections (00-XX)
1 Associative rings and algebras (16-XX)
1 Topological groups, Lie groups (22-XX)
1 Real functions (26-XX)
1 Functions of a complex variable (30-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Geometry (51-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year