![]() | Up a level |
Manzanas Lopez, Diego, Althoff, Matthias, Benet, Luis, Chen, Xin, Fan, Jiameng, Forets, Marcelo, Huang, Chao ORCID: 0000-0002-9300-1787, Johnson, Taylor T, Ladner, Tobias, Li, Wenchao et al (show 2 more authors)
(2022)
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
In: Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22).
Wang, Yixuan, Huang, Chao ORCID: 0000-0002-9300-1787, Wang, Zhilu, Xu, Shichao, Wang, Zhaoran and Zhu, Qi
(2021)
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation.
In: 2021 58th ACM/IEEE Design Automation Conference (DAC), 2021-12-5 - 2021-12-9, San Francisco.
Zhu, Qi, Wang, Yingjie, Song, Jiuxu, Jiang, L ORCID: 0000-0001-6531-2791 and Li, Yingliang
(2021)
Coordinated Frequency Regulation of Smart Grid by Demand Side Response and Variable Speed Wind Turbines.
FRONTIERS IN ENERGY RESEARCH, 9.
Wang, Zhilu, Huang, Chao ORCID: 0000-0002-9300-1787, Kim, Hyoseung, Li, Wenchao and Zhu, Qi
(2021)
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 20 (5).
pp. 1-25.
Wang, Zhilu, Liang, Hengyi, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2021)
Cross-Layer Design of Automotive Systems.
IEEE DESIGN & TEST, 38 (5).
pp. 8-16.
Wang, Yixuan, Huang, Chao ORCID: 0000-0002-9300-1787, Wang, Zhaoran, Wang, Zhilu and Zhu, Qi
(2022)
Design-while-verify.
In: DAC '22: 59th ACM/IEEE Design Automation Conference.
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Chen, Xin, Li, Wenchao and Zhu, Qi
(2020)
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 39 (11).
pp. 3323-3335.
Wang, Zhilu, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2022)
Efficient Global Robustness Certification of Neural Networks via
Interleaving Twin-Network Encoding.
In: Design, Automation and Test in Europe Conference, 2022-3-14 - 2022-3-23, ANTWERP, BELGIUM.
Wang, Zhilu, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2022)
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.
In: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022-3-14 - 2022-3-23.
Wang, Yixuan, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2020)
Energy-Efficient Control Adaptation with Safety Guarantees for
Learning-Enabled Cyber-Physical Systems.
Proceedings of the 39th International Conference on Computer-Aided Design, 2020-N.
Wang, Yixuan, Zhan, Simon Sinong, Jiao, Ruochen, Wang, Zhilu, Jin, Wanxin, Yang, Zhuoran, Wang, Zhaoran, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023)
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.
In: International Conference on Machine Learning, 2023-7-23 - 2023-7-29, Hawaii, US.
Chen, Pin-Chun, Liu, Xiangguo, Lin, Chung-Wei, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023)
Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic Regulators.
In: ASPDAC '23: 28th Asia and South Pacific Design Automation Conference.
Huang, Chao ORCID: 0000-0002-9300-1787, Xu, Shichao, Wang, Zhilu, Lan, Shuyue, Li, Wenchao and Zhu, Qi
(2020)
Opportunistic Intermittent Control with Safety Guarantees for Autonomous
Systems.
.
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Wang, Zhilu, Wang, Yixuan, Zhou, Weichao, Li, Jiajun, Chen, Xin, Li, Wenchao and Zhu, Qi
(2021)
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network
Controlled Systems.
[Preprint]
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Chen, Xin, Li, Wenchao and Zhu, Qi
(2022)
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.
.
Liu, Xiangguo, Huang, Chao ORCID: 0000-0002-9300-1787, Wang, Yixuan, Zheng, Bowen and Zhu, Qi
(2022)
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner.
In: 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), 2022-5-4 - 2022-5-6.
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Li, Wenchao, Chen, Xin and Zhu, Qi
(2019)
ReachNN: Reachability Analysis of Neural-Network Controlled Systems.
ACM Transactions on Embedded Computing Systems, 18 (5s).
pp. 1-22.
Zhu, Qi, Jiang, Lin ORCID: 0000-0001-6531-2791, Yao, Wei, Zhang, Chuan-Ke and Luo, Cheng
(2017)
Robust Load Frequency Control with Dynamic Demand Response for Deregulated Power Systems Considering Communication Delays.
ELECTRIC POWER COMPONENTS AND SYSTEMS, 45 (1).
pp. 75-87.
Chang, Kevin Kai-Chun, Liu, Xiangguo, Lin, Chung-Wei, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023)
A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance.
In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023-4-17 - 2023-4-19.
Li, Fu-Dong, Zhu, Qi, Xu, Hao-Tian and Jiang, Lin ORCID: 0000-0001-6531-2791
(2017)
Stability Analysis of Delayed Genetic Regulatory Networks via a Relaxed Double Integral Inequality.
MATHEMATICAL PROBLEMS IN ENGINEERING, 2017.
pp. 1-16.
Hsieh, Yi-Ting, Chang, Tzu-Tao, Tsai, Chen-Jun, Wu, Shih-Lun, Bai, Ching-Yuan, Chang, Kai-Chieh, Lin, Chung-Wei, Kang, Eunsuk, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023)
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints.
ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 7 (3).
pp. 1-28.