Jing Huang

Affiliations:

Iowa State University, Department of Electrical and Computer Engineering, Ames, IA, USA

According to our database¹, Jing Huang authored at least 7 papers between 2007 and 2017.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2017

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.

[BibT_eX]

[DOI]

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

2014

Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors.

[BibT_eX]

[DOI]

Qin Wen

Ratnesh Kumar

Jing Huang

IEEE Trans. Syst. Man Cybern. Syst., 2014

A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

2010

An energy-efficient wireless sensor network for precision agriculture.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

2008

A Framework for Fault-Tolerant Control of Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

Optimal Nonblocking Directed Control of Discrete Event Systems.

[BibT_eX]

[DOI]

Jing Huang

Ratnesh Kumar

IEEE Trans. Autom. Control., 2008

2007

An Optimal Directed Control Framework for Discrete Event Systems.

[BibT_eX]

[DOI]

Jing Huang

Ratnesh Kumar

IEEE Trans. Syst. Man Cybern. Part A, 2007

Jing Huang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...