Concepedia

Ratnesh Kumar

RK

174

Publications

6.8K

Citations

46

H-Index

1990

Active since

Affiliations

Iowa State University(Current)

University of Kentucky

The University of Texas at Austin

The University of Osaka

University of Maryland, College Park

Ratnesh Kumar is an author at Iowa State University specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationProcess ControlVerificationAutomated ReasoningAutomationReliability Engineering

Publications per year

1990–2024

174

Publications

174

A polynomial algorithm for testing diagnosability of discrete-event systems

Shengbing Jiang, Z. Huang, V. Chandra et al. · IEEE Transactions on Automatic Control · 2001 · 424 citations

Engineering, Verification, Diagnosis +18

Decentralized failure diagnosis of discrete event systems

Wenbin Qiu, Ratnesh Kumar · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2006 · 296 citations

Multiple Diagnosers, Bounded Delay, Engineering +21

Sensing Methodologies in Agriculture for Soil Moisture and Nutrient Monitoring

Bhuwan Kashyap, Ratnesh Kumar · IEEE Access · 2021 · 188 citations · Full text

Precision Agriculture, Environmental Monitoring, Engineering +21

Formulas for calculating supremal controllable and normal sublanguages

Robert Brandt, Vijay K. Garg, Ratnesh Kumar et al. · Systems & Control Letters · 1990 · 173 citations

Control Method, Syntax, Language Documentation +7

Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications

Shan Jiang, Ratnesh Kumar · IEEE Transactions on Automatic Control · 2004 · 155 citations

Engineering, Verification, Model Checking +21

Rows per page

1–5 of 174