Yuan Zhou

Affiliations:
  • Nanyang Technological University, School of Computer Science and Engineering, Singapore
  • Zhejiang Sci-Tech University, Laboratory of Intelligent Computing and Software Engineering, Hangzhou, China (former)


According to our database1, Yuan Zhou authored at least 45 papers between 2014 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems.
IEEE Trans. Ind. Informatics, March, 2024

Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control.
IEEE Trans. Syst. Man Cybern. Syst., February, 2024

Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks.
IEEE Trans. Inf. Forensics Secur., 2024

2023
Specification-Based Autonomous Driving System Testing.
IEEE Trans. Software Eng., June, 2023

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks.
IEEE Robotics Autom. Lett., March, 2023

Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles.
Robotica, February, 2023

ADS-Lead: Lifelong Anomaly Detection in Autonomous Driving Systems.
IEEE Trans. Intell. Transp. Syst., January, 2023

A survey on cybersecurity attacks and defenses for unmanned aerial systems.
J. Syst. Archit., 2023

BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

FLYOVER: A Model-Driven Method to Generate Diverse Highway Interchanges for Autonomous Vehicle Testing.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022
Online adaptation for autonomous unmanned systems driven by requirements satisfaction model.
Softw. Syst. Model., 2022

Automatic Map Generation for Autonomous Driving System Testing.
CoRR, 2022

Clean-Annotation Backdoor Attack against Lane Detection Systems in the Wild.
CoRR, 2022

Physical Backdoor Attacks to Lane Detection Systems in Autonomous Driving.
Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

On the (In)Security of Secure ROS2.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021
Guardauto: A Decentralized Runtime Protection System for Autonomous Driving.
IEEE Trans. Computers, 2021

A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation.
CoRR, 2021

An Investigation of Byzantine Threats in Multi-Robot Systems.
Proceedings of the RAID '21: 24th International Symposium on Research in Attacks, 2021

Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

A Unified Anomaly Detection Methodology for Lane-Following of Autonomous Driving Systems.
Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

Route Coverage Testing for Autonomous Vehicles via Map Modeling.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020
CANeleon: Protecting CAN Bus With Frame ID Chameleon.
IEEE Trans. Veh. Technol., 2020

Scheduling dual-arm cluster tools with multiple wafer types and residency time constraints.
IEEE CAA J. Autom. Sinica, 2020

Multi-IF : An Approach to Anomaly Detection in Self-Driving Systems.
CoRR, 2020

A distributed method to avoid higher-order deadlocks in multi-robot systems.
Autom., 2020

Privacy-Aware UAV Flights through Self-Configuring Motion Planning.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019
Distributed approaches to motion planning and control in multi-robot systems
PhD thesis, 2019

A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2019

A Cyclic Scheduling Approach to Single-Arm Cluster Tools With Multiple Wafer Types and Residency Time Constraints.
IEEE Trans Autom. Sci. Eng., 2019

2018
Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis.
IEEE Trans. Reliab., 2018

Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets.
IEEE Trans. Fuzzy Syst., 2018

A distributed approach to robust control of multi-robot systems.
Autom., 2018

2017
Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Scheduling of single-arm cluster tools with multi-type wafers and shared PMs.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Robust control of automated manufacturing systems with complex structures using Petri Nets.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016
Modeling Self-Adaptive Software Systems With Learning Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2016

Online Prediction and Improvement of Reliability for Service Oriented Systems.
IEEE Trans. Reliab., 2016

2015
A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2015

A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations.
IEEE Trans Autom. Sci. Eng., 2015

Formal modeling and verification of secure mobile agent systems.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
Stability Analysis of Switched Fuzzy Systems Via Model Checking.
IEEE Trans. Fuzzy Syst., 2014


  Loading...