Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 12.


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: Design Automation Conference, 2021-12-07 - 2021-12-10, 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).


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). 8 - 16.


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). 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. .


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.


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, 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, Li, Wenchao, Chen, Xin and Zhu, Qi
(2019) ReachNN: Reachability Analysis of Neural-Network Controlled Systems.


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). 75 - 87.


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.

This list was generated on Thu Aug 4 07:19:43 2022 BST.