Edit Profile (opens in new tab) Lafortune, Stéphane Compute Distance To: Compute Author ID: lafortune.stephane Published as: Lafortune, Stéphane; Lafortune, S.; Lafortune, Stephane more...less External Links: MGP Documents Indexed: 162 Publications since 1984, including 4 Books 2 Contributions as Editor Co-Authors: 111 Co-Authors with 160 Joint Publications 2,279 Co-Co-Authors 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 all top 5 Serials 45 IEEE Transactions on Automatic Control 28 Discrete Event Dynamic Systems 21 Automatica 7 Physica D 6 Journal of Mathematical Physics 5 Nonlinearity 5 Journal of Physics A: Mathematical and General 4 SIAM Journal on Applied Mathematics 3 Physica A 3 SIAM Journal on Control and Optimization 2 Physics Letters. A 2 Systems & Control Letters 2 SIAM Journal on Mathematical Analysis 2 Journal of Physics A: Mathematical and Theoretical 1 International Journal of Control 1 Inverse Problems 1 Letters in Mathematical Physics 1 ACM Transactions on Database Systems 1 Journal of Automated Reasoning 1 Discrete and Continuous Dynamical Systems 1 Nonlinear Dynamics 1 Regular and Chaotic Dynamics 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Fields 104 Systems theory; control (93-XX) 35 Computer science (68-XX) 25 Dynamical systems and ergodic theory (37-XX) 23 Operations research, mathematical programming (90-XX) 19 Partial differential equations (35-XX) 15 Difference and functional equations (39-XX) 14 Ordinary differential equations (34-XX) 7 Numerical analysis (65-XX) 7 Information and communication theory, circuits (94-XX) 6 Fluid mechanics (76-XX) 4 Mechanics of deformable solids (74-XX) 4 Classical thermodynamics, heat transfer (80-XX) 4 Quantum theory (81-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Probability theory and stochastic processes (60-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral transforms, operational calculus (44-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications 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.93001Cassandras, Christos G.; Lafortune, Stéphane 216 2008 Diagnosability of discrete-event systems. Zbl 0839.93072Sampath, Meera; Sengupta, Raja; Lafortune, Stéphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis 170 1995 Introduction to discrete event systems. Zbl 0934.93001Cassandras, Christos G.; Lafortune, Stéphane 142 1999 Polynomial-time verification of diagnosability of partially observed discrete-event systems. Zbl 1364.93176Yoo, Tae-Sic; Lafortune, Stéphane 61 2002 Coordinated decentralized protocols for failure diagnosis of discrete event systems. Zbl 0959.93039Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis 49 2000 A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067Yoo, T.-S.; Lafortune, Stéphane 36 2002 Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084Wu, Yi-Chin; Lafortune, Stéphane 31 2013 Active diagnosis of discrete-event systems. Zbl 0949.90025Sampath, Meera; Lafortune, Stéphane; Teneketzis, Demosthenis 28 1998 A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. Zbl 1359.93295Yin, Xiang; Lafortune, Stéphane 28 2016 A new approach for diagnosability analysis of Petri nets using verifier nets. Zbl 1369.93373Cabasino, Maria Paola; Giua, Alessandro; Lafortune, Stéphane; Seatzu, Carla 23 2012 Limited lookahead policies in supervisory control of discrete event systems. Zbl 0773.93004Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng 23 1992 Decentralized supervisory control with communicating controllers. Zbl 0990.93072Barrett, George; Lafortune, Stéphane 22 2000 Bisimulation, the supervisory control problem and strong model matching for finite state machines. Zbl 0919.93005Barrett, George; Lafortune, Stéphane 22 1998 The infimal closed controllable superlanguage and its application in supervisory control. Zbl 0709.68028Lafortune, 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.93174Yin, Xiang; Lafortune, Stéphane 19 2017 An optimal control theory for discrete event systems. Zbl 0908.93035Sengupta, Raja; Lafortune, Stéphane 18 1998 Safe diagnosability for fault-tolerant supervision of discrete-event systems. Zbl 1086.93043Paoli, Andrea; Lafortune, Stéphane 18 2005 Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane 18 2007 Active fault tolerant control of discrete event systems using online diagnostics. Zbl 1215.93085Paoli, Andrea; Sartini, Matteo; Lafortune, Stéphane 18 2011 The Gambier mapping, revisited. Zbl 0910.58017Grammaticos, B.; Ramani, A.; Lafortune, S. 17 1998 Minimal communication in a distributed discrete-event system. Zbl 1364.93482Rudie, Karen; Lafortune, Stéphane; Lin, Feng 17 2003 NP-completeness of sensor selection problems arising in partially observed discrete-event systems. Zbl 1364.93486Yoo, Tae-Sic; Lafortune, Stéphane 17 2002 Synthesis of insertion functions for enforcement of opacity security properties. Zbl 1296.93114Wu, Yi-Chin; Lafortune, Stéphane 17 2014 Predictability of event occurrences in partially-observed discrete-event systems. Zbl 1158.93366Genc, Sahika; Lafortune, Stéphane 17 2009 Detection and mitigation of classes of attacks in supervisory control systems. Zbl 1406.93006Carvalho, 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.93296Yin, 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.68058Nazeem, Ahmed; Reveliotis, Spyros; Wang, Yin; Lafortune, Stéphane 15 2011 Robust diagnosis of discrete-event systems against permanent loss of observations. Zbl 1257.93065Carvalho, Lilian K.; Moreira, Marcos V.; Basilio, João C.; Lafortune, Stéphane 15 2013 Optimal sensor activation for diagnosing discrete event systems. Zbl 1194.93140Wang, Weilin; Lafortune, Stéphane; Girard, Anouck R.; Lin, Feng 15 2010 Adaptive control with recursive identification for stochastic linear systems. Zbl 0538.93071Caines, Peter E.; Lafortune, Stephane 14 1984 On codiagnosability and coobservability with dynamic observations. Zbl 1368.93392Wang, Weilin; Girard, Anouck R.; Lafortune, Stéphane; Lin, Feng 14 2011 Distributed diagnosis of discrete-event systems using Petri nets. Zbl 1274.68234Genc, Sahika; Lafortune, Stéphane 14 2003 Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Zbl 0880.93016Ben 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.93387Wang, Weilin; Lafortune, Stéphane; Lin, Feng 14 2007 Diagnosability of discrete event systems. Zbl 0941.68613Sampath, Meera; Sengupta, Raja; Lafortune, Stéphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis 13 1994 Decentralized supervisory control with conditional decisions: supervisor existence. Zbl 1365.93309Yoo, Tae-Sic; Lafortune, Stéphane 13 2004 Diagnosis of intermittent faults. Zbl 1063.93031Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis 13 2004 Minimization of dynamic sensor activation in discrete event systems for the purpose of control. Zbl 1368.93393Wang, Weilin; Lafortune, Stéphane; Lin, Feng; Girard, Anouck R. 12 2010 Codiagnosability and coobservability under dynamic observations: transformation and verification. Zbl 1327.93269Yin, Xiang; Lafortune, Stéphane 11 2015 Diagnosability of discrete event systems with modular structure. Zbl 1134.93306Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis 11 2006 Verification of nonconflict of supervisors using abstractions. Zbl 1368.68237Pena, Patrícia N.; Cury, José E. R.; Lafortune, Stéphane 11 2009 On an optimization problem in sensor selection. Zbl 1087.93059Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis 10 2002 On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Zbl 1023.93041Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis 10 2003 Opacity enforcement using nondeterministic publicly known edit functions. Zbl 1482.93382Ji, Yiding; Yin, Xiang; Lafortune, Stéphane 10 2019 Linearizable mappings and the low-growth criterion. Zbl 0962.37020Ramani, A.; Grammaticos, B.; Lafortune, S.; Ohta, Y. 9 2000 Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems. Zbl 1448.93207Meira-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.93377Wang, Weilin; Lafortune, Stéphane; Lin, Feng 9 2008 Verification complexity of a class of observational properties for modular discrete events systems. Zbl 1373.93220Yin, Xiang; Lafortune, Stéphane 9 2017 Synthesis of maximally-permissive supervisors for the range control problem. Zbl 1373.93221Yin, Xiang; Lafortune, Stéphane 8 2017 High Lewis number combustion wavefronts: a perturbative Melnikov analysis. Zbl 1121.80007Balasuriya, Sanjeeva; Gottwald, Georg; Hornibrook, John; Lafortune, Stéphane 8 2007 Computation of minimal event bases that ensure diagnosability. Zbl 1252.93082Basilio, João Carlos; Souza Lima, Saulo Telles; Lafortune, Stéphane; Moreira, Marcos Vicente 8 2012 Variable lookahead supervisory control with state information. Zbl 0812.93003Hadj-Alouane, Nejib Ben; Lafortune, Stéphane; Lin, Feng 8 1994 Singularity confinement and algebraic integrability. Zbl 1070.37039Lafortune, S.; Goriely, A. 8 2004 Supervisory control using variable lookahead policies. Zbl 0808.93001Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng 7 1994 Symmetries of discrete dynamical systems involving two species. Zbl 0977.37035Gómez-Ullate, D.; Lafortune, S.; Winternitz, P. 7 1999 The verification and control of interacting similar discrete-event systems. Zbl 1109.93032Rohloff, Kurt; Lafortune, Stéphane 7 2007 Enforcement of opacity by public and private insertion functions. Zbl 1400.93187Ji, Yiding; Wu, Yi-Chin; Lafortune, Stéphane 7 2018 Spectral stability analysis for periodic traveling wave solutions of NLS and CGL perturbations. Zbl 1148.35086Ivey, T.; Lafortune, S. 7 2008 On tolerable and desirable behaviors in supervisory control of discrete event systems. Zbl 0738.93008Lafortune, Stéphane; Lin, Feng 7 1991 Squared eigenfunctions and linear stability properties of closed vortex filaments. Zbl 1229.35256Calini, Annalisa; Keith, Scott F.; Lafortune, Stephane 6 2011 On the minimization of communication in networked systems with a central station. Zbl 1176.90093Wang, Weilin; Lafortune, Stéphane; Lin, Feng 6 2008 Instability of local deformations of an elastic rod. Zbl 1027.74033Lafortune, S.; Lega, J. 6 2003 PSPACE-completeness of modular supervisory control problems. Zbl 1059.93092Rohloff, Kurt; Lafortune, Stéphane 6 2005 Synthesis of optimal insertion functions for opacity enforcement. Zbl 1359.68180Wu, Yi-Chin; Lafortune, Stéphane 6 2016 How to detect integrability in cellular automata. Zbl 1073.37012Joshi, N.; Lafortune, S. 6 2005 On the decidability and complexity of diagnosability for labeled Petri nets. Zbl 1390.93539Yin, Xiang; Lafortune, Stéphane 6 2017 Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y. 6 2017 Multi-level hierarchical interface-based supervisory control. Zbl 1194.93136Hill, 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.34006Lafortune, Stéphane; Winternitz, Pavel 6 1996 Introduction to discrete event systems. 3rd edition. Zbl 1482.93001Cassandras, Christos G.; Lafortune, Stéphane 6 2021 On optimal control of a class of partially observed discrete event systems. Zbl 1011.93069Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane 5 2002 Symmetry classification of diatomic molecular chains. Zbl 1018.81056Lafortune, S.; Tremblay, S.; Winternitz, P. 5 2001 Compositional and abstraction-based approach for synthesis of edit functions for opacity enforcement. Zbl 07256445Mohajerani, Sahar; Ji, Yiding; Lafortune, Stéphane 5 2020 On most permissive observers in dynamic sensor activation problems. Zbl 1360.93421Dallal, Eric; Lafortune, Stéphane 5 2014 Deciding co-observability is PSPACE-complete. Zbl 1364.93481Rohloff, Kurt; Yoo, Tae-Sic; Lafortune, Stéphane 5 2003 Spectral stability of local deformations of an elastic rod: Hamiltonian formalism. Zbl 1093.37029Lafortune, S.; Lega, J. 5 2005 Synthesis of obfuscation policies to ensure privacy and utility. Zbl 1426.68085Wu, 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.93004Chen, Enke; Lafortune, Stéphane 5 1991 Stability of stationary solutions for nonintegrable peakon equations. Zbl 1288.35061Hone, A. N. W.; Lafortune, S. 5 2014 Design of nonblocking modular supervisors using event priority functions. Zbl 0972.93041Chen, 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.93066Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane 4 2000 Instability of local deformations of an elastic rod: numerical evaluation of the Evans function. Zbl 1233.35188Lafortune, S.; Lega, J.; Madrid, S. 4 2011 Diagnosability analysis of a class of hierarchical state machines. Zbl 1171.93357Paoli, Andrea; Lafortune, Stéphane 4 2008 Minimal communication for essential transitions in a distributed discrete-event system. Zbl 1366.93353Lin, Feng; Rudie, Karen; Lafortune, Stéphane 4 2007 A general approach for optimizing dynamic sensor activation for discrete event systems. Zbl 1429.93231Yin, Xiang; Lafortune, Stéphane 4 2019 On the synthesis of safe control policies in decentralized control of discrete-event systems. Zbl 1364.93032Rohloff, Kurt; Lafortune, Stéphane 4 2003 The theory of deadlock avoidance via discrete control. Zbl 1315.68073Wang, 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.93336Lafortune, Stéphane 4 2007 Embedded insertion functions for opacity enforcement. Zbl 1471.93176Keroglou, Christoforos; Lafortune, Stéphane 4 2021 Integrable third-order mappings and their growth properties. Zbl 1011.39017Lafortune, S.; Carstea, A. S.; Ramani, A.; Grammaticos, B.; Ohta, Y. 3 2001 Point symmetries of generalized Toda field theories. II: Symmetry reduction. Zbl 1064.37506Martina, L.; Lafortune, S.; Winternitz, P. 3 2000 Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Zbl 1356.93005Dallal, Eric; Colombo, Alessandro; Del Vecchio, Domitilla; Lafortune, Stéphane 3 2017 Again, linearizable mappings. Zbl 0910.58019Ramani, A.; Grammaticos, B.; Tamizhmani, K. M.; Lafortune, S. 3 1998 Solvability of centralized supervisory control under partial observation. Zbl 1103.93015Yoo, Tae-Sic; Lafortune, Stéphane 3 2006 Transforming opacity verification to nonblocking verification in modular systems. Zbl 07256296Mohajerani, Sahar; Lafortune, Stéphane 3 2020 Optimal supervisory control with mean payoff objectives and under partial observation. Zbl 1461.93311Ji, Yiding; Yin, Xiang; Lafortune, Stéphane 3 2021 Decentralized supervisory control with conditional decisions: supervisor realization. Zbl 1365.93024Yoo, Tae-Sic; Lafortune, Stéphane 3 2005 Minimization of sensor activation in decentralized discrete-event systems. Zbl 1423.93263Yin, Xiang; Lafortune, Stéphane 3 2018 Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Zbl 1364.93453Cabasino, Maria Paola; Lafortune, Stéphane; Seatzu, Carla 3 2013 Recursive computation of limited lookahead supervisory controls for discrete event systems. Zbl 0772.93001Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng 3 1993 Local mean payoff supervisory control for discrete event systems. Zbl 07564849Ji, 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 07564976Meira-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.35057Lafortune, Stéphane; Pelinovsky, Dmitry E. 1 2022 Introduction to discrete event systems. 3rd edition. Zbl 1482.93001Cassandras, Christos G.; Lafortune, Stéphane 6 2021 Embedded insertion functions for opacity enforcement. Zbl 1471.93176Keroglou, Christoforos; Lafortune, Stéphane 4 2021 Optimal supervisory control with mean payoff objectives and under partial observation. Zbl 1461.93311Ji, Yiding; Yin, Xiang; Lafortune, Stéphane 3 2021 Synthesis of supervisors robust against sensor deception attacks. Zbl 07479709Meira-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.93207Meira-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 07256445Mohajerani, Sahar; Ji, Yiding; Lafortune, Stéphane 5 2020 Transforming opacity verification to nonblocking verification in modular systems. Zbl 07256296Mohajerani, Sahar; Lafortune, Stéphane 3 2020 Divergence properties of labeled Petri nets and their relevance for diagnosability analysis. Zbl 07256418Giua, Alessandro; Lafortune, Stéphane; Seatzu, Carla 2 2020 Flame propagation in a porous medium. Zbl 07477824Ghazaryan, Anna; Lafortune, Stéphane; Linhart, Choral 1 2020 Opacity enforcement using nondeterministic publicly known edit functions. Zbl 1482.93382Ji, Yiding; Yin, Xiang; Lafortune, Stéphane 10 2019 A general approach for optimizing dynamic sensor activation for discrete event systems. Zbl 1429.93231Yin, Xiang; Lafortune, Stéphane 4 2019 Detection and mitigation of classes of attacks in supervisory control systems. Zbl 1406.93006Carvalho, Lilian Kawakami; Wu, Yi-Chin; Kwong, Raymond; Lafortune, Stéphane 16 2018 Enforcement of opacity by public and private insertion functions. Zbl 1400.93187Ji, Yiding; Wu, Yi-Chin; Lafortune, Stéphane 7 2018 Synthesis of obfuscation policies to ensure privacy and utility. Zbl 1426.68085Wu, 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.93263Yin, Xiang; Lafortune, Stéphane 3 2018 Synthesis of maximally permissive nonblocking supervisors for the lower bound containment problem. Zbl 1423.93264Yin, Xiang; Lafortune, Stéphane 2 2018 Stability of closed solutions to the vortex filament equation hierarchy with application to the Hirota equation. Zbl 1390.35329Ivey, T.; Lafortune, S. 2 2018 A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers. Zbl 1370.93174Yin, Xiang; Lafortune, Stéphane 19 2017 Verification complexity of a class of observational properties for modular discrete events systems. Zbl 1373.93220Yin, Xiang; Lafortune, Stéphane 9 2017 Synthesis of maximally-permissive supervisors for the range control problem. Zbl 1373.93221Yin, Xiang; Lafortune, Stéphane 8 2017 On the decidability and complexity of diagnosability for labeled Petri nets. Zbl 1390.93539Yin, Xiang; Lafortune, Stéphane 6 2017 Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068Ehlers, 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.93005Dallal, 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.93295Yin, Xiang; Lafortune, Stéphane 28 2016 Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. Zbl 1359.93296Yin, Xiang; Lafortune, Stéphane 16 2016 Synthesis of optimal insertion functions for opacity enforcement. Zbl 1359.68180Wu, Yi-Chin; Lafortune, Stéphane 6 2016 Matrix integral solutions to the discrete KP hierarchy and its Pfaffianized version. Zbl 1364.37144Lafortune, Stéphane; Li, Chun-Xia 1 2016 Combustion waves in hydraulically resistant porous media in a special parameter regime. Zbl 1415.80005Ghazaryan, Anna; Lafortune, Stéphane; McLarnan, Peter 1 2016 Decentralized supervisory control with intersection-based architecture. Zbl 1359.93294Yin, Xiang; Lafortune, Stéphane 1 2016 Codiagnosability and coobservability under dynamic observations: transformation and verification. Zbl 1327.93269Yin, Xiang; Lafortune, Stéphane 11 2015 Stability analysis for combustion fronts traveling in hydraulically resistant porous media. Zbl 1320.35137Ghazaryan, 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.35036Ghazaryan, 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.93156Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane 1 2015 Synthesis of insertion functions for enforcement of opacity security properties. Zbl 1296.93114Wu, Yi-Chin; Lafortune, Stéphane 17 2014 On most permissive observers in dynamic sensor activation problems. Zbl 1360.93421Dallal, Eric; Lafortune, Stéphane 5 2014 Stability of stationary solutions for nonintegrable peakon equations. Zbl 1288.35061Hone, A. N. W.; Lafortune, S. 5 2014 Verification of the observer property in discrete event systems. Zbl 1360.93130Pena, 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.93084Wu, Yi-Chin; Lafortune, Stéphane 31 2013 Robust diagnosis of discrete-event systems against permanent loss of observations. Zbl 1257.93065Carvalho, 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.93453Cabasino, Maria Paola; Lafortune, Stéphane; Seatzu, Carla 3 2013 Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Zbl 1268.93100Liao, 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.93194Liao, Hongwei; Lafortune, Stéphane; Reveliotis, Spyros; Wang, Yin; Mahlke, Scott 1 2013 Stability of solitons on vortex filaments. Zbl 1428.76026Lafortune, S. 1 2013 A new approach for diagnosability analysis of Petri nets using verifier nets. Zbl 1369.93373Cabasino, Maria Paola; Giua, Alessandro; Lafortune, Stéphane; Seatzu, Carla 23 2012 Computation of minimal event bases that ensure diagnosability. Zbl 1252.93082Basilio, 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.93085Paoli, 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.68058Nazeem, Ahmed; Reveliotis, Spyros; Wang, Yin; Lafortune, Stéphane 15 2011 On codiagnosability and coobservability with dynamic observations. Zbl 1368.93392Wang, Weilin; Girard, Anouck R.; Lafortune, Stéphane; Lin, Feng 14 2011 Squared eigenfunctions and linear stability properties of closed vortex filaments. Zbl 1229.35256Calini, Annalisa; Keith, Scott F.; Lafortune, Stephane 6 2011 Instability of local deformations of an elastic rod: numerical evaluation of the Evans function. Zbl 1233.35188Lafortune, S.; Lega, J.; Madrid, S. 4 2011 Optimal sensor activation for diagnosing discrete event systems. Zbl 1194.93140Wang, 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.93393Wang, Weilin; Lafortune, Stéphane; Lin, Feng; Girard, Anouck R. 12 2010 Multi-level hierarchical interface-based supervisory control. Zbl 1194.93136Hill, 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.93021Hill, Richard C.; Tilbury, Dawn M.; Lafortune, Stéphane 2 2010 Predictability of event occurrences in partially-observed discrete-event systems. Zbl 1158.93366Genc, Sahika; Lafortune, Stéphane 17 2009 Verification of nonconflict of supervisors using abstractions. Zbl 1368.68237Pena, Patrícia N.; Cury, José E. R.; Lafortune, Stéphane 11 2009 The theory of deadlock avoidance via discrete control. Zbl 1315.68073Wang, Yin; Lafortune, Stéphane; Kelly, Terence; Kudlur, Manjunath; Mahlke, Scott 4 2009 Hirota bilinear formalism and ultra-discrete singularity analysis. Zbl 1172.39021Joshi, N.; Lafortune, S.; Ramani, A. 1 2009 Introduction to discrete event systems. 2nd ed. Zbl 1165.93001Cassandras, Christos G.; Lafortune, Stéphane 216 2008 Minimization of communication of event occurrences in acyclic discrete event systems. Zbl 1367.93377Wang, Weilin; Lafortune, Stéphane; Lin, Feng 9 2008 Spectral stability analysis for periodic traveling wave solutions of NLS and CGL perturbations. Zbl 1148.35086Ivey, T.; Lafortune, S. 7 2008 On the minimization of communication in networked systems with a central station. Zbl 1176.90093Wang, Weilin; Lafortune, Stéphane; Lin, Feng 6 2008 Diagnosability analysis of a class of hierarchical state machines. Zbl 1171.93357Paoli, Andrea; Lafortune, Stéphane 4 2008 An algorithm for maximising covered area. Zbl 1152.90511Wang, Weilin; Lafortune, Stéphane 1 2008 Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065Wang, 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.93387Wang, Weilin; Lafortune, Stéphane; Lin, Feng 14 2007 High Lewis number combustion wavefronts: a perturbative Melnikov analysis. Zbl 1121.80007Balasuriya, Sanjeeva; Gottwald, Georg; Hornibrook, John; Lafortune, Stéphane 8 2007 The verification and control of interacting similar discrete-event systems. Zbl 1109.93032Rohloff, Kurt; Lafortune, Stéphane 7 2007 Minimal communication for essential transitions in a distributed discrete-event system. Zbl 1366.93353Lin, Feng; Rudie, Karen; Lafortune, Stéphane 4 2007 On decentralized and distributed control of partially-observed discrete event systems. Zbl 1118.93336Lafortune, Stéphane 4 2007 Diagnosability of discrete event systems with modular structure. Zbl 1134.93306Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis 11 2006 Solvability of centralized supervisory control under partial observation. Zbl 1103.93015Yoo, Tae-Sic; Lafortune, Stéphane 3 2006 When is negativity not a problem for the ultradiscrete limit? Zbl 1112.37059Kasman, Alex; Lafortune, Stéphane 3 2006 Integrable ultra-discrete equations and singularity analysis. Zbl 1104.39016Joshi, N.; Lafortune, S. 2 2006 The dynamics of stretchable rods in the inertial case. Zbl 1138.74357Lafortune, Stéphane; Goriely, Alain; Tabor, Michael 2 2006 Safe diagnosability for fault-tolerant supervision of discrete-event systems. Zbl 1086.93043Paoli, Andrea; Lafortune, Stéphane 18 2005 PSPACE-completeness of modular supervisory control problems. Zbl 1059.93092Rohloff, Kurt; Lafortune, Stéphane 6 2005 How to detect integrability in cellular automata. Zbl 1073.37012Joshi, N.; Lafortune, S. 6 2005 Spectral stability of local deformations of an elastic rod: Hamiltonian formalism. Zbl 1093.37029Lafortune, S.; Lega, J. 5 2005 Decentralized supervisory control with conditional decisions: supervisor realization. Zbl 1365.93024Yoo, Tae-Sic; Lafortune, Stéphane 3 2005 On a discrete version of the Korteweg-de Vries equation. Zbl 1152.34308Agrotis, M.; Lafortune, S.; Kevrekidis, P. G. 2 2005 Decentralized supervisory control with conditional decisions: supervisor existence. Zbl 1365.93309Yoo, Tae-Sic; Lafortune, Stéphane 13 2004 Diagnosis of intermittent faults. Zbl 1063.93031Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis 13 2004 Singularity confinement and algebraic integrability. Zbl 1070.37039Lafortune, S.; Goriely, A. 8 2004 Minimal communication in a distributed discrete-event system. Zbl 1364.93482Rudie, Karen; Lafortune, Stéphane; Lin, Feng 17 2003 Distributed diagnosis of discrete-event systems using Petri nets. Zbl 1274.68234Genc, Sahika; Lafortune, Stéphane 14 2003 On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Zbl 1023.93041Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis 10 2003 Instability of local deformations of an elastic rod. Zbl 1027.74033Lafortune, S.; Lega, J. 6 2003 Deciding co-observability is PSPACE-complete. Zbl 1364.93481Rohloff, 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.93032Rohloff, Kurt; Lafortune, Stéphane 4 2003 Polynomial-time verification of diagnosability of partially observed discrete-event systems. Zbl 1364.93176Yoo, Tae-Sic; Lafortune, Stéphane 61 2002 A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067Yoo, T.-S.; Lafortune, Stéphane 36 2002 NP-completeness of sensor selection problems arising in partially observed discrete-event systems. Zbl 1364.93486Yoo, Tae-Sic; Lafortune, Stéphane 17 2002 On an optimization problem in sensor selection. Zbl 1087.93059Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis 10 2002 On optimal control of a class of partially observed discrete event systems. Zbl 1011.93069Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane 5 2002 The discrete Chazy III system of Labrunie-Conte is not integrable. Zbl 1046.39012Ramani, A.; Grammaticos, B.; Lafortune, S. 2 2002 ...and 32 more Documents all cited Publications top 5 cited Publications 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