Abstract
This paper focuses on distributed controller synthesis for ensuring the safety of large-scale systems with unknown dynamics and known interconnection structures, employing control barrier certificates. Our approach centers on a distributed framework tailored to create control barrier certificates for safety, utilizing the interconnections within large-scale systems. We introduce a novel application of graph neural networks to synthesize these certificates and distributed controllers in a data-driven fashion. The formal correctness of trained networks is subsequently validated through data-driven techniques involving the solution of a sampling-based optimization problem. To illustrate the effectiveness of our methodology, we conduct experiments on a complex interconnected system comprising as many as 1000 components.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
