Grants per year
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
- 5 Active
Building Adaptive, Dependable, and Secure Systems with a Cross-Layer Weakly-Hard Paradigm
9/30/19 → 9/29/22
Project: Research project
CPS: Synergy: Securing the Timing of Cyber-Physical Systems
2/1/18 → 9/30/20
Project: Research project
CPS: Breakthrough: Collaborative Research: A Framework for Extensibility-Driven Design of Cyber-Physical Systems
1/2/18 → 8/31/20
Project: Research project
CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems
1/1/18 → 12/31/20
Project: Research project
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 journal › Article
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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution
4
Scopus
citations