Browse by People

Collapse authors list.
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) , Schilling, Christian and Zhu, Qi (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.