Stéphane Lafortune
College of Charleston(US)University of Michigan–Ann Arbor(US)University of Michigan(US)
Publications by Year
Research Areas
Petri Nets in System Modeling, Formal Methods in Verification, Distributed systems and fault tolerance, Flexible and Reconfigurable Manufacturing Systems, Nonlinear Waves and Solitons
Most-Cited Works
- → Introduction to Discrete Event Systems(2021)3,375 cited
- → Diagnosability of discrete-event systems(1995)1,580 cited
- → Failure diagnosis using discrete-event models(1996)720 cited
- → Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems(2000)472 cited
- → Polynomial-time verification of diagnosability of partially observed discrete-event systems(2002)406 cited
- → Overview of fault diagnosis methods for Discrete Event Systems(2013)316 cited
- → Active diagnosis of discrete-event systems(1998)