9 papers · 1 filter
Parameter Privacy-Preserving Data Sharing: A Particle-Belief MDP Formulation
Haokun Yu, Jingyuan Zhou, Kaidi Yang
This paper investigates parameter-privacy-preserving data sharing in continuous-state dynamical systems, where a data owner designs a data-sharing policy to support downstream esti…
Fostering Data Collaboration in Digital Transportation Marketplaces: The Role of Privacy-Preserving Mechanisms
Qiqing Wang, Haokun Yu, Kaidi Yang
Data collaboration between municipal authorities (MA) and mobility providers (MPs) has brought tremendous benefits to transportation systems in the era of big data. Engaging in col…
Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
Jingyuan Zhou, Haoze Wu, Kaidi Yang
Providing formal guarantees for neural network-based controllers in large-scale interconnected systems remains a fundamental challenge. In particular, using neural certificates to…
Robust Nonlinear Data-Driven Predictive Control for Mixed Vehicle Platoons via Koopman Operator and Reachability Analysis
Shuai Li, Jiawei Wang, Kaidi Yang +3
Mixed vehicle platoons, comprising connected and automated vehicles (CAVs) and human-driven vehicles (HDVs), hold significant potential for enhancing traffic performance. However,…
Platoon-Centric Green Light Optimal Speed Advisory Using Safe Reinforcement Learning
Ruining Yang, Jingyuan Zhou, Qiqing Wang +2
With recent advancements in Connected Autonomous Vehicles (CAVs), Green Light Optimal Speed Advisory (GLOSA) emerges as a promising eco-driving strategy to reduce the number of sto…
Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems
Jingyuan Zhou, Haoze Wu, Haokun Yu +1
Ensuring string stability is critical for the safety and efficiency of large-scale interconnected systems. Although learning-based controllers (e.g., those based on reinforcement l…