Chao Huang
Chao Huang
Norhwestern University, USA
Verified email at - Homepage
Cited by
Cited by
Probabilistic safety verification of stochastic hybrid systems using barrier certificates
C Huang, X Chen, W Lin, Z Yang, X Li
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
A linear programming relaxation based approach for generating barrier certificates of hybrid systems
Z Yang, C Huang, X Chen, W Lin, Z Liu
International Symposium on Formal Methods, 721-738, 2016
ReachNN: Reachability analysis of neural-network controlled systems
C Huang, J Fan, W Li, X Chen, Q Zhu
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-22, 2019
Uppaal stratego for intelligent traffic lights
AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ...
12th ITS European Congress, 2017
Formal verification of weakly-hard systems
C Huang, W Li, Q Zhu
Proceedings of the 22nd ACM International Conference on Hybrid Systemsá…, 2019
Exploring weakly-hard paradigm for networked systems
C Huang, K Wardega, W Li, Q Zhu
Proceedings of the Workshop on Design Automation for CPS and IoT, 51-59, 2019
Hierarchical model predictive control for multi-robot navigation
C Huang, X Chen, Y Zhang, S Qin, Y Zeng, X Li
Design Automation for Intelligent Automotive Systems
S Lan, C Huang, Z Wang, H Liang, W Su, Q Zhu
IEEE International Test Conference, 1-10, 2018
Switched linear multi-robot navigation using hierarchical model predictive control
C Huang, X Chen, Y Zhang, S Qin, Y Zeng, X Li
International Joint Conference on Artificial Intelligence 2017, 2017
Cross-Layer Design of Automotive Systems
Z Wang, H Liang, C Huang, Q Zhu
arXiv preprint arXiv:2005.11842, 2020
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems
C Huang, S Xu, Z Wang, S Lan, W Li, Q Zhu
arXiv preprint arXiv:2005.03726, 2020
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems
Y Wang, C Huang, Q Zhu
arXiv preprint arXiv:2008.06162, 2020
SAW: A Tool for Safety Analysis of Weakly-hard Systems
C Huang, KC Chang, CW Lin, Q Zhu
arXiv preprint arXiv:2005.07159, 2020
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC
C Huang, X Chen, E Tang, M He, L Bu, S Qin, Y Zeng
2020 International Conference on Robotics and Automation, 2020
Towards verification-aware knowledge distillation for neural-network controlled systems
J Fan, C Huang, W Li, X Chen, Q Zhu
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019
Model-based Control and Verification of Autonomous Vehicle Systems
C Huang
IEEE Technical Committee on Cyber-Physical Systems (TC-CPS), 18-20, 2018
The system can't perform the operation now. Try again later.
Articles 1–16