K. Sinnamohideen
Johnson Controls (United States)(US)
Publications by Year
Research Areas
Petri Nets in System Modeling, Fault Detection and Control Systems, Flexible and Reconfigurable Manufacturing Systems, Formal Methods in Verification, Business Process Modeling and Analysis
Most-Cited Works
- → Diagnosability of discrete-event systems(1995)1,580 cited
- → Failure diagnosis using discrete-event models(1996)720 cited
- → Failure diagnosis of dynamic systems: an approach based on discrete event systems(2001)97 cited
- → Diagnosability of discrete event systems(2005)65 cited
- → Failure diagnosis using discrete event models(2002)36 cited
- → Discrete-event diagnostics of heating, ventilation, and air-conditioning systems(2001)18 cited