Efficient octilinear Steiner tree construction based on spanning graphs. - Qi Zhu 002; Hai Zhou 001; Tong Jing; Xianlong Hong; Yang Yang 040 (ASP-DAC, 2004)

Via-Aware Global Routing for Good VLSI Manufacturability and High Yield. - Yang Yang 040; Tong Jing; Xianlong Hong; Yu Hu 002; Qi Zhu 002; Xiaodong Hu 001; Guiying Yan (ASAP, 2005)

JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study. - Abhijit Davare; Qi Zhu 002; John Moondanos; Alberto L. Sangiovanni-Vincentelli (ESTIMedia, 2005)

Spanning graph-based nonrectilinear steiner tree algorithms. - Qi Zhu 002; Hai Zhou 001; Tong Jing; Xianlong Hong; Yang Yang 040 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

SAT sweeping with local observability don't-cares. - Qi Zhu 002; Nathan Kitchen; Andreas Kuehlmann; Alberto L. Sangiovanni-Vincentelli (DAC, 2006)

A semantic-driven synthesis flow for platform-based design. - Qi Zhu 002; Abhijit Davare; Alberto L. Sangiovanni-Vincentelli (MEMOCODE, 2006)

Period Optimization for Hard Real-time Distributed Automotive Systems. - Abhijit Davare; Qi Zhu 002; Marco Di Natale; Claudio Pinello; Sri Kanajan; Alberto L. Sangiovanni-Vincentelli (DAC, 2007)

Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. - Wei Zheng; Qi Zhu 002; Marco Di Natale; Alberto L. Sangiovanni-Vincentelli (RTSS, 2007)

Optimizing Extensibility in Hard Real-Time Distributed Systems. - Qi Zhu 002; Yang Yang 040; Eelco Scholte; Marco Di Natale; Alberto L. Sangiovanni-Vincentelli (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

A Design Flow for Building Automation and Control Systems. - Yang Yang 040; Alessandro Pinto; Alberto L. Sangiovanni-Vincentelli; Qi Zhu 002 (RTSS, 2010)

Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. - Qi Zhu 002; Yang Yang 040; Marco Di Natale; Eelco Scholte; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Ind. Informatics, 2010)

Optimizing stack memory requirements for real-time embedded applications. - Haibo Zeng 001; Marco Di Natale; Qi Zhu 002 (ETFA, 2012)

Development of Building Automation and Control Systems. - Yang Yang 040; Qi Zhu 002; Mehdi Maasoumy; Alberto L. Sangiovanni-Vincentelli (IEEE Des. Test Comput., 2012)

Optimization of task allocation and priority assignment in hard real-time distributed systems. - Qi Zhu 002; Haibo Zeng 001; Wei Zheng; Marco Di Natale; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Embed. Comput. Syst., 2012)

Robust and extensible task implementations of synchronous finite state machines. - Qi Zhu 002; Peng Deng; Marco Di Natale; Haibo Zeng 001 (DATE, 2013)

Security-aware mapping for CAN-based real-time distributed automotive systems. - Chung-Wei Lin; Qi Zhu 002; Calvin Phung; Alberto L. Sangiovanni-Vincentelli (ICCAD, 2013)

Co-design of control algorithm and embedded platform for building HVAC systems. - Mehdi Maasoumy; Qi Zhu 002; Cheng Li; Forrest Meggers; Alberto L. Sangiovanni-Vincentelli (ICCPS, 2013)

metroII: A design environment for cyber-physical systems. - Abhijit Davare; Douglas Densmore; Liangpeng Guo; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli; Alena Simalatsar; Qi Zhu 002 (ACM Trans. Embed. Comput. Syst., 2013)

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. - Liangpeng Guo; Qi Zhu 002; Pierluigi Nuzzo 002; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli; Edward A. Lee (CODES+ISSS, 2014)

Battery Management and Application for Energy-Efficient Buildings. - Tianshu Wei; Taeyoung Kim 001; Sangyoung Park; Qi Zhu 002; Sheldon X.-D. Tan; Naehyuck Chang; Sadrul Ula; Mehdi Maasoumy (DAC, 2014)

MSim: A general cycle accurate simulation platform for memcomputing studies. - Chun Zhang; Peng Deng; Hui Geng; Jianming Liu 001; Qi Zhu 002; Jinjun Xiong; Yiyu Shi 001 (DATE, 2014)

Lifetime optimization for real-time embedded systems considering electromigration effects. - Taeyoung Kim 001; Bowen Zheng 001; Hai-Bao Chen; Qi Zhu 002; Valeriy Sukharev; Sheldon X.-D. Tan (ICCAD, 2014)

Security-aware mapping for TDMA-based real-time distributed systems. - Chung-Wei Lin; Qi Zhu 002; Alberto L. Sangiovanni-Vincentelli (ICCAD, 2014)

Co-scheduling of HVAC control, EV charging and battery usage for building energy efficiency. - Tianshu Wei; Qi Zhu 002; Mehdi Maasoumy (ICCAD, 2014)

WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems. - Peng Deng; Anastasios I. Mourikis; Qi Zhu 002; Xue Liu 001; Abhijit Davare; Marco Di Natale (ICCPS, 2014)

Design synthesis and optimization for automotive embedded systems. - Qi Zhu 002; Peng Deng (ISPD, 2014)

Model-based synthesis for real-time embedded systems. - Qi Zhu 002 (MWSCAS, 2014)

Task synthesis for latency-sensitive synchronous block diagram. - Peng Deng; Qi Zhu 002; Marco Di Natale; Haibo Zeng 001 (SIES, 2014)

Optimized implementation of synchronous models on industrial LTTA systems. - Marco Di Natale; Qi Zhu 002; Alberto L. Sangiovanni-Vincentelli; Stavros Tripakis (J. Syst. Archit., 2014)

Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications. - Haibo Zeng 001; Marco Di Natale; Qi Zhu 002 (ACM Trans. Embed. Comput. Syst., 2014)

From passive demand response to proactive demand participation. - Nanpeng Yu; Tianshu Wei; Qi Zhu 002 (CASE, 2015)

Analysis and optimization of soft error tolerance strategies for real-time systems. - Bowen Zheng 001; Yue Gao; Qi Zhu 002; Sandeep K. Gupta 001 (CODES+ISSS, 2015)

Optimal control of PEVs for energy cost minimization and frequency regulation in the smart grid accounting for battery state-of-health degradation. - Tiansong Cui; Yanzhi Wang; Shuang Chen 001; Qi Zhu 002; Shahin Nazarian; Massoud Pedram (DAC, 2015)

Design and verification for transportation system security. - Bowen Zheng 001; Wenchao Li 001; Peng Deng; Léonard Gérard; Qi Zhu 002; Natarajan Shankar (DAC, 2015)

Proactive demand participation of heterogeneous flexible loads in smart grid. - Tianshu Wei; Qi Zhu 002 (IGSC, 2015)

Security Analysis of Proactive Participation of Smart Buildings in Smart Grid. - Tianshu Wei; Bowen Zheng 001; Qi Zhu 002; Shiyan Hu 001 (ICCAD, 2015)

A model-based synthesis flow for automotive CPS. - Peng Deng; Fabio Cremona; Qi Zhu 002; Marco Di Natale; Haibo Zeng 001 (ICCPS, 2015)

PeerWave: Exploiting Wavefront Parallelism on GPUs with Peer-SM Synchronization. - Mehmet E. Belviranli; Peng Deng; Laxmi N. Bhuyan; Rajiv Gupta 001; Qi Zhu 002 (ICS, 2015)

Task placement and selection of data consistency mechanisms for real-time multicore applications. - Zaid Al-bayati; Youcheng Sun; Haibo Zeng 001; Marco Di Natale; Qi Zhu 002; Brett H. Meyer (RTAS, 2015)

Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems. - Chung-Wei Lin; Qi Zhu 002; Alberto L. Sangiovanni-Vincentelli (IEEE Embed. Syst. Lett., 2015)

Design and Operation of Secure Cyber-Physical Systems. - Fabio Pasqualetti; Qi Zhu 002 (IEEE Embed. Syst. Lett., 2015)

Security-Aware Design Methodology and Optimization for Automotive Systems. - Chung-Wei Lin; Bowen Zheng 001; Qi Zhu 002; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Design Autom. Electr. Syst., 2015)

Optimal co-scheduling of HVAC control and battery management for energy-efficient buildings considering state-of-health degradation. - Tiansong Cui; Shuang Chen 001; Yanzhi Wang; Qi Zhu 002; Shahin Nazarian; Massoud Pedram (ASP-DAC, 2016)

Co-scheduling of datacenter and HVAC loads in mixed-use buildings. - Tianshu Wei; Mohammad A. Islam 001; Shaolei Ren; Qi Zhu 002 (IGSC, 2016)

Analysis of production data manipulation attacks in petroleum cyber-physical systems. - Xiaodao Chen; Yuchen Zhou 003; Hong Zhou; Chaowei Wan; Qi Zhu 002; Wenchao Li 001; Shiyan Hu 001 (ICCAD, 2016)

CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles. - Bowen Zheng 001; Chung-Wei Lin; Huafeng Yu; Hengyi Liang; Qi Zhu 002 (ICCAD, 2016)

Adaptive algorithm selection, with applications in pedestrian detection. - Shu Zhang 007; Qi Zhu 002; Amit K. Roy-Chowdhury (ICIP, 2016)

Co-scheduling of flexible energy loads in building clusters. - Tianshu Wei; Qi Zhu 002 (ISCAS, 2016)

Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. - Bowen Zheng 001; Hengyi Liang; Qi Zhu 002; Huafeng Yu; Chung-Wei Lin (ISVLSI, 2016)

Fixed-Priority Dual-Rate Mixed-Criticality Systems: Schedulability Analysis and Performance Optimization. - Hang Su 008; Peng Deng; Dakai Zhu 001; Qi Zhu 002 (RTCSA, 2016)

Adaptive Algorithm and Platform Selection for Visual Detection and Tracking. - Shu Zhang 007; Qi Zhu 002; Amit K. Roy-Chowdhury (CoRR, 2016)

Automotive Cyber-Physical Systems: A Tutorial Introduction. - Samarjit Chakraborty; Mohammad Abdullah Al Faruque; Wanli Chang 001; Dip Goswami; Marilyn Wolf; Qi Zhu 002 (IEEE Des. Test, 2016)

An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems. - Peng Deng; Qi Zhu 002; Abhijit Davare; Anastasios I. Mourikis; Xue Liu 001; Marco Di Natale (IEEE Trans. Computers, 2016)

Proactive Demand Participation of Smart Buildings in Smart Grid. - Tianshu Wei; Qi Zhu 002; Nanpeng Yu (IEEE Trans. Computers, 2016)

Cross-Layer Codesign for Secure Cyber-Physical Systems. - Bowen Zheng 001; Peng Deng; Anguluri Rajasekhar; Qi Zhu 002; Fabio Pasqualetti (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Deep Reinforcement Learning for Building HVAC Control. - Tianshu Wei; Yanzhi Wang; Qi Zhu 002 (DAC, 2017)

Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. - Qi Zhu 002; Hengyi Liang; Licong Zhang; Debayan Roy; Wenchao Li 001; Samarjit Chakraborty (DAC, 2017)

Deep reinforcement learning: Framework, applications, and embedded implementations: Invited paper. - Hongjia Li; Tianshu Wei; Ao Ren; Qi Zhu 002; Yanzhi Wang (ICCAD, 2017)

Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper). - Bowen Zheng 001; Muhammed O. Sayin; Chung-Wei Lin; Shinichi Shiraishi; Qi Zhu 002 (ICCAD, 2017)

Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. - Hengyi Liang; Zhilu Wang; Bowen Zheng 001; Qi Zhu 002 (NOCS, 2017)

Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. - Bowen Zheng 001; Chung-Wei Lin; Hengyi Liang; Shinichi Shiraishi; Wenchao Li 001; Qi Zhu 002 (SMARTCOMP, 2017)

Deep Reinforcement Learning: Framework, Applications, and Embedded Implementations. - Hongjia Li; Tianshu Wei; Ao Ren; Qi Zhu 002; Yanzhi Wang (CoRR, 2017)

Guest Editorial. - Huafeng Yu; Stanley Bak; Xin Li 001; Corina S. Pasareanu; Ramesh S. 002; Qi Zhu 002 (IET Cyper-Phys. Syst.: Theory & Appl., 2017)

An optimal energy co-scheduling framework for smart buildings. - Tiansong Cui; Shuang Chen 001; Yanzhi Wang; Qi Zhu 002; Shahin Nazarian; Massoud Pedram (Integr., 2017)

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. - Yongxiang Bao; Mingsong Chen 001; Qi Zhu 002; Tongquan Wei; Frédéric Mallet; Tingliang Zhou (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. - Sanjit A. Seshia; Shiyan Hu 001; Wenchao Li 001; Qi Zhu 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Guest Editorial: Special Issue on Smart Homes, Buildings and Infrastructures. - Xin Li 001; Shiyan Hu 001; Qi Zhu 002 (ACM Trans. Cyber Phys. Syst., 2017)

A deep reinforcement learning framework for optimizing fuel economy of hybrid electric vehicles. - Pu Zhao 001; Yanzhi Wang; Naehyuck Chang; Qi Zhu 002; Xue Lin 001 (ASP-DAC, 2018)

FFNet: Video Fast-Forwarding via Reinforcement Learning. - Shuyue Lan; Rameswar Panda; Qi Zhu 002; Amit K. Roy-Chowdhury (CVPR, 2018)

Low Power and Trusted Machine Learning. - Avesta Sasan; Qi Zhu 002; Yanzhi Wang; Jae-sun Seo; Tinoosh Mohsenin (ACM Great Lakes Symposium on VLSI, 2018)

Network and system level security in connected vehicle applications. - Hengyi Liang; Matthew Jagielski; Bowen Zheng 001; Chung-Wei Lin; Eunsuk Kang; Shinichi Shiraishi; Cristina Nita-Rotaru; Qi Zhu 002 (ICCAD, 2018)

Model-based and data-driven approaches for building automation and control. - Tianshu Wei; Xiaoming Chen 003; Xin Li 001; Qi Zhu 002 (ICCAD, 2018)

Design Automation for Intelligent Automotive Systems. - Shuyue Lan; Chao Huang 015; Zhilu Wang; Hengyi Liang; Wenhao Su; Qi Zhu 002 (ITC, 2018)

Codesign Methodologies and Tools for Cyber-Physical Systems. - Qi Zhu 002; Alberto L. Sangiovanni-Vincentelli (Proc. IEEE, 2018)

Design Automation for Cyber-Physical Systems [Scanning the Issue]. - Qi Zhu 002; Alberto L. Sangiovanni-Vincentelli; Shiyan Hu 001; Xin Li 001 (Proc. IEEE, 2018)

Peak-Aware Online Economic Dispatching for Microgrids. - Ying Zhang 009; Mohammad Hassan Hajiesmaili; Sinan Cai; Minghua Chen 001; Qi Zhu 002 (IEEE Trans. Smart Grid, 2018)

Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling under Thermal and Energy Variations. - Mingsong Chen 001; Xinqian Zhang; Haifeng Gu; Tongquan Wei; Qi Zhu 002 (IEEE Trans. Sustain. Comput., 2018)

Exploring weakly-hard paradigm for networked systems. - Chao Huang 015; Kacper Wardega; Wenchao Li 001; Qi Zhu 002 (DESTION@CPSIoTWeek, 2019)

Formal verification of weakly-hard systems. - Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (HSCC, 2019)

Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. - Jiameng Fan; Chao Huang 015; Wenchao Li 001; Xin Chen 002; Qi Zhu 002 (ICCAD, 2019)

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems. - Hengyi Liang; Zhilu Wang; Debayan Roy; Soumyajit Dey; Samarjit Chakraborty; Qi Zhu 002 (ICCD, 2019)

Application level attacks on Connected Vehicle Protocols. - Ahmed Abdo; Sakib Md. Bin Malek; Zhiyun Qian; Qi Zhu 002; Matthew J. Barth; Nael B. Abu-Ghazaleh (RAID, 2019)

Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems. - Hyunjong Choi; Hyoseung Kim 001; Qi Zhu 002 (RTAS, 2019)

Eavesdrop the Composition Proportion of Training Labels in Federated Learning. - Lixu Wang; Shichao Xu; Xiao Wang 012; Qi Zhu 002 (CoRR, 2019)

Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. - Zaid Al-bayati; Youcheng Sun; Haibo Zeng 001; Marco Di Natale; Qi Zhu 002; Brett H. Meyer (ACM Trans. Embed. Comput. Syst., 2019)

ReachNN: Reachability Analysis of Neural-Network Controlled Systems. - Chao Huang 015; Jiameng Fan; Wenchao Li 001; Xin Chen 002; Qi Zhu 002 (ACM Trans. Embed. Comput. Syst., 2019)

ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. - Jiameng Fan; Chao Huang 015; Xin Chen 002; Wenchao Li 001; Qi Zhu 002 (ATVA, 2020)

SAW: A Tool for Safety Analysis of Weakly-Hard Systems. - Chao Huang 015; Kai-Chieh Chang; Chung-Wei Lin; Qi Zhu 002 (CAV (1), 2020)

Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. - Chao Huang 015; Shichao Xu; Zhilu Wang; Shuyue Lan; Wenchao Li 001; Qi Zhu 002 (DAC, 2020)

Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. - Qi Zhu 002; Wenchao Li 001; Hyoseung Kim 001; Yecheng Xiang; Kacper Wardega; Zhilu Wang; Yixuan Wang 001; Hengyi Liang; Chao Huang 015; Jiameng Fan; Hyunjong Choi (ICCAD, 2020)

Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees. - Hengyi Liang; Zhilu Wang; Ruochen Jiao; Qi Zhu 002 (ICCAD, 2020)

Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. - Yixuan Wang 001; Chao Huang 015; Qi Zhu 002 (ICCAD, 2020)

Impact of Sharing Driving Attitude Information: A Quantitative Study on Lane Changing. - Xiangguo Liu; Neda Masoud; Qi Zhu 002 (IV, 2020)

Distributed Multi-agent Video Fast-forwarding. - Shuyue Lan; Zhilu Wang; Amit K. Roy-Chowdhury; Ermin Wei; Qi Zhu 002 (ACM Multimedia, 2020)

GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources. - Debayan Roy; Sumana Ghosh; Qi Zhu 002; Marco Caccamo; Samarjit Chakraborty (RTSS, 2020)

Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. - Shih-Lun Wu; Ching-Yuan Bai; Kai-Chieh Chang; Yi-Ting Hsieh 002; Chao Huang 015; Chung-Wei Lin; Eunsuk Kang; Qi Zhu 002 (RV, 2020)

One for Many: Transfer Learning for Building HVAC Control. - Shichao Xu; Yixuan Wang 001; Yanzhi Wang; Zheng O'Neill; Qi Zhu 002 (BuildSys, 2020)

MaskPlus: Improving Mask Generation for Instance Segmentation. - Shichao Xu; Shuyue Lan; Qi Zhu 002 (WACV, 2020)

Trajectory Planning for Connected and Automated Vehicles: Cruising, Lane Changing, and Platooning. - Xiangguo Liu; Guangchen Zhao; Neda Masoud; Qi Zhu 002 (CoRR, 2020)

Towards Class Imbalance in Federated Learning. - Lixu Wang; Shichao Xu; Xiao Wang 012; Qi Zhu 002 (CoRR, 2020)

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. - Chao Huang 015; Jiameng Fan; Xin Chen 002; Wenchao Li 001; Qi Zhu 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Design and Analysis of Delay-Tolerant Intelligent Intersection Management. - Bowen Zheng 001; Chung-Wei Lin; Shinichi Shiraishi; Qi Zhu 002 (ACM Trans. Cyber Phys. Syst., 2020)

Addressing Class Imbalance in Federated Learning. - Lixu Wang; Shichao Xu; Xiao Wang 012; Qi Zhu 002 (AAAI, 2021)

Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. - Qi Zhu 002; Chao Huang 015; Ruochen Jiao; Shuyue Lan; Hengyi Liang; Xiangguo Liu; Yixuan Wang 001; Zhilu Wang; Shichao Xu (ASP-DAC, 2021)

Invited: Towards Fully Intelligent Transportation through Infrastructure-Vehicle Cooperative Autonomous Driving: Challenges and Opportunities. - Shaoshan Liu; Bo Yu 014; Jie Tang 003; Qi Zhu 002 (DAC, 2021)

Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. - Yixuan Wang 001; Chao Huang 015; Zhilu Wang; Shichao Xu; Zhaoran Wang 001; Qi Zhu 002 (DAC, 2021)

Adaptive Learning Based Building Load Prediction for Microgrid Economic Dispatch. - Rumia Masburah; Rajib Lochan Jana; Ainuddin Khan; Shichao Xu; Shuyue Lan; Soumyajit Dey; Qi Zhu 002 (DATE, 2021)

Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. - Zhilu Wang; Chao Huang 015; Yixuan Wang 001; Clara Hobbs; Samarjit Chakraborty; Qi Zhu 002 (DATE, 2021)

Co-designing Intelligent Control of Building HVACs and Microgrids. - Rumia Masburah; Sayan Sinha; Rajib Lochan Jana; Soumyajit Dey; Qi Zhu 002 (DSD, 2021)

Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator. - Shichao Xu; Lixu Wang; Yixuan Wang 001; Qi Zhu 002 (ICCV, 2021)

End-to-end Uncertainty-based Mitigation of Adversarial Attacks to Automated Lane Centering. - Ruochen Jiao; Hengyi Liang; Takami Sato; Junjie Shen 001; Qi Alfred Chen; Qi Zhu 002 (IV, 2021)

Securing Connected Vehicle Applications with an Efficient Dual Cyber- Physical Blockchain Framework. - Xiangguo Liu; Baiting Luo; Ahmed Abdo; Nael B. Abu-Ghazaleh; Qi Zhu 002 (IV, 2021)

Credibility Enhanced Temporal Graph Convolutional Network Based Sybil Attack Detection On Edge Computing Servers. - Baiting Luo; Xiangguo Liu; Qi Zhu 002 (IV, 2021)

Brief Industry Paper: An Infrastructure-Aided High Definition Map Data Provisioning Service for Autonomous Driving. - Jinliang Xie; Jie Tang 003; Yanzhi Wang; Qi Zhu 002; Shaoshan Liu (RTAS, 2021)

Containerized framework for building control performance comparisons: model predictive control vs deep reinforcement learning control. - Yangyang Fu; Shichao Xu; Qi Zhu 002; Zheng O'Neill (BuildSys, 2021)

Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learning. - Shichao Xu; Yangyang Fu; Yixuan Wang 001; Zheng O'Neill; Qi Zhu 002 (BuildSys, 2021)

Towards Fully Intelligent Transportation through Infrastructure-Vehicle Cooperative Autonomous Driving: Challenges and Opportunities. - Shaoshan Liu; Bo Yu 014; Jie Tang 003; Qi Zhu 002 (CoRR, 2021)

Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees. - Yixuan Wang 001; Chao Huang 015; Zhaoran Wang 001; Zhilu Wang; Qi Zhu 002 (CoRR, 2021)

Non-Transferable Learning: A New Approach for Model Verification and Authorization. - Lixu Wang; Shichao Xu; Ruiqi Xu 001; Xiao Wang 012; Qi Zhu 002 (CoRR, 2021)

Model-assisted Learning-based Framework for Sensor Fault-Tolerant Building HVAC Control. - Shichao Xu; Yangyang Fu; Yixuan Wang 001; Zheng O'Neill; Qi Zhu 002 (CoRR, 2021)

Cross-Layer Design of Automotive Systems. - Zhilu Wang; Hengyi Liang; Chao Huang 015; Qi Zhu 002 (IEEE Des. Test, 2021)

Toward Practical Weakly Hard Real-Time Systems: A Job-Class-Level Scheduling Approach. - Hyunjong Choi; Hyoseung Kim 001; Qi Zhu 002 (IEEE Internet Things J., 2021)

Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1. - Jingtong Hu; Qi Zhu 002; Susmit Jha (ACM Trans. Cyber Phys. Syst., 2021)

Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. - Zhilu Wang; Chao Huang 015; Hyoseung Kim 001; Wenchao Li 001; Qi Zhu 002 (ACM Trans. Embed. Comput. Syst., 2021)

Deep Reinforcement Learning for Joint Datacenter and HVAC Load Control in Distributed Mixed-Use Buildings. - Tianshu Wei; Shaolei Ren; Qi Zhu 002 (IEEE Trans. Sustain. Comput., 2021)

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Diego Manzanas Lopez; Matthias Althoff; Luis Benet; Xin Chen 002; Jiameng Fan; Marcelo Forets; Chao Huang 015; Taylor T. Johnson; Tobias Ladner; Wenchao Li 001; Christian Schilling 001; Qi Zhu 002 (ARCH@SAFECOMP, 2022)

AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors. - Shuyue Lan; Zhilu Wang; John Mamish; Josiah D. Hester; Qi Zhu 002 (ASP-DAC, 2022)

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. - Chao Huang 015; Jiameng Fan; Xin Chen 002; Wenchao Li 001; Qi Zhu 002 (ATVA, 2022)

Federated Class-Incremental Learning. - Jiahua Dong 001; Lixu Wang; Zhen Fang 001; Gan Sun; Shichao Xu; Xiao Wang 012; Qi Zhu 002 (CVPR, 2022)

Design-while-verify: correct-by-construction control learning with verification in the loop. - Yixuan Wang 001; Chao Huang 015; Zhaoran Wang 001; Zhilu Wang; Qi Zhu 002 (DAC, 2022)

Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. - Zhilu Wang; Chao Huang 015; Qi Zhu 002 (DATE, 2022)

Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. - Xiangguo Liu; Chao Huang 015; Yixuan Wang 001; Bowen Zheng 001; Qi Zhu 002 (ICCPS, 2022)

Non-Transferable Learning: A New Approach for Model Ownership Verification and Applicability Authorization. - Lixu Wang; Shichao Xu; Ruiqi Xu 001; Xiao Wang 012; Qi Zhu 002 (ICLR, 2022)

TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and Predictor. - Ruochen Jiao; Xiangguo Liu; Bowen Zheng 001; Dave Liang; Qi Zhu 002 (IROS, 2022)

CVGuard: Mitigating Application Attacks on Connected Vehicles. - Ahmed Abdo; Guoyuan Wu 001; Qi Zhu 002; Nael B. Abu-Ghazaleh (IV, 2022)

Speech Disfluency Detection with Contextual Representation and Data Distillation. - Payal Mohapatra; Akash Pandey; Bashima Islam; Qi Zhu 002 (IASA@MobiSys, 2022)

Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances. - Shichao Xu; Yangyang Fu; Yixuan Wang 001; Zhuoran Yang; Zheng O'Neill; Zhaoran Wang 001; Qi Zhu 002 (BuildSys, 2022)

Neural Network based Interactive Lane Changing Planner in Dense Traffic with Safety Guarantee. - Xiangguo Liu; Ruochen Jiao; Bowen Zheng 001; Dave Liang; Qi Zhu 002 (CoRR, 2022)

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. - Yixuan Wang 001; Chao Huang 015; Zhaoran Wang 001; Zhuoran Yang; Qi Zhu 002 (CoRR, 2022)

DSRC & C-V2X Comparison for Connected and Automated Vehicles in Different Traffic Scenarios. - Yuanzhe Jin; Xiangguo Liu; Qi Zhu 002 (CoRR, 2022)

Semi-supervised Semantics-guided Adversarial Training for Trajectory Prediction. - Ruochen Jiao; Xiangguo Liu; Takami Sato; Qi Alfred Chen; Qi Zhu 002 (CoRR, 2022)

A Tool for Neural Network Global Robustness Certification and Training. - Zhilu Wang; Yixuan Wang 001; Feisi Fu; Ruochen Jiao; Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (CoRR, 2022)

A Dual Modality Approach For (Zero-Shot) Multi-Label Classification. - Shichao Xu; Yikang Li 001; Jenhao Hsiao; Chiuman Ho; Qi Zhu 002 (CoRR, 2022)

Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2. - Jingtong Hu; Qi Zhu 002; Susmit Jha (ACM Trans. Cyber Phys. Syst., 2022)

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. - Qi Zhu 002; Wenchao Li 001; Chao Huang 015; Xin Chen 002; Weichao Zhou; Yixuan Wang 001; Jiajun Li; Feisi Fu (Allerton, 2023)

Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic Regulators. - Pin-Chun Chen; Xiangguo Liu; Chung-Wei Lin; Chao Huang 015; Qi Zhu 002 (ASP-DAC, 2023)

Safety-Driven Interactive Planning for Neural Network-Based Lane Changing. - Xiangguo Liu; Ruochen Jiao; Bowen Zheng 001; Dave Liang; Qi Zhu 002 (ASP-DAC, 2023)

Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic. - Xiangguo Liu; Ruochen Jiao; Bowen Zheng 001; Dave Liang; Qi Zhu 002 (AAMAS, 2023)

Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing. - Xiangguo Liu; Yunpeng Luo; Anthony Goeckner; Trishna Chakraborty; Ruochen Jiao; Ningfei Wang; Yixuan Wang 001; Takami Sato; Qi Alfred Chen; Qi Zhu 002 (DAC, 2023)

A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance. - Kevin Kai-Chun Chang; Xiangguo Liu; Chung-Wei Lin; Chao Huang 015; Qi Zhu 002 (DATE, 2023)

Efficient Stuttering Event Detection Using Siamese Networks. - Payal Mohapatra; Bashima Islam; Md Tamzeed Islam; Ruochen Jiao; Qi Zhu 002 (ICASSP, 2023)

Person Identification with Wearable Sensing Using Missing Feature Encoding and Multi-Stage Modality Fusion. - Payal Mohapatra; Akash Pandey; Sinan Keten; Wei Chen 041; Qi Zhu 002 (ICASSP, 2023)

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. - Yixuan Wang 001; Simon Sinong Zhan; Zhilu Wang; Chao Huang 015; Zhaoran Wang 001; Zhuoran Yang; Qi Zhu 002 (ICCPS, 2023)

Semi-supervised Semantics-guided Adversarial Training for Robust Trajectory Prediction. - Ruochen Jiao; Xiangguo Liu; Takami Sato; Qi Alfred Chen; Qi Zhu 002 (ICCV, 2023)

Deja Vu: Continual Model Generalization for Unseen Domains. - Chenxi Liu; Lixu Wang; Lingjuan Lyu; Chen Sun 006; Xiao Wang 012; Qi Zhu 002 (ICLR, 2023)

Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. - Yixuan Wang 001; Simon Sinong Zhan; Ruochen Jiao; Zhilu Wang; Wanxin Jin; Zhuoran Yang; Zhaoran Wang 001; Chao Huang 015; Qi Zhu 002 (ICML, 2023)

Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). - Zhilu Wang; Chao Huang 015; Qi Zhu 002 (IJCAI, 2023)

Learning Representation for Anomaly Detection of Vehicle Trajectories. - Ruochen Jiao; Juyang Bai; Xiangguo Liu; Takami Sato; Xiaowei Yuan; Qi Alfred Chen; Qi Zhu 002 (IROS, 2023)

Safety-Assured Speculative Planning with Adaptive Prediction. - Xiangguo Liu; Ruochen Jiao; Yixuan Wang 001; Yimin Han; Bowen Zheng 001; Qi Zhu 002 (IROS, 2023)

Effect of Attention and Self-Supervised Speech Embeddings on Non-Semantic Speech Tasks. - Payal Mohapatra; Akash Pandey; Yueyuan Sui; Qi Zhu 002 (ACM Multimedia, 2023)

CYDRES: CYber Defense and REsilient System for securing grid-interactive efficient buildings. - Guowen Li; Zheng O'Neill; Jin Wen; Ojas Pradhan; Lingyu Ren; Teresa Wu; Veronica Adetola; K. Selcuk Candan; Qi Zhu 002 (BuildSys, 2023)

Interactive Trajectory Planner for Mandatory Lane Changing in Dense Non-Cooperative Traffic. - Xiangguo Liu; Jianxing Chen; Shan Li; Yajia Zhang; Hongtao Yu; Fuqiang Huang; Jiechao Liu; Chao Wang; Liyun Li; Qi Zhu 002 (CoRR, 2023)

Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. - Ruochen Jiao; Yixuan Wang 001; Xiangguo Liu; Chao Huang 015; Qi Zhu 002 (CoRR, 2023)

Empowering Autonomous Driving with Large Language Models: A Safety Perspective. - Yixuan Wang 001; Ruochen Jiao; Chengtian Lang; Simon Sinong Zhan; Chao Huang 015; Zhaoran Wang 001; Zhuoran Yang; Qi Zhu 002 (CoRR, 2023)

Federated Continual Novel Class Learning. - Lixu Wang; Chenxi Liu; Junfeng Guo; Jiahua Dong 001; Xiao Wang 012; Heng Huang; Qi Zhu 002 (CoRR, 2023)

Cloud and Edge Computing for Connected and Automated Vehicles. - Qi Zhu 002; Bo Yu 014; Ziran Wang; Jie Tang 003; Qi Alfred Chen; Zihao Li; Xiangguo Liu; Yunpeng Luo; Lingzi Tu (Found. Trends Electron. Des. Autom., 2023)

Guest Editorial Machine Learning for Resilient Industrial Cyber-Physical Systems. - Shiyan Hu 001; Yiran Chen 001; Qi Zhu 002; Armando Walter Colombo (IEEE Trans Autom. Sci. Eng., 2023)

A critical review of cyber-physical security for building automation systems. - Guowen Li; Lingyu Ren; Yangyang Fu; Zhiyao Yang; Veronica Adetola; Jin Wen; Qi Zhu 002; Teresa Wu; K. Selcuk Candan; Zheng O'Neill (Annu. Rev. Control., 2023)

System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. - Yi-Ting Hsieh 002; Tzu-Tao Chang; Chen-Jun Tsai; Shih-Lun Wu; Ching-Yuan Bai; Kai-Chieh Chang; Chung-Wei Lin; Eunsuk Kang; Chao Huang 015; Qi Zhu 002 (ACM Trans. Cyber Phys. Syst., 2023)

REGLO: Provable Neural Network Repair for Global Robustness Properties. - Feisi Fu; Zhilu Wang; Weichao Zhou; Yixuan Wang 001; Jiameng Fan; Chao Huang 015; Qi Zhu 002; Xin Chen 002; Wenchao Li 001 (AAAI, 2024)

Invited: Algorithm and Hardware Co-Design for Energy-Efficient Neural SLAM. - Lingyi Huang; Cheng Yang 013; Yu Gong; Yang Sui; Xiao Zang; Anthony Goeckner; Qi Zhu 002; Bo Yuan 001 (DAC, 2024)

DACR: Distribution-Augmented Contrastive Reconstruction for Time-Series Anomaly Detection. - Lixu Wang; Shichao Xu; Xinyu Du; Qi Zhu 002 (ICASSP, 2024)

Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short Delays. - Qingyuan Wu; Simon Sinong Zhan; Yixuan Wang 001; Yuhui Wang 004; Chung-Wei Lin; Chen Lv; Qi Zhu 002; Jürgen Schmidhuber; Chao Huang 015 (ICML, 2024)

Missingness-resilient Video-enhanced Multimodal Disfluency Detection. - Payal Mohapatra; Shamika Likhite; Subrata Biswas; Bashima Islam; Qi Zhu 002 (INTERSPEECH, 2024)

Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. - Ruochen Jiao; Yixuan Wang 001; Xiangguo Liu; Simon Sinong Zhan; Chao Huang 015; Qi Zhu 002 (IROS, 2024)

State-wise safe reinforcement learning with pixel observations. - Simon Sinong Zhan; Yixuan Wang 001; Qingyuan Wu; Ruochen Jiao; Chao Huang 015; Qi Zhu 002 (L4DC, 2024)

Semantic Feature Learning for Universal Unsupervised Cross-Domain Retrieval. - Lixu Wang; Xinyu Du; Qi Zhu 002 (NeurIPS, 2024)

Variational Delayed Policy Optimization. - Qingyuan Wu; Simon Sinong Zhan; Yixuan Wang 001; Yuhui Wang 004; Chung-Wei Lin; Chen Lv; Qi Zhu 002; Chao Huang 015 (NeurIPS, 2024)

Case Study: Runtime Safety Verification of Neural Network Controlled System. - Frank Yang; Simon Sinong Zhan; Yixuan Wang 001; Chao Huang 015; Qi Zhu 002 (RV, 2024)

Federated Learning with New Knowledge: Fundamentals, Advances, and Futures. - Lixu Wang; Yang Zhao 017; Jiahua Dong 001; Ating Yin; Qinbin Li; Xiao Wang 012; Dusit Niyato; Qi Zhu 002 (CoRR, 2024)

Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task. - Qingyuan Wu; Simon Sinong Zhan; Yixuan Wang 001; Chung-Wei Lin; Chen Lv; Qi Zhu 002; Chao Huang 015 (CoRR, 2024)

Phase-driven Domain Generalizable Learning for Nonstationary Time Series. - Payal Mohapatra; Lixu Wang; Qi Zhu 002 (CoRR, 2024)

Towards a Digital Twin Framework in Additive Manufacturing: Machine Learning and Bayesian Optimization for Time Series Process Optimization. - Vispi Karkaria; Anthony Goeckner; Rujing Zha; Jie Chen; Jianjing Zhang; Qi Zhu 002; Jian Cao; Robert X. Gao; Wei Chen 041 (CoRR, 2024)

Graph Neural Network-based Multi-agent Reinforcement Learning for Resilient Distributed Coordination of Multi-Robot Systems. - Anthony Goeckner; Yueyuan Sui; Nicolas Martinet; Xinliang Li; Qi Zhu 002 (CoRR, 2024)

Exploring Backdoor Attacks against Large Language Model-based Decision Making. - Ruochen Jiao; Shaoyuan Xie; Justin Yue; Takami Sato; Lixu Wang; Yixuan Wang 001; Qi Alfred Chen; Qi Zhu 002 (CoRR, 2024)

Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments. - Simon Sinong Zhan; Qingyuan Wu; Philip Wang; Yixuan Wang 001; Ruochen Jiao; Chao Huang 015; Qi Zhu 002 (CoRR, 2024)

Inverse Delayed Reinforcement Learning. - Simon Sinong Zhan; Qingyuan Wu; Zhian Ruan; Frank Yang; Philip Wang; Yixuan Wang 001; Ruochen Jiao; Chao Huang 015; Qi Zhu 002 (CoRR, 2024)

Collaborative Multi-Agent Video Fast-Forwarding. - Shuyue Lan; Zhilu Wang; Ermin Wei; Amit K. Roy-Chowdhury; Qi Zhu 002 (IEEE Trans. Multim., 2024)

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. - Yixuan Wang 001; Weichao Zhou; Jiameng Fan; Zhilu Wang; Jiajun Li; Xin Chen 002; Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Attrition-Aware Adaptation for Multi-Agent Patrolling. - Anthony Goeckner; Xinliang Li; Ermin Wei; Qi Zhu 002 (IEEE Robotics Autom. Lett., 2024)

Split Adaptation for Pre-trained Vision Transformers. - Lixu Wang; Bingqi Shang; Yi Li; Payal Mohapatra; Wei Dong; Xiao Wang 012; Qi Zhu 002 (CVPR, 2025)

Can We Trust Embodied Agents? Exploring Backdoor Attacks against Embodied LLM-Based Decision-Making Systems. - Ruochen Jiao; Shaoyuan Xie; Justin Yue; Takami Sato; Lixu Wang; Yixuan Wang 001; Qi Alfred Chen; Qi Zhu 002 (ICLR, 2025)

Guest Editorial Special Issue on Security and Privacy of Intelligent Vehicles. - Chung-Wei Lin; Bo Chen 028; Weizhi Meng 001; Yu Chen 002; Qi Zhu 002 (IEEE Internet Things J., 2025)

Directly Forecasting Belief for Reinforcement Learning with Delays. - Qingyuan Wu; Yuhui Wang 004; Simon Sinong Zhan; Yixuan Wang 001; Chung-Wei Lin; Chen Lv; Qi Zhu 002; Jürgen Schmidhuber; Chao Huang 015 (CoRR, 2025)

Adapting Offline Reinforcement Learning with Online Delays. - Simon Sinong Zhan; Qingyuan Wu; Frank Yang; Xiangyu Shi; Chao Huang 015; Qi Zhu 002 (CoRR, 2025)

Can LLMs Understand Unvoiced Speech? Exploring EMG-to-Text Conversion with LLMs. - Payal Mohapatra; Akash Pandey; Xiaoyuan Zhang; Qi Zhu 002 (CoRR, 2025)