Biblio

Filters: Author is Q. Zhu  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
B. Zheng, C. W. Lin, H. Yu, H. Liang, Q. Zhu.  2016.  CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles. 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). :1-8.
B. Zheng, C. W. Lin, H. Liang, S. Shiraishi, W. Li, Q. Zhu.  2017.  Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. 2017 IEEE International Conference on Smart Computing (SMARTCOMP). :1–8.
B. Zheng, M. O. Sayin, C. W. Lin, S. Shiraishi, Q. Zhu.  2017.  Timing and Security Analysis Framework for VANET-based Intelligent Transportation Systems. 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
B. Zheng, C. W. Lin, S. Shiraishi, Q. Zhu.  Submitted.  Design and Analysis of Delay-Aware Intelligent Intersection Management. submitted to the ACM Transactions on Cyber-Physical Systems (TCPS).
B. Zheng, H. Liang, Q. Zhu, H. Yu, C. W. Lin.  2016.  Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. 2016 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). :53-58.
B. Zheng, P. Deng, R. Anguluri, Q. Zhu, F. Pasqualetti.  2016.  Cross-Layer Codesign for Secure Cyber-Physical Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 35:699-711.
B. Zheng, C. W. Lin, S. Shiraishi, Q. Zhu.  Submitted.  Design and Analysis of Delay-Aware Intelligent Intersection Management. submitted to the ACM Transactions on Cyber-Physical Systems (TCPS).
F
F. Miao, Q. Zhu, M. Pajic, G. J. Pappas.  Submitted.  A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.

to appear

F. Miao, Q. Zhu, M. Pajic, G. J. Pappas.  Submitted.  A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.

to appear

F. Miao, Q. Zhu, M. Pajic, G. J. Pappas.  2017.  Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Transactions on Control of Network Systems. 4:106-117.
H
H. Li, T. wei, R. Cai, Q. Zhu, Y. Wang.  2017.  Deep Reinforcement Learning: Framework, Applications, and Embedded Implementations. 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
H. Liang, P. Deng, B. Zheng, Q. Zhu.  Submitted.  Extensible Software Synthesis for Automotive Cyber-Physical Systems. in preparation.
H. Liang, Z. Wang, B. Zheng, Q. Zhu.  2017.  Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. 2017 IEEE/ACM International Symposium on Networks-on-Chip (NOCS).
M
M. Chen, X. Zhang, H. Gu, T. wei, Q. Zhu.  2017.  Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling Under Thermal and Energy Variations. IEEE Transactions on Sustainable Computing. PP:1-1.
P
P. Deng, Q. Zhu, A. Davare, A. Mourikis, X. Liu, M. D. Natale.  2016.  An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems. IEEE Transactions on Computers. 65:3552-3566.
P. Zhao, Y. Wang, N. Chang, Q. Zhu, X. Lin.  2018.  A Deep Reinforcement Learning Framework for Optimizing Fuel Economy of Hybrid Electric Vehicles. 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).
S
S. A. Seshia, S. Hu, W. Li, Q. Zhu.  2017.  Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36:1421–1434.
S. Chakraborty, M. A. Al Faruque, W. Chang, D. Goswami, M. Wolf, Q. Zhu.  2016.  Automotive Cyber #x2013;Physical Systems: A Tutorial Introduction. IEEE Design Test. 33:92-108.
T
T. wei, Yanzhi Wang, Q. Zhu.  2017.  Deep reinforcement learning for building HVAC control. 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC). :1-6.
Y
Y. Bao, M. Chen, Q. Zhu, T. wei, F. Mallet, T. Zhou.  2017.  Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. PP:1-1.