Jing Huang

12 papers C 4Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2017 J jnl
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.
IET Cyper-Phys. Syst.: Theory & Appl.
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
2014 — conf
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation.
ICNSC
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
2014 J jnl
Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors.
IEEE Trans. Syst. Man Cybern. Syst.
Qin Wen, Ratnesh Kumar, Jing Huang
2010 C conf
An energy-efficient wireless sensor network for precision agriculture.
ISCC
Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal, Jing Huang
2008 J jnl
A Framework for Fault-Tolerant Control of Discrete Event Systems.
IEEE Trans. Autom. Control.
Qin Wen, Ratnesh Kumar, Jing Huang, Haifeng Liu
2008 J jnl
Directed Control of Discrete Event Systems for Safety and Nonblocking.
IEEE Trans Autom. Sci. Eng.
Jing Huang, Ratnesh Kumar
2008 J jnl
Optimal Nonblocking Directed Control of Discrete Event Systems.
IEEE Trans. Autom. Control.
Jing Huang, Ratnesh Kumar
2007 J jnl
An Optimal Directed Control Framework for Discrete Event Systems.
IEEE Trans. Syst. Man Cybern. Part A
Jing Huang, Ratnesh Kumar
2007 C conf
Optimal Nonblocking Directed Control of Discrete Event Systems.
ACC
Jing Huang, Ratnesh Kumar
2007 C conf
Weakly Fault-Tolerant Supervisory Control of Discrete Event Systems.
ACC
Qin Wen, Ratnesh Kumar, Jing Huang, Haifeng Liu
2006 C conf
Directed control of discrete event systems: optimization based approach.
ACC
Jing Huang, Ratnesh Kumar
2005 — conf
Nonblocking Directed Control of Discrete Event Systems.
CDC/ECC
Jing Huang, Ratnesh Kumar