• 1124 Citations
20032022

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

My research interests include design automation of intelligent cyber-physical systems and Internet-of-Things applications, cyber-physical security, energy-efficient CPS, and system-on-chip design.

Recent work in my group has been focusing on system level synthesis, optimization and modeling methodologies for intelligent cyber-physical systems. We are particularly interested in addressing timing, heterogeneity, security and energy challenges in CPS design and operation.

Education/Academic qualification

Electrical Engineering & Computer Science, PhD, University of California, Berkeley

… → 2008

Computer Science, BE, Tsinghua University

… → 2003

Fingerprint Dive into the research topics where Qi Zhu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Grants

  • Research Output

    Design and analysis of delay-tolerant intelligent intersection management

    Zheng, B., Lin, C. W., Shiraishi, S. & Zhu, Q., Nov 2019, In : ACM Transactions on Cyber-Physical Systems. 4, 1, A3.

    Research output: Contribution to journalArticle

  • 1 Scopus citations

    Design Automation for Intelligent Automotive Systems

    Lan, S., Huang, C., Wang, Z., Liang, H., Su, W. & Zhu, Q., Jan 23 2019, International Test Conference 2018, ITC 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8624723. (Proceedings - International Test Conference; vol. 2018-October).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Exploring weakly-hard paradigm for networked systems

    Huang, C., Wardega, K., Li, W. & Zhu, Q., Apr 15 2019, DESTION 2019 - Proceedings of the Workshop on Design Automation for CPS and IoT. Ramachandran, G. S. & Ortiz, J. (eds.). Association for Computing Machinery, Inc, p. 51-59 9 p. (DESTION 2019 - Proceedings of the Workshop on Design Automation for CPS and IoT).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 3 Scopus citations

    Formal verification of weakly-hard systems

    Huang, C., Li, W. & Zhu, Q., Apr 16 2019, HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, p. 197-207 11 p. (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 3 Scopus citations

    Job-class-level fixed priority scheduling of weakly-hard real-time systems

    Choi, H., Kim, H. & Zhu, Q., Apr 1 2019, Proceedings - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019. Brandenburg, B. B. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 241-253 13 p. 8743299. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2019-April).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 4 Scopus citations