Jing Huang

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Fault Tolerant Control

Formal Specification

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

IET Cyper-Phys. Syst.: Theory & Appl.

Publications

Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata. IET Cyper-Phys. Syst.: Theory & Appl. 2 (2) (2017)
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. ICNSC (2014)
Qin Wen, Ratnesh Kumar, Jing Huang
Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors. IEEE Trans. Syst. Man Cybern. Syst. 44 (8) (2014)
Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal, Jing Huang
An energy-efficient wireless sensor network for precision agriculture. ISCC (2010)
Qin Wen, Ratnesh Kumar, Jing Huang, Haifeng Liu
A Framework for Fault-Tolerant Control of Discrete Event Systems. IEEE Trans. Autom. Control. 53 (8) (2008)
Jing Huang, Ratnesh Kumar
Optimal Nonblocking Directed Control of Discrete Event Systems. IEEE Trans. Autom. Control. 53 (7) (2008)
Jing Huang, Ratnesh Kumar
An Optimal Directed Control Framework for Discrete Event Systems. IEEE Trans. Syst. Man Cybern. Part A 37 (5) (2007)