Qi Zhu
Orcid: 0000-0002-7700-4099Affiliations:
- Northwestern University, Department of Electrical Engineering and Computer Science, USA
- University of California Riverside, Department of Electrical and Computer Engineering, CA, USA (former)
- Intel Corporation, Strategic CAD Laboratories, USA (former)
- University of California Berkeley, Department of Electrical Engineering and Computer Science, CA, USA (PhD 2008)
- Tsinghua University, Computer Science and Technology Department, Beijing, China (former)
According to our database1,
Qi Zhu
authored at least 170 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024
DACR: Distribution-Augmented Contrastive Reconstruction for Time-Series Anomaly Detection.
CoRR, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
ACM Trans. Cyber Phys. Syst., July, 2023
Annu. Rev. Control., January, 2023
IEEE Trans Autom. Sci. Eng., 2023
Found. Trends Electron. Des. Autom., 2023
CoRR, 2023
Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling.
CoRR, 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
CoRR, 2023
Interactive Trajectory Planner for Mandatory Lane Changing in Dense Non-Cooperative Traffic.
CoRR, 2023
CYDRES: CYber Defense and REsilient System for securing grid-interactive efficient buildings.
Proceedings of the 10th ACM International Conference on Systems for Energy-Efficient Buildings, 2023
Effect of Attention and Self-Supervised Speech Embeddings on Non-Semantic Speech Tasks.
Proceedings of the 31st ACM International Conference on Multimedia, 2023
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.
Proceedings of the International Conference on Machine Learning, 2023
Proceedings of the Eleventh International Conference on Learning Representations, 2023
Semi-supervised Semantics-guided Adversarial Training for Robust Trajectory Prediction.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic Regulators.
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.
Proceedings of the 59th Annual Allerton Conference on Communication, 2023
2022
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2.
ACM Trans. Cyber Phys. Syst., 2022
CoRR, 2022
DSRC & C-V2X Comparison for Connected and Automated Vehicles in Different Traffic Scenarios.
CoRR, 2022
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.
CoRR, 2022
Neural Network based Interactive Lane Changing Planner in Dense Traffic with Safety Guarantee.
CoRR, 2022
Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances.
Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, 2022
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022
TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and Predictor.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Non-Transferable Learning: A New Approach for Model Ownership Verification and Applicability Authorization.
Proceedings of the Tenth International Conference on Learning Representations, 2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
Design-while-verify: correct-by-construction control learning with verification in the loop.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2022
AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors.
Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022
2021
Deep Reinforcement Learning for Joint Datacenter and HVAC Load Control in Distributed Mixed-Use Buildings.
IEEE Trans. Sustain. Comput., 2021
ACM Trans. Embed. Comput. Syst., 2021
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1.
ACM Trans. Cyber Phys. Syst., 2021
Toward Practical Weakly Hard Real-Time Systems: A Job-Class-Level Scheduling Approach.
IEEE Internet Things J., 2021
Model-assisted Learning-based Framework for Sensor Fault-Tolerant Building HVAC Control.
CoRR, 2021
CoRR, 2021
Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.
CoRR, 2021
Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learning.
Proceedings of the BuildSys '21: The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal, November 17, 2021
Containerized framework for building control performance comparisons: model predictive control vs deep reinforcement learning control.
Proceedings of the BuildSys '21: The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal, November 17, 2021
Brief Industry Paper: An Infrastructure-Aided High Definition Map Data Provisioning Service for Autonomous Driving.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021
Credibility Enhanced Temporal Graph Convolutional Network Based Sybil Attack Detection On Edge Computing Servers.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2021
Securing Connected Vehicle Applications with an Efficient Dual Cyber- Physical Blockchain Framework.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2021
End-to-end Uncertainty-based Mitigation of Adversarial Attacks to Automated Lane Centering.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2021
Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator.
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021
Proceedings of the 24th Euromicro Conference on Digital System Design, 2021
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
ACM Trans. Cyber Phys. Syst., 2020
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Trajectory Planning for Connected and Automated Vehicles: Cruising, Lane Changing, and Platooning.
CoRR, 2020
Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2020
Proceedings of the BuildSys '20: The 7th ACM International Conference on Systems for Energy-Efficient Buildings, 2020
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring.
Proceedings of the Runtime Verification - 20th International Conference, 2020
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020
Impact of Sharing Driving Attitude Information: A Quantitative Study on Lane Changing.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems.
ACM Trans. Embed. Comput. Syst., 2019
CoRR, 2019
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019
Proceedings of the 22nd International Symposium on Research in Attacks, 2019
Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019
2018
Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling under Thermal and Energy Variations.
IEEE Trans. Sustain. Comput., 2018
Proceedings of the IEEE International Test Conference, 2018
Proceedings of the International Conference on Computer-Aided Design, 2018
Proceedings of the International Conference on Computer-Aided Design, 2018
Proceedings of the 2018 on Great Lakes Symposium on VLSI, 2018
Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018
A deep reinforcement learning framework for optimizing fuel economy of hybrid electric vehicles.
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018
2017
ACM Trans. Cyber Phys. Syst., 2017
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
CoRR, 2017
Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management.
Proceedings of the 2017 IEEE International Conference on Smart Computing, 2017
Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip, 2017
Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper).
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Deep reinforcement learning: Framework, applications, and embedded implementations: Invited paper.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Proceedings of the 54th Annual Design Automation Conference, 2017
Proceedings of the 54th Annual Design Automation Conference, 2017
2016
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
IEEE Trans. Computers, 2016
An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems.
IEEE Trans. Computers, 2016
CoRR, 2016
Fixed-Priority Dual-Rate Mixed-Criticality Systems: Schedulability Analysis and Performance Optimization.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016
Proceedings of the IEEE International Symposium on Circuits and Systems, 2016
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016
CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Analysis of production data manipulation attacks in petroleum cyber-physical systems.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Proceedings of the Seventh International Green and Sustainable Computing Conference, 2016
Optimal co-scheduling of HVAC control and battery management for energy-efficient buildings considering state-of-health degradation.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
ACM Trans. Design Autom. Electr. Syst., 2015
Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems.
IEEE Embed. Syst. Lett., 2015
Task placement and selection of data consistency mechanisms for real-time multicore applications.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015
Proceedings of the 29th ACM on International Conference on Supercomputing, 2015
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015
Proceedings of the Sixth International Green and Sustainable Computing Conference, 2015
Proceedings of the 52nd Annual Design Automation Conference, 2015
Optimal control of PEVs for energy cost minimization and frequency regulation in the smart grid accounting for battery state-of-health degradation.
Proceedings of the 52nd Annual Design Automation Conference, 2015
Proceedings of the 2015 International Conference on Hardware/Software Codesign and System Synthesis, 2015
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
2014
ACM Trans. Embed. Comput. Syst., 2014
J. Syst. Archit., 2014
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014
Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014
Proceedings of the International Symposium on Physical Design, 2014
WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
Co-scheduling of HVAC control, EV charging and battery usage for building energy efficiency.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Lifetime optimization for real-time embedded systems considering electromigration effects.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014
2013
ACM Trans. Embed. Comput. Syst., 2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
2012
Optimization of task allocation and priority assignment in hard real-time distributed systems.
ACM Trans. Embed. Comput. Syst., 2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
2010
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems.
IEEE Trans. Ind. Informatics, 2010
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010
2009
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
2007
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
Proceedings of the 44th Design Automation Conference, 2007
2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
Proceedings of the 43rd Design Automation Conference, 2006
2005
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005
Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005
Proceedings of the 16th IEEE International Conference on Application-Specific Systems, 2005
2004
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004