Faculty Directory
Qi Zhu

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


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

Email Qi Zhu


Qi Zhu's Homepage

IDEAS - Design Automation of Intelligent Systems Lab


Electrical and Computer Engineering

Download CV


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 timing, heterogeneity, security, adaptability, and energy challenges in 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

    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.

    Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li and Qi Zhu, “Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management”, 3rd IEEE International Conference on Smart Computing (SMARTCOMP’17), Hong Kong, China. May, 2017.

    Peng Deng, Qi Zhu, Abhijit Davare, Anastasios Mourikis, Xue Liu and Marco Di Natale, “An Efficient Control-driven Period Optimization Algorithm for Distributed Real-time Systems”, IEEE Transactions on Computers (TC), Vol. 65, No. 12, December, 2016.

    Bowen Zheng, Chung-Wei Lin, Huafeng Yu, Hengyi Liang and Qi Zhu, “CONVINCE: A Cross-Layer Modeling, Exploration and Validation Framework for Next-Generation Connected Vehicles”, 35th IEEE/ACM International Conference on Computer-Aided Design (ICCAD’16), Austin, TX, November, 2016.

    Bowen Zheng, Peng Deng, Rajasekhar Anguluri, Qi Zhu and Fabio Pasqualetti, “Cross-Layer Codesign for Secure Cyber-Physical Systems”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 35, No. 5, May, 2016.

    Tianshu Wei, Qi Zhu and Nanpeng Yu, “Proactive Demand Participation of Smart Buildings in Smart Grid”, IEEE Transactions on Computers (TC), Vol. 65, No. 5, May, 2016.