Qi Zhu 0002 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 69 from 69

2024

2023

Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic EnvironmentsYixuan Wang 0001, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang 0015, Qi Zhu 0002. icml 2023: 36593-36604 [doi]

Verification and Design of Robust and Safe Neural Network-enabled Autonomous SystemsQi Zhu 0002, Wenchao Li 0001, Chao Huang 0015, Xin Chen, Weichao Zhou, Yixuan Wang 0001, Jiajun Li, Feisi Fu. allerton 2023: 1-8 [doi]

A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication DisturbanceKevin Kai-Chun Chang, Xiangguo Liu, Chung-Wei Lin, Chao Huang 0015, Qi Zhu 0002. date 2023: 1-6 [doi]

Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic RegulatorsPin-Chun Chen, Xiangguo Liu, Chung-Wei Lin, Chao Huang 0015, Qi Zhu 0002. aspdac 2023: 52-57 [doi]

System Verification and Runtime Monitoring with Multiple Weakly-Hard ConstraintsYi-Ting Hsieh, Tzu-Tao Chang, Chen-Jun Tsai, Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Chung-Wei Lin, Eunsuk Kang, Chao Huang 0015, Qi Zhu 0002. tcps, 7(3), July 2023. [doi]

Guest Editorial Machine Learning for Resilient Industrial Cyber-Physical SystemsShiyan Hu, Yiran Chen 0001, Qi Zhu 0002, Armando Walter Colombo. tase, 20(1):3-4, 2023. [doi]

Learning Representation for Anomaly Detection of Vehicle TrajectoriesRuochen Jiao, Juyang Bai, Xiangguo Liu, Takami Sato, Xiaowei Yuan, Qi Alfred Chen, Qi Zhu 0002. iros 2023: 9699-9706 [doi]

Semi-supervised Semantics-guided Adversarial Training for Robust Trajectory PredictionRuochen Jiao, Xiangguo Liu, Takami Sato, Qi Alfred Chen, Qi Zhu 0002. iccv 2023: 8173-8183 [doi]

CYDRES: CYber Defense and REsilient System for securing grid-interactive efficient buildingsGuowen Li, Zheng O'Neill, Jin Wen, Ojas Pradhan, Lingyu Ren, Teresa Wu, Veronica Adetola, K. Selcuk Candan, Qi Zhu 0002. sensys 2023: 307-309 [doi]

A critical review of cyber-physical security for building automation systemsGuowen Li, Lingyu Ren, Yangyang Fu, Zhiyao Yang, Veronica Adetola, Jin Wen, Qi Zhu 0002, Teresa Wu, K. Selcuk Candan, Zheng O'Neill. arc, 55:237-254, January 2023. [doi]

Safety-Driven Interactive Planning for Neural Network-Based Lane ChangingXiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu 0002. aspdac 2023: 39-45 [doi]

Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed TrafficXiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu 0002. atal 2023: 2568-2570 [doi]

Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud ComputingXiangguo Liu, Yunpeng Luo, Anthony Goeckner, Trishna Chakraborty, Ruochen Jiao, Ningfei Wang, Yixuan Wang, Takami Sato, Qi Alfred Chen, Qi Zhu 0002. dac 2023: 1-4 [doi]

Deja Vu: Continual Model Generalization for Unseen DomainsChenxi Liu, Lixu Wang, Lingjuan Lyu, Chen Sun, Xiao Wang, Qi Zhu 0002. iclr 2023: [doi]

Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)Zhilu Wang, Chao Huang 0015, Qi Zhu 0002. IJCAI 2023: 6498-6503 [doi]

Joint Differentiable Optimization and Verification for Certified Reinforcement LearningYixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang 0015, Zhaoran Wang, Zhuoran Yang, Qi Zhu 0002. iccps 2023: 132-141 [doi]

2022

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled SystemsChao Huang 0015, Jiameng Fan, Xin Chen, Wenchao Li 0001, Qi Zhu 0002. ATVA 2022: 414-430 [doi]

CVGuard: Mitigating Application Attacks on Connected VehiclesAhmed Abdo, Guoyuan Wu, Qi Zhu 0002, Nael B. Abu-Ghazaleh. ivs 2022: 623-630 [doi]

Federated Class-Incremental LearningJiahua Dong, Lixu Wang, Zhen Fang, Gan Sun, Shichao Xu, Xiao Wang, Qi Zhu 0002. cvpr 2022: 10154-10163 [doi]

Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2Jingtong Hu, Qi Zhu 0002, Susmit Jha. tcps, 6(2), 2022. [doi]

TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and PredictorRuochen Jiao, Xiangguo Liu, Bowen Zheng, Dave Liang, Qi Zhu 0002. iros 2022: 12534-12541 [doi]

AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered SensorsShuyue Lan, Zhilu Wang, John Mamish, Josiah D. Hester, Qi Zhu 0002. aspdac 2022: 556-561 [doi]

Physics-Aware Safety-Assured Design of Hierarchical Neural Network based PlannerXiangguo Liu, Chao Huang 0015, Yixuan Wang, Bowen Zheng, Qi Zhu 0002. iccps 2022: 137-146 [doi]

Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network EncodingZhilu Wang, Chao Huang 0015, Qi Zhu 0002. date 2022: 1087-1092 [doi]

Design-while-verify: correct-by-construction control learning with verification in the loopYixuan Wang, Chao Huang 0015, Zhaoran Wang, Zhilu Wang, Qi Zhu 0002. dac 2022: 925-930 [doi]

Non-Transferable Learning: A New Approach for Model Ownership Verification and Applicability AuthorizationLixu Wang, Shichao Xu, Ruiqi Xu, Xiao Wang, Qi Zhu 0002. iclr 2022: [doi]

Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidancesShichao Xu, Yangyang Fu, Yixuan Wang, Zhuoran Yang, Zheng O'Neill, Zhaoran Wang, Qi Zhu 0002. sensys 2022: 89-98 [doi]

2021

Safety-Assured Design and Adaptation of Learning-Enabled Autonomous SystemsQi Zhu 0002, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu. aspdac 2021: 753-760 [doi]

Toward Practical Weakly Hard Real-Time Systems: A Job-Class-Level Scheduling ApproachHyunjong Choi, Hyoseung Kim, Qi Zhu 0002. iotj, 8(8):6692-6708, 2021. [doi]

Containerized framework for building control performance comparisons: model predictive control vs deep reinforcement learning controlYangyang Fu, Shichao Xu, Qi Zhu 0002, Zheng O'Neill. sensys 2021: 276-280 [doi]

Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1Jingtong Hu, Qi Zhu 0002, Susmit Jha. tcps, 5(4), 2021. [doi]

End-to-end Uncertainty-based Mitigation of Adversarial Attacks to Automated Lane CenteringRuochen Jiao, Hengyi Liang, Takami Sato, Junjie Shen 0001, Qi Alfred Chen, Qi Zhu 0002. ivs 2021: 266-273 [doi]

Adaptive Learning Based Building Load Prediction for Microgrid Economic DispatchRumia Masburah, Rajib Lochan Jana, Ainuddin Khan, Shichao Xu, Shuyue Lan, Soumyajit Dey, Qi Zhu 0002. date 2021: 72-75 [doi]

Co-designing Intelligent Control of Building HVACs and MicrogridsRumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu 0002. dsd 2021: 457-464 [doi]

Cross-Layer Adaptation with Safety-Assured Proactive Task Job SkippingZhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li, Qi Zhu 0002. tecs, 20(5s), 2021. [doi]

Cross-Layer Design of Automotive SystemsZhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu 0002. dt, 38(5):8-16, 2021. [doi]

Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust DistillationYixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu 0002. dac 2021: 397-402 [doi]

Addressing Class Imbalance in Federated LearningLixu Wang, Shichao Xu, Xiao Wang, Qi Zhu 0002. AAAI 2021: 10165-10173 [doi]

Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous SystemsZhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu 0002. date 2021: 1745-1750 [doi]

Deep Reinforcement Learning for Joint Datacenter and HVAC Load Control in Distributed Mixed-Use BuildingsTianshu Wei, Shaolei Ren, Qi Zhu 0002. tsusc, 6(3):370-384, 2021. [doi]

Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak AnnotatorShichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu 0002. iccv 2021: 8897-8906 [doi]

Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learningShichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu 0002. sensys 2021: 1-10 [doi]

2020

Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited PaperQi Zhu 0002, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi. iccad 2020: 1-9 [doi]

ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled SystemsJiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu 0002. ATVA 2020: 537-542 [doi]

Opportunistic Intermittent Control with Safety Guarantees for Autonomous SystemsChao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu 0002. dac 2020: 1-6 [doi]

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural NetworksChao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu 0002. tcad, 39(11):3323-3335, 2020. [doi]

SAW: A Tool for Safety Analysis of Weakly-Hard SystemsChao Huang, Kai-Chieh Chang, Chung-Wei Lin, Qi Zhu 0002. cav 2020: 543-555 [doi]

Distributed Multi-agent Video Fast-forwardingShuyue Lan, Zhilu Wang, Amit K. Roy Chowdhury, Ermin Wei, Qi Zhu 0002. mm 2020: 1075-1084 [doi]

Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing GuaranteesHengyi Liang, Zhilu Wang, Ruochen Jiao, Qi Zhu 0002. iccad 2020: 1-9 [doi]

GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS ResourcesDebayan Roy, Sumana Ghosh, Qi Zhu 0002, Marco Caccamo, Samarjit Chakraborty. rtss 2020: 178-190 [doi]

Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime MonitoringShih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang, Qi Zhu 0002. RV 2020: 497-516 [doi]

MaskPlus: Improving Mask Generation for Instance SegmentationShichao Xu, Shuyue Lan, Qi Zhu 0002. wacv 2020: 2019-2027 [doi]

One for Many: Transfer Learning for Building HVAC ControlShichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu 0002. sensys 2020: 230-239 [doi]

Design and Analysis of Delay-Tolerant Intelligent Intersection ManagementBowen Zheng, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu 0002. tcps, 4(1), 2020. [doi]

2019

Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time SystemsZaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu 0002, Brett H. Meyer. tecs, 18(4), 2019. [doi]

Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited PaperJiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu 0002. iccad 2019: 1-8 [doi]

Exploring weakly-hard paradigm for networked systemsChao Huang, Kacper Wardega, Wenchao Li, Qi Zhu 0002. cpsweek 2019: 51-59 [doi]

Formal verification of weakly-hard systemsChao Huang, Wenchao Li, Qi Zhu 0002. hybrid 2019: 197-207 [doi]

ReachNN: Reachability Analysis of Neural-Network Controlled SystemsChao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu 0002. tecs, 18(5s), 2019. [doi]

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded SystemsHengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty, Qi Zhu 0002. iccd 2019: 217-226 [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Qi Zhu 0002'

Viewing Publication 1 - 69 from 69

2024

2023

2022

2021

2020

2019

2018

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Qi Zhu 0002'

Viewing Publication 1 - 69 from 69

2024

2023

2022

2021

2020

2019

2018

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1