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

Preprints

  • [P4] Zhou J, Wu H, Yang K. Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems[J]. arXiv preprint arXiv:2601.20324, 2026. [PDF]
  • [P3] 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]
  • [P2] Yu H, Zhou J, Yang K. Parameter Privacy-Preserving Data Sharing: A Particle-Belief MDP Formulation[J]. arXiv preprint arXiv:2602.04262, 2026. [PDF]
  • [P1] 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]

Journal Paper and AI Conference Proceeding

  • [J10] Zhou J, Wang Y, Yang K. Neural Vector Lyapunov-Razumikhin Certificates for Delayed Interconnected Systems[C]//International Conference on Machine Learning (ICML), 2026. [PDF]
  • [J9] 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]
  • [J8] Zhou J and Yang K. A Parameter Privacy-Preserving Strategy for Mixed-Autonomy Platoon Control[J]. Transportation Research Part C: Emerging Technologies, 2024. [PDF]
  • [J7] 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]
  • [J6] Chen T, Zhou J, Yan L, Yang K. RBCBF: Decoding Time Safety Alignment via Risk Guided Rollback and Barrier Control[C]//International Conference on Machine Learning (ICML), 2026.
  • [J5] Wang Y, Zhou J, Yang K. Hierarchical Decision Making with Structured Policies: A Principled Design via Inverse Optimization[C]//International Conference on Machine Learning (ICML), 2026.
  • [J4] 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]
  • [J3] 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]
  • [J2] 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]
  • [J1] 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]

Other Conference Proceeding

  • [C9] 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]
  • [C8] Zhou J, Wang Z, Yang K. Mixed-Autonomy Platoon Control as Sequence Modeling: A Fairness-Aware Multi-Agent Transformer Approach[C]//2025 IEEE 28th International Conference on Intelligent Transportation Systems (ITSC). IEEE, 2025: 2236-2241. [PDF]
  • [C7] 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]
  • [C6] 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]
  • [C5] 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]
  • [C4] 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]
  • [C3] 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]
  • [C2] 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]
  • [C1] 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]