Jing Huang
Affiliations:- Iowa State University, Department of Electrical and Computer Engineering, Ames, IA, USA
According to our database1,
Jing Huang
authored at least 11 papers
between 2005 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
0
1
2
3
4
1
1
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2017
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.
IET Cyper-Phys. Syst.: Theory & Appl., 2017
2014
Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors.
IEEE Trans. Syst. Man Cybern. Syst., 2014
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
2010
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010
2008
IEEE Trans Autom. Sci. Eng., 2008
IEEE Trans. Autom. Control., 2008
IEEE Trans. Autom. Control., 2008
2007
IEEE Trans. Syst. Man Cybern. Part A, 2007
Proceedings of the American Control Conference, 2007
2006
Proceedings of the American Control Conference, 2006
2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005