Nonblocking Directed Control of Discrete Event Systems. - Jing Huang 022; Ratnesh Kumar 001 (CDC/ECC, 2005)

Directed control of discrete event systems: optimization based approach. - Jing Huang 022; Ratnesh Kumar 001 (ACC, 2006)

Weakly Fault-Tolerant Supervisory Control of Discrete Event Systems. - Qin Wen; Ratnesh Kumar 001; Jing Huang 022; Haifeng Liu (ACC, 2007)

An Optimal Directed Control Framework for Discrete Event Systems. - Jing Huang 022; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Part A, 2007)

Optimal Nonblocking Directed Control of Discrete Event Systems. - Jing Huang 022; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2008)

A Framework for Fault-Tolerant Control of Discrete Event Systems. - Qin Wen; Ratnesh Kumar 001; Jing Huang 022; Haifeng Liu (IEEE Trans. Autom. Control., 2008)

Directed Control of Discrete Event Systems for Safety and Nonblocking. - Jing Huang 022; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2008)

An energy-efficient wireless sensor network for precision agriculture. - Herman Sahota; Ratnesh Kumar 001; Ahmed E. Kamal 001; Jing Huang 022 (ISCC, 2010)

A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. - Hao Ren 004; Jing Huang 022; Shengbing Jiang; Ratnesh Kumar 001 (ICNSC, 2014)

Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors. - Qin Wen; Ratnesh Kumar 001; Jing Huang 022 (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata. - Hao Ren 004; Jing Huang 022; Shengbing Jiang; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2017)