• 1282 Citations
20032021

Research output per year

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

Research Output

Article

An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems

Deng, P., Zhu, Q., Davare, A., Mourikis, A., Liu, X. & Di Natale, M., Dec 1 2016, In : IEEE Transactions on Computers. 65, 12, p. 3552-3566 15 p., 7457616.

Research output: Contribution to journalArticle

14 Scopus citations

An optimal energy co-scheduling framework for smart buildings

Cui, T., Chen, S., Wang, Y., Zhu, Q., Nazarian, S. & Pedram, M., Jun 1 2017, In : Integration, the VLSI Journal. 58, p. 528-537 10 p.

Research output: Contribution to journalArticle

4 Scopus citations

Automotive Cyber-Physical Systems: A Tutorial Introduction

Chakraborty, S., Al Faruque, M. A., Chang, W., Goswami, D., Wolf, M. & Zhu, Q., Aug 2016, In : IEEE Design and Test. 33, 4, p. 92-108 17 p., 7479578.

Research output: Contribution to journalArticle

32 Scopus citations

Codesign Methodologies and Tools for Cyber-Physical Systems

Zhu, Q. & Sangiovanni-Vincentelli, A., Sep 2018, In : Proceedings of the IEEE. 106, 9, p. 1484-1500 17 p., 8466985.

Research output: Contribution to journalArticle

8 Scopus citations

Cross-Layer Codesign for Secure Cyber-Physical Systems

Zheng, B., Deng, P., Anguluri, R., Zhu, Q. & Pasqualetti, F., May 2016, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 35, 5, p. 699-711 13 p., 7401009.

Research output: Contribution to journalArticle

38 Scopus citations

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 and Operation of Secure Cyber-Physical Systems

Pasqualetti, F. & Zhu, Q., Mar 1 2015, In : IEEE Embedded Systems Letters. 7, 1, p. 3-6 4 p., 6945804.

Research output: Contribution to journalArticle

19 Scopus citations

Design Automation for Cyber-Physical Systems [Scanning the Issue]

Zhu, Q., Sangiovanni-Vincentelli, A., Hu, S. & Li, X., Sep 2018, In : Proceedings of the IEEE. 106, 9, p. 1479-1483 5 p., 8466994.

Research output: Contribution to journalArticle

6 Scopus citations

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities

Seshia, S. A., Hu, S., Li, W. & Zhu, Q., Sep 2017, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36, 9, p. 1421-1434 14 p., 7778207.

Research output: Contribution to journalArticle

52 Scopus citations

Development of building automation and control systems

Yang, Y., Zhu, Q., Maasoumy, M. & Sangiovanni-Vincentelli, A., 2012, In : IEEE Design and Test of Computers. 29, 4, p. 45-55 11 p., 6204325.

Research output: Contribution to journalArticle

14 Scopus citations

Efficient 2-step heuristics for rectilinear Steiner minimal tree construction among obstacles

Yang, Y., Jing, T., Hong, X., Zhu, Q. & Wang, Y., Feb 2005, In : Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics. 17, 2, p. 223-229 7 p.

Research output: Contribution to journalArticle

METROII: A design environment for cyber-physical systems

Davare, A., Densmore, D., Guo, L., Passerone, R., Sangiovanni-Vincentelli, A. L., Simalatsar, A. & Zhu, Q., Jan 1 2013, In : Transactions on Embedded Computing Systems. 12, SUPPL1, 49.

Research output: Contribution to journalArticle

50 Scopus citations

Minimizing stack and communication memory usage in real-time embedded applications

Zeng, H., Di Natale, M. & Zhu, Q., Oct 6 2014, In : ACM Transactions on Embedded Computing Systems. 13, 149.

Research output: Contribution to journalArticle

20 Scopus citations

Optimization of task allocation and priority assignment in hard real-time distributed systems

Zhu, Q., Zeng, H., Zheng, W., Di Natale, M. & Sangiovanni-Vincentelli, A., Dec 2012, In : Transactions on Embedded Computing Systems. 11, 4, 85.

Research output: Contribution to journalArticle

57 Scopus citations

Optimized implementation of synchronous models on industrial LTTA systems

Di Natale, M., Zhu, Q., Sangiovanni-Vincentelli, A. & Tripakis, S., Jan 1 2014, In : Journal of Systems Architecture. 60, 4, p. 315-328 14 p.

Research output: Contribution to journalArticle

4 Scopus citations

Optimizing the software architecture for extensibility in hard real-time distributed systems

Zhu, Q., Yang, Y., Natale, M., Scholte, E. & Sangiovanni-Vincentelli, A., Nov 2010, In : IEEE Transactions on Industrial Informatics. 6, 4, p. 621-636 16 p., 5535223.

Research output: Contribution to journalArticle

44 Scopus citations

Package Design Optimization for Intel SoC Xeon-D

Zhu, Q., Venkataraman, S., Ye, C., Chandrasekhar, A. & Ruiz, C. M., Apr 2018, In : IEEE Transactions on Components, Packaging and Manufacturing Technology. 8, 4, p. 531-537 7 p.

Research output: Contribution to journalArticle

1 Scopus citations

Partitioning and selection of data consistency mechanisms for multicore real-time systems

Al-Bayati, Z., Sun, Y., Zeng, H., Di Natale, M., Zhu, Q. & Meyer, B. H., 2019, In : ACM Transactions on Embedded Computing Systems. 18, 4, 35.

Research output: Contribution to journalArticle

Peak-aware online economic dispatching for microgrids

Zhang, Y., Hajiesmaili, M. H., Cai, S., Chen, M. & Zhu, Q., Jan 2018, In : IEEE Transactions on Smart Grid. 9, 1, p. 323-335 13 p.

Research output: Contribution to journalArticle

18 Scopus citations

Proactive Demand Participation of Smart Buildings in Smart Grid

Wei, T., Zhu, Q. & Yu, N., May 1 2016, In : IEEE Transactions on Computers. 65, 5, p. 1392-1406 15 p., 7308024.

Research output: Contribution to journalArticle

30 Scopus citations

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

Bao, Y., Chen, M., Zhu, Q., Wei, T., Mallet, F. & Zhou, T., Dec 2017, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36, 12, p. 1989-2002 14 p., 7875425.

Research output: Contribution to journalArticle

8 Scopus citations

ReachNN: Reachability analysis of neural-network controlled systems

Huang, C., Fan, J., Li, W., Chen, X. & Zhu, Q., Oct 2019, In : ACM Transactions on Embedded Computing Systems. 18, 5s, a106.

Research output: Contribution to journalArticle

3 Scopus citations

Security-aware design methodology and optimization for automotive systems

Lin, C. W., Zheng, B., Zhu, Q. & Sangiovanni-Vincentelli, A., Nov 2015, In : ACM Transactions on Design Automation of Electronic Systems. 21, 1, 18.

Research output: Contribution to journalArticle

25 Scopus citations

Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems

Lin, C. W., Zhu, Q. & Sangiovanni-Vincentelli, A., Mar 1 2015, In : IEEE Embedded Systems Letters. 7, 1, p. 11-14 4 p., 6891169.

Research output: Contribution to journalArticle

20 Scopus citations

Spanning graph-based nonrectilinear steiner tree algorithms

Zhu, Q., Zhou, H., Jing, T., Hong, X. L. & Yang, Y., Jul 1 2005, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 24, 7, p. 1066-1075 10 p.

Research output: Contribution to journalArticle

26 Scopus citations

Sustainability-oriented evaluation and optimization for MPSoC task allocation and scheduling under thermal and energy variations

Chen, M., Zhang, X., Gu, H., Wei, T. & Zhu, Q., Apr 1 2018, In : IEEE Transactions on Sustainable Computing. 3, 2, p. 84-97 14 p.

Research output: Contribution to journalArticle

Open Access
1 Scopus citations

信息物理系统软件设计自动化专题前言

Translated title of the contribution: PrefaceBu, L., Chen, M. S., Zhu, Q. & Liu, C., Jun 1 2020, In : Ruan Jian Xue Bao/Journal of Software. 31, 6, p. 1585-1586 2 p.

Research output: Contribution to journalArticle

Chapter

Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems

Zheng, B., Liang, H., Wang, Z. & Zhu, Q., 2019, Safe, Autonomous and Intelligent Vehicles. Yu, H., Li, X., Murray, R. M., Ramesh, S. & Tomlin, C. J. (eds.). Springer International Publishing, p. 163-186 24 p. (Unmanned System Technologies).

Research output: Chapter in Book/Report/Conference proceedingChapter

SAT sweeping with local observability don't-cares

Zhu, Q., Kitchen, N. B., Kuehlmann, A. & Sangiovanni-Vincentelli, A., Dec 1 2011, Advanced Techniques in Logic Synthesis, Optimizations and Applications. Springer New York, p. 129-148 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Conference article

Co-scheduling of HVAC control, EV charging and battery usage for building energy efficiency

Wei, T., Zhu, Q. & Maasoumy, M., Jan 1 2015, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. 2015-January, January, p. 191-196 6 p., 7001351.

Research output: Contribution to journalConference article

17 Scopus citations

Lifetime optimization for real-time embedded systems considering electromigration effects

Kim, T., Zheng, B., Chen, H. B., Zhu, Q., Sukharev, V. & Tan, S. X. D., Jan 1 2015, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. 2015-January, January, p. 434-439 6 p., 7001388.

Research output: Contribution to journalConference article

6 Scopus citations

Security-Aware mapping for TDMA-based real-Time distributed systems

Lin, C. W., Zhu, Q. & Sangiovanni-Vincentelli, A., Jan 5 2015, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. 2015-January, January, p. 24-31 8 p., 7001325.

Research output: Contribution to journalConference article

19 Scopus citations
Conference contribution

Adaptive algorithm selection, with applications in pedestrian detection

Zhang, S., Zhu, Q. & Roy-Chowdhury, A., Aug 3 2016, 2016 IEEE International Conference on Image Processing, ICIP 2016 - Proceedings. IEEE Computer Society, Vol. 2016-August. p. 3768-3772 5 p. 7533064

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

4 Scopus citations

Addressing extensibility and fault tolerance in CAN-based automotive systems

Liang, H., Wang, Z., Zheng, B. & Zhu, Q., Oct 19 2017, 2017 11th IEEE/ACM International Symposium on Networks-on-Chip, NOCS 2017. Association for Computing Machinery, Inc, 10. (2017 11th IEEE/ACM International Symposium on Networks-on-Chip, NOCS 2017).

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

2 Scopus citations

A Deep Reinforcement Learning Framework for Optimizing Fuel Economy of Hybrid Electric Vehicles

Zhao, P., Wang, Y., Chang, N., Zhu, Q. & Lin, X., 2018, Proceedings of the 23rd Asia and South Pacific Design Automation Conference (ASP-DAC’18). p. 196-202 7 p.

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

13 Scopus citations

A design flow for building automation and control systems

Yang, Y., Pinto, A., Sangiovanni-Vincentelli, A. & Zhu, Q., 2010, Proceedings - 31st IEEE Real-Time Systems Symposium, RTSS 2010. p. 105-115 11 p. 5702222. (Proceedings - Real-Time Systems Symposium).

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

9 Scopus citations

A Formal Approach for Optimizing Mapping in System Level Design

Zhu, Q., Davare, A. & Sangiovanni-Vincentelli, A., 2008, TECHCON.

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

A model-Based synthesis flow for automotive CPS

Deng, P., Zhu, Q., Cremona, F., Natale, M. D. & Zeng, H., Apr 14 2015, ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015. Association for Computing Machinery, Inc, p. 198-207 10 p. (ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015).

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

14 Scopus citations

Analysis and optimization of soft error tolerance strategies for real-time systems

Zheng, B., Gao, Y., Zhu, Q. & Gupta, S., Nov 17 2015, 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015. Institute of Electrical and Electronics Engineers Inc., p. 55-64 10 p. 7331368. (2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015).

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

10 Scopus citations

Analysis of production data manipulation attacks in petroleum cyber-physical systems

Chen, X., Zhou, Y., Zhou, H., Wan, C., Zhu, Q., Li, W. & Hu, S., Nov 7 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016. Institute of Electrical and Electronics Engineers Inc., Vol. 07-10-November-2016. 2980091

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

5 Scopus citations

Battery management and application for energy-efficient

Wei, T., Kim, T., Park, S., Zhu, Q., Tan, S. X. D., Chang, N., Ula, S. & Maasoumy, M., Jan 1 2014, DAC 2014 - 51st Design Automation Conference, Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 2596670. (Proceedings - Design Automation Conference).

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

27 Scopus citations

Buffer replacement algorithm for merge-based multicast video-on-demand system

Zhu, Q., Shao, L., Yan, R., Zhang, J. & Xie, D., Jan 1 2003, 10th International Conference on Telecommunications, ICT 2003. Institute of Electrical and Electronics Engineers Inc., p. 1448-1451 4 p. 1191647. (10th International Conference on Telecommunications, ICT 2003; vol. 2).

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

1 Scopus citations

Co-design of control algorithm and embedded platform for building HVAC systems

Maasoumy, M., Zhu, Q., Li, C., Meggers, F. & Sangiovanni-Vincentelli, A., Oct 15 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 61-70 10 p. 6604000. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

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

19 Scopus citations

Co-design of control algorithm and embedded platform for building HVAC systems

Maasoumy, M., Zhu, Q., Li, C., Meggers, F. & Sangiovanni-Vincentelli, A., Sep 2 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 61-70 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

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

9 Scopus citations

CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles

Zheng, B., Lin, C. W., Yu, H., Liang, H. & Zhu, Q., Nov 7 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016. Institute of Electrical and Electronics Engineers Inc., 2980078. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 07-10-November-2016).

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

12 Scopus citations

Co-scheduling of datacenter and HVAC loads in mixed-use buildings

Wei, T., Islam, M. A., Ren, S. & Zhu, Q., Apr 4 2017, 2016 7th International Green and Sustainable Computing Conference, IGSC 2016. Institute of Electrical and Electronics Engineers Inc., 7892609. (2016 7th International Green and Sustainable Computing Conference, IGSC 2016).

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

4 Scopus citations

Co-scheduling of flexible energy loads in building clusters

Wei, T. & Zhu, Q., Jul 29 2016, ISCAS 2016 - IEEE International Symposium on Circuits and Systems. Institute of Electrical and Electronics Engineers Inc., p. 958-961 4 p. 7527401. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2016-July).

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

2 Scopus citations

Deep reinforcement learning: Framework, applications, and embedded implementations: Invited paper

Li, H., Wei, T., Ren, A., Zhu, Q. & Wang, Y., Dec 13 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., p. 847-854 8 p. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2017-November).

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

16 Scopus citations

Deep Reinforcement Learning for Building HVAC Control

Wei, T., Wang, Y. & Zhu, Q., Jun 18 2017, Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017. Institute of Electrical and Electronics Engineers Inc., 22. (Proceedings - Design Automation Conference; vol. Part 128280).

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

60 Scopus citations

Definition of task allocation and priority assignment in hard real-time distributed systems

Zheng, W., Zhu, Q., Di Natale, M. & Vincentelli, A. S., Dec 1 2007, Proceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007. p. 161-170 10 p. 4408301

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

46 Scopus citations