Faculty Directory
Qi Zhu

Associate Professor of Electrical and Computer Engineering and (by courtesy) Computer Science

Contact

2145 Sheridan Road
Tech Room L454
Evanston, IL 60208-3109

Email Qi Zhu

Website

Qi Zhu's Homepage

IDEAS - Design Automation of Intelligent Systems Lab

Departments

Electrical and Computer Engineering

Download CV

Education

Ph.D. Electrical Engineering & Computer Science, University of California, Berkeley

B.E. Computer Science, Tsinghua University, Beijing Shi, China

Research Interests

My research interests include design automation for intelligent cyber-physical systems (CPS) and Internet-of-Things (IoT) applications, cyber-physical security, safe and robust machine learning for CPS/IoT, energy-efficient CPS, and system-on-chip design.

Recent work in my group has been focusing on system-level synthesis, optimization, verification, and modeling methodologies for intelligent cyber-physical systems. We are particularly interested in addressing safety, security, adaptability, resiliency, and energy challenges in learning-enabled CPS design and operation. We work on applications in the domains of connected and autonomous vehicles, smart buildings and infrastructures, and IoT.

Selected Publications

Shuyue Lan, Zhilu Wang, John Mamish, Josiah Hester and Qi Zhu, “AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors”, 27^th Asia and South Pacific Design Automation Conference (ASP-DAC’22), Virtual Conference, January, 2022.

Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang and Qi Zhu, “Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation”, 58^th ACM/IEEE Design Automation Conference (DAC’21), Virtual Conference, December, 2021.

Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O’Neill and Qi Zhu, “Learning-based Framework for Sensor Fault-tolerant Building HVAC Control with Model-assisted Learning”, 8^th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation (BuildSys’21), Virtual Conference, November, 2021.

Shichao Xu, Lixu Wang, Yixuan Wang and Qi Zhu, “Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator”, IEEE/CVF International Conference on Computer Vision (ICCV’21), Virtual Conference, October, 2021.

Zhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li and Qi Zhu, “Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping”, 21^st ACM International Conference on Embedded Software (EMSOFT’21), Virtual Conference, October, 2021.

Ruochen Jiao, Hengyi Liang, Takami Sato, Junjie Shen, Qi Alfred Chen and Qi Zhu, “End-to-end Uncertainty-based Mitigation of Adversarial Attacks to Automated Lane Centering”, 32^nd IEEE Intelligent Vehicles Symposium (IV’21), Virtual Conference, July, 2021.

Xiangguo Liu, Baiting Luo, Ahmed Abdo, Nael Abu-Ghazaleh and Qi Zhu, “Securing Connected Vehicle Applications with an Efficient Dual Cyber-Physical Blockchain Framework”, 32^nd IEEE Intelligent Vehicles Symposium (IV’21), Virtual Conference, July, 2021.

Lixu Wang, Shichao Xu, Xiao Wang and Qi Zhu, “Addressing Class Imbalance in Federated Learning”, 35^th AAAI Conference on Artificial Intelligence (AAAI’21), Virtual Conference, February, 2021.

Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty and Qi Zhu, “Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems”, 24^th ACM/IEEE Design, Automation and Test in Europe Conference (DATE’21), Virtual Conference, February, 2021.

Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O’Neill and Qi Zhu, “One for Many: Transfer Learning for Building HVAC Control”, 7^th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys’20), Virtual Conference, November, 2020.

Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan and Hyunjong Choi, “Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems”, 39^th ACM/IEEE International Conference on Computer-Aided Design (ICCAD’20), Virtual Conference, November, 2020.

Yixuan Wang, Chao Huang and Qi Zhu, “Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems”, 39^th ACM/IEEE International Conference on Computer-Aided Design (ICCAD’20), Virtual Conference, November, 2020. (Best Paper Award Candidate)

Hengyi Liang, Zhilu Wang, Ruochen Jiao and Qi Zhu, “Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees”, 39^th ACM/IEEE International Conference on Computer-Aided Design (ICCAD’20), Virtual Conference, November, 2020.

Shuyue Lan, Zhilu Wang, Amit K. Roy-Chowdhury, Ermin Wei and Qi Zhu, “Distributed Multi-agent Video Fast-forwarding”, ACM Multimedia Conference (MM’20). Virtual Conference. October, 2020. (Oral Paper)

Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li and Qi Zhu, “ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems”, 18^th International Symposium on Automated Technology for Verification and Analysis (ATVA’20), Virtual Conference, October, 2020.

Xiangguo Liu, Neda Masoud and Qi Zhu, “Impact of Sharing Driving Attitude Information: A Quantitative Study on Lane Changing”, IEEE Intelligent Vehicles Symposium (IV’20), Virtual Conference, October, 2020.

Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li and Qi Zhu, “Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks”, 20^th ACM International Conference on Embedded Software (EMSOFT’20), Virtual Conference, September, 2020.

Chao Huang, Kai-Chieh Chang, Chung-Wei Lin and Qi Zhu, “SAW: A Tool for Safety Analysis of Weakly-hard Systems”, 32^nd International Conference on Computer-Aided Verification (CAV’20), Virtual Conference, July, 2020.

Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li and Qi Zhu, “Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems”, 57^th ACM/IEEE Design Automation Conference (DAC’20), Virtual Conference, July, 2020.

Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty and Qi Zhu, “Security-driven Codesign with Weakly-hard Constraints for Real-time Embedded Systems”, 37^th IEEE International Conference on Computer Design (ICCD’19), Abu Dhabi, United Arab Emirates, November, 2019.

Bowen Zheng, Chung-Wei Lin, Shinichi Shiraishi and Qi Zhu, “Design and Analysis of Delay-Tolerant Intelligent Intersection Management”, ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 4, No. 1, November, 2019.

Tianshu Wei, Shaolei Ren and Qi Zhu, “Deep Reinforcement Learning for Joint Datacenter and HVAC Load Control in Distributed Mixed-Use Buildings”, IEEE Transactions on Sustainable Computing, 2019.

Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen and Qi Zhu, “Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems”, 38^th ACM/IEEE International Conference on Computer-Aided Design (ICCAD’19), Westminster, CO, November, 2019.

Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen and Qi Zhu, “ReachNN: Reachability Analysis of Neural-Network Controlled Systems”, 19^th ACM International Conference on Embedded Software (EMSOFT’19), New York City, October, 2019.

Chao Huang, Wenchao Li and Qi Zhu, “Formal Verification of Weakly-Hard Systems”, 22^nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC’19), Montreal, Canada, April, 2019.

Hyunjong Choi, Hyoseung Kim and Qi Zhu, “Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems”, 25^th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS’19), Montreal, Canada, April, 2019.

Qi Zhu and Alberto Sangiovanni-Vincentelli, “Codesign Methodologies and Tools for Cyber–Physical Systems”, Proceedings of the IEEE, Vol. 106, No. 9, September, 2018.

Shuyue Lan, Rameswar Panda, Qi Zhu and Amit K. Roy-Chowdhury, “FFNet: Video Fast-Forwarding via Reinforcement Learning”, 30^th IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR’18), Salt Lake City, Utah, June, 2018.

Sanjit Seshia, Shiyan Hu, Wenchao Li and Qi Zhu, “Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 36, No. 9, September, 2017. (Keynote Paper)

Tianshu Wei, Yanzhi Wang and Qi Zhu, “Deep Reinforcement Learning for HVAC Control in Smart Buildings”, 54^th IEEE/ACM Design Automation Conference (DAC’17), Austin, TX, June, 2017.