Ratnesh Kumar
National Institute of Technology Durgapur(IN)Iowa State University(US)Homi Bhabha National Institute(IN)Institute for Plasma Research(IN)
Publications by Year
Research Areas
Petri Nets in System Modeling, Formal Methods in Verification, Distributed systems and fault tolerance, Flexible and Reconfigurable Manufacturing Systems, Business Process Modeling and Analysis
Most-Cited Works
- → A polynomial algorithm for testing diagnosability of discrete-event systems(2001)424 cited
- → Modeling and Control of Logical Discrete Event Systems(1995)380 cited
- → Decentralized failure diagnosis of discrete event systems(2006)296 cited
- → Sensing Methodologies in Agriculture for Soil Moisture and Nutrient Monitoring(2021)193 cited
- → Formulas for calculating supremal controllable and normal sublanguages(1990)175 cited
- → Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications(2004)156 cited