11 papers
Hierarchical Decision Making with Structured Policies: A Principled Design via Inverse Optimization
Yuexuan Wang, Jingyuan Zhou, Kaidi Yang
Hierarchical decision-making frameworks are pivotal for addressing complex control tasks, enabling agents to decompose intricate problems into manageable subgoals. Despite their pr…
Neural Vector Lyapunov-Razumikhin Certificates for Delayed Interconnected Systems
Jingyuan Zhou, Yuexuan Wang, Kaidi Yang
Ensuring scalable input-to-state stability (sISS) is critical for the safety and reliability of large-scale interconnected systems, especially in the presence of communication dela…
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…
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…
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…