Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
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…
eess.SY2025
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…