212
Publications
13K
Citations
57
H-Index
1984
Active since
Stéphane Lafortune is an author at University of Michigan specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationProcess ControlAutomationVerificationComputer EngineeringAutomated Reasoning
Publications per year
1984–2024
212
212
Diagnosability of discrete-event systems
Meera Sampath, Raja Sengupta, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control · 1995 · 1.6K citations
Failure Diagnosis, Failure Detection, Reliability Engineering +15
Failure diagnosis using discrete-event models
Meera Sampath, Raja Sengupta, Stéphane Lafortune et al. · IEEE Transactions on Control Systems Technology · 1996 · 720 citations
Rows per page
1–5 of 212