Introduction to discrete event systems CG Cassandras, S Lafortune Springer US, 2008 | 7096 | 2008 |
Diagnosability of discrete-event systems M Sampath, R Sengupta, S Lafortune, K Sinnamohideen, D Teneketzis IEEE Transactions on automatic control 40 (9), 1555-1575, 1995 | 2105 | 1995 |
Failure diagnosis using discrete-event models M Sampath, R Sengupta, S Lafortune, K Sinnamohideen, DC Teneketzis IEEE transactions on control systems technology 4 (2), 105-124, 1996 | 1066 | 1996 |
Coordinated decentralized protocols for failure diagnosis of discrete event systems R Debouk, S Lafortune, D Teneketzis Discrete event dynamic systems 10 (1), 33-86, 2000 | 670 | 2000 |
Polynomial-time verification of diagnosability of partially observed discrete-event systems TS Yoo, S Lafortune IEEE Transactions on automatic control 47 (9), 1491-1495, 2002 | 510 | 2002 |
Active diagnosis of discrete-event systems M Sampath, S Lafortune, D Teneketzis IEEE transactions on automatic control 43 (7), 908-929, 1998 | 426 | 1998 |
Overview of fault diagnosis methods for discrete event systems J Zaytoon, S Lafortune Annual Reviews in Control 37 (2), 308-320, 2013 | 400 | 2013 |
A general architecture for decentralized supervisory control of discrete-event systems TS Yoo, S Lafortune Discrete Event Dynamic Systems 12, 335-377, 2002 | 312 | 2002 |
Limited lookahead policies in supervisory control of discrete event systems SL Chung, S Lafortune, F Lin IEEE Transactions on Automatic Control 37 (12), 1921-1935, 1992 | 256 | 1992 |
Distributed diagnosis of place-bordered Petri nets S Genc, S Lafortune IEEE Transactions on automation science and engineering 4 (2), 206-219, 2007 | 209 | 2007 |
Comparative analysis of related notions of opacity in centralized and coordinated architectures YC Wu, S Lafortune Discrete Event Dynamic Systems 23 (3), 307-339, 2013 | 204 | 2013 |
Diagnosis of discrete event systems using decentralized architectures Y Wang, TS Yoo, S Lafortune Discrete Event Dynamic Systems 17 (2), 233-263, 2007 | 204 | 2007 |
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. Y Wang, T Kelly, M Kudlur, S Lafortune, SA Mahlke OSDI 8, 281-294, 2008 | 199 | 2008 |
A new approach for diagnosability analysis of Petri nets using verifier nets MP Cabasino, A Giua, S Lafortune, C Seatzu IEEE Transactions on Automatic Control 57 (12), 3104-3117, 2012 | 188 | 2012 |
Decentralized supervisory control with communicating controllers G Barrett, S Lafortune IEEE Transactions on Automatic Control 45 (9), 1620-1638, 2000 | 187 | 2000 |
Distributed diagnosis of discrete-event systems using Petri nets S Genc, S Lafortune International Conference on Application and Theory of Petri Nets, 316-336, 2003 | 174 | 2003 |
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems X Yin, S Lafortune IEEE Transactions on Automatic Control, 2016 | 173 | 2016 |
On the history of diagnosability and opacity in discrete event systems S Lafortune, F Lin, CN Hadjicostis Annual Reviews in Control 45, 257-266, 2018 | 163 | 2018 |
Predictability of event occurrences in partially-observed discrete-event systems S Genc, S Lafortune Automatica 45 (2), 301-311, 2009 | 162 | 2009 |
An optimal control theory for discrete event systems R Sengupta, S Lafortune SIAM Journal on control and Optimization 36 (2), 488-541, 1998 | 159 | 1998 |