Skip to content

Research

Reseach Interest:
   1. Formal Verification of Large-Scale Interconnected Systems
   2. Safe and Secure Control of Intelligent Transportation Systems and Robotics

Publication

Journal Paper

  • Zhou J, Wu H, Yu H, et al. Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems[J]. arXiv preprint arXiv:2509.10118, 2025. [PDF]
  • Zhou J, Yan L, Liang J, et al. Enforcing Cooperative Safety for Reinforcement Learning-based Mixed-Autonomy Platoon Control[J]. IEEE Transactions on Intelligent Transportation Systems, 2025. [PDF]
  • Zhou J and Yang K. A Parameter Privacy-Preserving Strategy for Mixed-Autonomy Platoon Control[J]. Transportation Research Part C: Emerging Technologies, 2024. [PDF]
  • Zhou J, Yan L, Yang K. Enhancing System-Level Safety in Mixed-Autonomy Platoon via Safe Reinforcement Learning[J]. IEEE Transactions on Intelligent Vehicles, 2024. [PDF]
  • Shu Y, Zhou J, Zhang F. Agile Decision-Making and Safety-Critical Motion Planning for Emergency Autonomous Vehicles[J]. IEEE Transactions on Intelligent Transportation Systems, 2025. [PDF]
  • Liang J, Tan C, Yan L, Zhou J, et al. Interaction-Aware Trajectory Prediction for Safe Motion Planning in Autonomous Driving: A Transformer-Transfer Learning Approach[J]. IEEE Transactions on Intelligent Transportation Systems, 2025. [PDF]
  • Yang R, Zhou J, Wang Q, et al. Platoon-Centric Green Light Optimal Speed Advisory Using Safe Reinforcement Learning[J]. IEEE Transactions on Vehicular Technology, 2025. [PDF]
  • Li S, Zhou J, Wang J, et al. Robust explicit data-driven predictive control for mixed vehicle platoons[J]. IEEE Internet of Things Journal, 2025. [PDF]
  • Yan L, Zhou J, Yang K. Control-Aware Trajectory Predictions for Communication-Efficient Drone Swarm Coordination in Cluttered Environments[J]. arXiv preprint arXiv:2401.12852, 2024. [PDF]

Conference Paper

  • Zhou J, Yan L, Liang J, et al. Safe Reinforcement Learning for Mixed-Autonomy Platoons: A Cooperative Control Barrier Function Approach[C]//2025 American Control Conference (ACC). IEEE, 2025: 361-367. [PDF]
  • Zhou J, Wu H, Yan L, et al. Synthesis and Verification of String Stable Control for Interconnected Systems via Neural sISS Certificate[C]//ICLR 2025 Workshop: VerifAI: AI Verification in the Wild. [PDF]
  • Zhou J, Yan L, Yang K. Safe Reinforcement Learning for Mixed-Autonomy Platoon Control[C]//2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC). IEEE, 2023: 5744-5749. [PDF]
  • Zhou J, Yu H. Safety Critical Control of Mixed-autonomy Traffic via a Single Autonomous Vehicle[C]//2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC). IEEE, 2022: 3089-3094. [PDF]
  • Zhou J, Leong C, Lin M, et al. Task adaptive network for image restoration with combined degradation factors[C]//Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision. 2022: 1-8. [PDF]
  • Yan L, Zhou J, Yang K. Control-Aware Trajectory Prediction for Communication-Free Drone Swarm Coordination in Cluttered Environments[C]//2025 American Control Conference (ACC). IEEE, 2025: 3520-3526. [PDF]
  • Yu H, Zhou J, Yang K. Interaction-Aware Parameter Privacy-Preserving Data Sharing in Coupled Systems via Particle Filter Reinforcement Learning[C]//Proceedings of the 7th Annual Learning for Dynamics & Control Conference, PMLR 283:1525-1536, 2025. [PDF]
  • Shu Y, Zhou J, Zhang F. Safety-critical Decision-making and Control for Autonomous Vehicles with Highest Priority[C]//2023 IEEE Intelligent Vehicles Symposium (IV). IEEE, 2023: 1-8. [PDF]