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, 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, robotics, smart buildings and infrastructures, and IoT.


Selected Publications

    Lixu Wang, Shichao Xu, Xiao Wang and Qi Zhu, “Addressing Class Imbalance in Federated Learning”, 35th 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”, 24th ACM/IEEE Design, Automation and Test in Europe Conference (DATE’21), Virtual Conference, February, 2021.

    Debayan Roy, Sumana Ghosh, Qi Zhu, Marco Caccamo and Samarjit Chakraborty, “GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources”, 41st IEEE Real-Time Systems Symposium (RTSS’20), Virtual Conference, December, 2020.

    Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O’Neill and Qi Zhu, “One for Many: Transfer Learning for Building HVAC Control”, 7th 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”, 39th 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”, 39th 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”, 39th 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”, 18th 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”, 20th 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”, 32nd 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”, 57th ACM/IEEE Design Automation Conference (DAC’20), Virtual Conference, July, 2020.

    Shichao Xu, Shuyue Lan and Qi Zhu, “MaskPlus: Improving Mask Generation for Instance Segmentation”, IEEE Winter Conference on Applications of Computer Vision (WACV’20), Aspen, CO, March, 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”, 37th 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”, 38th 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”, 19th 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”, 22nd 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”, 25th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS’19), Montreal, Canada, April, 2019.

    Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Cristina Nita-Rotaru and Qi Zhu, “Network and System Level Security in Connected Vehicle Applications”, 37th IEEE/ACM International Conference on Computer-Aided Design (ICCAD’18), San Diego, CA, November, 2018.

    Tianshu Wei, Xiaoming Chen, Xin Li and Qi Zhu, “Model-based and Data-driven Approaches for Building Automation and Control”, 37th IEEE/ACM International Conference on Computer-Aided Design (ICCAD’18), San Diego, CA, November, 2018.

    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”, 30th 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”, 54th IEEE/ACM Design Automation Conference (DAC’17), Austin, TX, June, 2017.