![]() | Up a level |
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.