Stability Analysis of Switched Fuzzy Systems Via Model Checking. - Zuohua Ding; Yuan Zhou 005; MengChu Zhou (IEEE Trans. Fuzzy Syst., 2014)

Formal modeling and verification of secure mobile agent systems. - Mingyue Jiang; Zuohua Ding; Mengchu Zhou; Yuan Zhou 005 (CASE, 2015)

A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations. - Zuohua Ding; Yuan Zhou 005; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2015)

A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems. - Zuohua Ding; Yuan Zhou 005; Mingyue Jiang; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Online Prediction and Improvement of Reliability for Service Oriented Systems. - Zuohua Ding; Ting Xu; Tiantian Ye; Yuan Zhou 005 (IEEE Trans. Reliab., 2016)

Modeling Self-Adaptive Software Systems With Learning Petri Nets. - Zuohua Ding; Yuan Zhou 005; Mengchu Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2016)

Robust control of automated manufacturing systems with complex structures using Petri Nets. - Nan Du; Hesuan Hu; Yuan Zhou 005; Yang Liu 003 (CASE, 2017)

Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets. - Junyao Hou; Hesuan Hu; Yuan Zhou 005; Yang Liu 003 (CASE, 2017)

A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets. - Xiaojun Wang; Hesuan Hu; Yuan Zhou 005; Yang Liu 003 (CASE, 2017)

Scheduling of single-arm cluster tools with multi-type wafers and shared PMs. - Jipeng Wang; Chunrong Pan; Hesuan Hu; Yuan Zhou 005 (CASE, 2017)

Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Zuohua Ding (IEEE Trans. Syst. Man Cybern. Syst., 2017)

A distributed approach to robust control of multi-robot systems. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Shang-Wei Lin 001; Zuohua Ding (Autom., 2018)

Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets. - Zuohua Ding; Yuan Zhou 005; Mengchu Zhou (IEEE Trans. Fuzzy Syst., 2018)

Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis. - Zuohua Ding; Yuan Zhou 005; Geguang Pu; MengChu Zhou (IEEE Trans. Reliab., 2018)

A Cyclic Scheduling Approach to Single-Arm Cluster Tools With Multiple Wafer Types and Residency Time Constraints. - Jipeng Wang; Chunrong Pan; Hesuan Hu; Liang Li 020; Yuan Zhou 005 (IEEE Trans Autom. Sci. Eng., 2019)

A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Shang-Wei Lin 001; Zuohua Ding (IEEE Trans. Syst. Man Cybern. Syst., 2019)

Distributed approaches to motion planning and control in multi-robot systems - Yuan Zhou 005 (2019)

Privacy-Aware UAV Flights through Self-Configuring Motion Planning. - Yixing Luo; Yijun Yu; Zhi Jin; Yao Li 011; Zuohua Ding; Yuan Zhou 005; Yang Liu 003 (ICRA, 2020)

A distributed method to avoid higher-order deadlocks in multi-robot systems. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Shang-Wei Lin 001; Zuohua Ding (Autom., 2020)

Multi-IF : An Approach to Anomaly Detection in Self-Driving Systems. - Kun Cheng; Yuebin Bai; Yuan Zhou 005; Chao Yu 001; Yang Liu 003 (CoRR, 2020)

Scheduling dual-arm cluster tools with multiple wafer types and residency time constraints. - Jipeng Wang; Hesuan Hu; Chunrong Pan; Yuan Zhou 005; Liang Li 020 (IEEE CAA J. Autom. Sinica, 2020)

CANeleon: Protecting CAN Bus With Frame ID Chameleon. - Kun Cheng; Yuebin Bai; Yuan Zhou 005; Yun Tang 003; David Sanán; Yang Liu 003 (IEEE Trans. Veh. Technol., 2020)

Route Coverage Testing for Autonomous Vehicles via Map Modeling. - Yun Tang 003; Yuan Zhou 005; Fenghua Wu; Yang Liu 003; Jun Sun 001; Wuling Huang; Gang Wang (ICRA, 2021)

A Unified Anomaly Detection Methodology for Lane-Following of Autonomous Driving Systems. - Xingshuo Han; Kangjie Chen; Yuan Zhou 005; Meikang Qiu; Chun Fan 001; Yang Liu 003; Tianwei Zhang 004 (ISPA/BDCloud/SocialCom/SustainCom, 2021)

Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps. - Yun Tang 003; Yuan Zhou 005; Yang Liu 003; Jun Sun 001; Gang Wang (IV, 2021)

Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification. - Yun Tang 003; Yuan Zhou 005; Tianwei Zhang 004; Fenghua Wu; Yang Liu 003; Gang Wang (ASE, 2021)

An Investigation of Byzantine Threats in Multi-Robot Systems. - Gelei Deng; Yuan Zhou 005; Yuan Xu; Tianwei Zhang 004; Yang Liu 003 (RAID, 2021)

A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation. - Ziyuan Zhong; Yun Tang 003; Yuan Zhou 005; Vânia de Oliveira Neves; Yang Liu 003; Baishakhi Ray (CoRR, 2021)

Guardauto: A Decentralized Runtime Protection System for Autonomous Driving. - Kun Cheng; Yuan Zhou 005; Bihuan Chen 001; Rui Wang 014; Yuebin Bai; Yang Liu 003 (IEEE Trans. Computers, 2021)

On the (In)Security of Secure ROS2. - Gelei Deng; Guowen Xu; Yuan Zhou 005; Tianwei Zhang 004; Yang Liu 003 (CCS, 2022)

Physical Backdoor Attacks to Lane Detection Systems in Autonomous Driving. - Xingshuo Han; Guowen Xu; Yuan Zhou 005; Xuehuan Yang; Jiwei Li 001; Tianwei Zhang 004 (ACM Multimedia, 2022)

Clean-Annotation Backdoor Attack against Lane Detection Systems in the Wild. - Xingshuo Han; Guowen Xu; Yuan Zhou 005; Xuehuan Yang; Jiwei Li 001; Tianwei Zhang 004 (CoRR, 2022)

Automatic Map Generation for Autonomous Driving System Testing. - Yun Tang 003; Yuan Zhou 005; Kairui Yang; Ziyuan Zhong; Baishakhi Ray; Yang Liu 003; Ping Zhang; Junbo Chen (CoRR, 2022)

Online adaptation for autonomous unmanned systems driven by requirements satisfaction model. - Yixing Luo; Yuan Zhou 005; Haiyan Zhao 001; Zhi Jin; Tianwei Zhang 004; Yang Liu 003; Danny Barthaud; Yijun Yu (Softw. Syst. Model., 2022)

FLYOVER: A Model-Driven Method to Generate Diverse Highway Interchanges for Autonomous Vehicle Testing. - Yuan Zhou 005; Gengjie Lin; Yun Tang 003; Kairui Yang; Wei Jing; Ping Zhang; Junbo Chen; Liang Gong; Yang Liu 003 (ICRA, 2023)

EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing. - Shuncheng Tang; Zhenya Zhang; Jixiang Zhou; Yuan Zhou 005; Yan-Fu Li; Yinxing Xue (ISSRE, 2023)

BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. - Mingfei Cheng; Yuan Zhou 005; Xiaofei Xie (ISSTA, 2023)

A survey on cybersecurity attacks and defenses for unmanned aerial systems. - Zhaoxuan Wang; Yang Li 055; Shihao Wu; Yuan Zhou 005; Libin Yang; Yuan Xu; Tianwei Zhang 004; Quan Pan 001 (J. Syst. Archit., 2023)

ADS-Lead: Lifelong Anomaly Detection in Autonomous Driving Systems. - Xingshuo Han; Yuan Zhou 005; Kangjie Chen; Han Qiu 001; Meikang Qiu; Yang Liu 003; Tianwei Zhang 004 (IEEE Trans. Intell. Transp. Syst., 2023)

Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles. - Wenbing Tang 001; Yuan Zhou 005; Tianwei Zhang 004; Yang Liu 003; Jing Liu 012; Zuohua Ding (Robotica, 2023)

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. - Wenbing Tang 001; Yuan Zhou 005; Haiying Sun; Yuhong Zhang; Yang Liu 003; Zuohua Ding; Jing Liu 012; Jifeng He 001 (IEEE Robotics Autom. Lett., 2023)

Specification-Based Autonomous Driving System Testing. - Yuan Zhou 005; Yang Sun 008; Yun Tang 003; Yuqi Chen 001; Jun Sun 001; Christopher M. Poskitt; Yang Liu 003; Zijiang Yang 006 (IEEE Trans. Software Eng., 2023)

Adaptive Communications in Collaborative Perception with Domain Alignment for Autonomous Driving. - Senkang Hu; Zhengru Fang; Haonan An 001; Guowen Xu; Yuan Zhou 005; Xianhao Chen; Yuguang Fang (GLOBECOM, 2024)

SmartCooper: Vehicular Collaborative Perception with Adaptive Fusion and Judger Mechanism. - Yuang Zhang; Haonan An 001; Zhengru Fang; Guowen Xu; Yuan Zhou 005; Xianhao Chen; Yuguang Fang (ICRA, 2024)

SoVAR: Build Generalizable Scenarios from Accident Reports for Autonomous Driving Testing. - An Guo 002; Yuan Zhou 005; Haoxiang Tian 001; Chunrong Fang; Yunjian Sun; Weisong Sun; Xinyu Gao; Anh Tuan Luu; Yang Liu 003; Zhenyu Chen 001 (ASE, 2024)

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models. - Shuncheng Tang; Zhenya Zhang; Jixiang Zhou; Lei Lei; Yuan Zhou 005; Yinxing Xue (ASE, 2024)

Backdooring Multimodal Learning. - Xingshuo Han; Yutong Wu 009; Qingjie Zhang; Yuan Zhou 005; Yuan Xu; Han Qiu 001; Guowen Xu; Tianwei Zhang 004 (SP, 2024)

Evaluating Decision Optimality of Autonomous Driving via Metamorphic Testing. - Mingfei Cheng; Yuan Zhou 005; Xiaofei Xie; Junjie Wang 007; Guozhu Meng; Kairui Yang (CoRR, 2024)

An LLM-enhanced Multi-objective Evolutionary Search for Autonomous Driving Test Scenario Generation. - Haoxiang Tian 001; Xingshuo Han; Guoquan Wu; Yuan Zhou 005; Shuo Li; Jun Wei 001; Dan Ye 004; Wei Wang 049; Tianwei Zhang 004 (CoRR, 2024)

SoVAR: Building Generalizable Scenarios from Accident Reports for Autonomous Driving Testing. - An Guo 002; Yuan Zhou 005; Haoxiang Tian 001; Chunrong Fang; Yunjian Sun; Weisong Sun; Xinyu Gao; Anh Tuan Luu; Yang Liu 003; Zhenyu Chen 001 (CoRR, 2024)

DriveTester: A Unified Platform for Simulation-Based Autonomous Driving Testing. - Mingfei Cheng; Yuan Zhou 005; Xiaofei Xie (CoRR, 2024)

Robust motion planning for mobile robots under attacks against obstacle localization. - Fenghua Wu; Wenbing Tang 001; Yuan Zhou 005; Shang-wei Lin; Zuohua Ding; Yang Liu 003 (Robotica, 2024)

Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks. - Wenbing Tang 001; Yuan Zhou 005; Yang Liu 003; Zuohua Ding; Jing Liu 012 (IEEE Trans. Inf. Forensics Secur., 2024)

Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control. - Yuan Zhou 005; Hesuan Hu; Gelei Deng; Kun Cheng; Shang-Wei Lin 001; Yang Liu 003; Zuohua Ding (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems. - Wenbing Tang 001; Jing Liu 012; Yuan Zhou 005; Zuohua Ding (IEEE Trans. Ind. Informatics, 2024)

An LLM-Empowered Adaptive Evolutionary Algorithm for Multi-Component Deep Learning Systems. - Haoxiang Tian 001; Xingshuo Han; Guoquan Wu; An Guo 002; Yuan Zhou 005; Jie Zhang; Shuo Li; Jun Wei 001; Tianwei Zhang 004 (AAAI, 2025)

Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems. - Mingfei Cheng; Xiaofei Xie; Yuan Zhou 005; Junjie Wang 007; Guozhu Meng; Kairui Yang (ICSE, 2025)

MoDitector: Module-Directed Testing for Autonomous Driving Systems. - Renzhi Wang; Mingfei Cheng; Xiaofei Xie; Yuan Zhou 005; Lei Ma 003 (Proc. ACM Softw. Eng., 2025)

Stealthiness Assessment of Adversarial Perturbation: From a Visual Perspective. - Hangcheng Liu; Yuan Zhou 005; Ying Yang 019; Qingchuan Zhao; Tianwei Zhang 004; Tao Xiang 001 (IEEE Trans. Inf. Forensics Secur., 2025)

SSD: A State-based Stealthy Backdoor Attack For Navigation System in UAV Route Planning. - Zhaoxuan Wang; Yang Li 055; Jie Zhang; Xingshuo Han; Kangbo Liu; Lyu Yang; Yuan Zhou 005; Tianwei Zhang 004; Quan Pan 001 (CoRR, 2025)

Causality-aware Safety Testing for Autonomous Driving Systems. - Wenbing Tang 001; Mingfei Cheng; Renzhi Wang; Yuan Zhou 005; Chengwei Liu; Yang Liu 003; Zuohua Ding (CoRR, 2025)

ADReFT: Adaptive Decision Repair for Safe Autonomous Driving via Reinforcement Fine-Tuning. - Mingfei Cheng; Xiaofei Xie; Renzhi Wang; Yuan Zhou 005; Ming Hu 003 (CoRR, 2025)

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems. - Mingfei Cheng; Renzhi Wang; Xiaofei Xie; Yuan Zhou 005; Lei Ma 003 (CoRR, 2025)