Biblio
Filters: Author is Q. Zhu [Clear All Filters]
.
Submitted. Design and Analysis of Delay-Aware Intelligent Intersection Management. submitted to the ACM Transactions on Cyber-Physical Systems (TCPS).
.
Submitted. Extensible Software Synthesis for Automotive Cyber-Physical Systems. in preparation.
.
2016. Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. 2016 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). :53-58.
.
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.
.
2017. Deep reinforcement learning for building HVAC control. 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC). :1-6.
.
2017. Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. 2017 IEEE/ACM International Symposium on Networks-on-Chip (NOCS).
.
2017. Deep Reinforcement Learning: Framework, Applications, and Embedded Implementations. 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
.
2017. Timing and Security Analysis Framework for VANET-based Intelligent Transportation Systems. 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
.
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).
.
2016. Cross-Layer Codesign for Secure Cyber-Physical Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 35:699-711.
.
2016. Automotive Cyber #x2013;Physical Systems: A Tutorial Introduction. IEEE Design Test. 33:92-108.
.
2016. An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems. IEEE Transactions on Computers. 65:3552-3566.
.
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.
.
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.
.
Submitted. Design and Analysis of Delay-Aware Intelligent Intersection Management. submitted to the ACM Transactions on Cyber-Physical Systems (TCPS).
.
2017. Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. 2017 IEEE International Conference on Smart Computing (SMARTCOMP). :1–8.
.
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.
.
Submitted. A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.
to appear
.
2017. Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Transactions on Control of Network Systems. 4:106-117.
.
Submitted. A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.
to appear