Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching
Abolfazl Lavaei, Emilio Frazzoli

TL;DR
This paper introduces a compositional method for synthesizing safety controllers for interconnected stochastic systems with Markovian switching, using storage and barrier certificates to ensure safety over finite horizons.
Contribution
It develops a novel compositional framework leveraging sum-of-squares optimization and dissipativity theory for safety controller synthesis in complex stochastic systems.
Findings
Successfully applied to a 200-room temperature network.
Achieved safety guarantees with probabilistic bounds.
Demonstrated scalability with system size and structure.
Abstract
In this work, we propose a compositional scheme for the safety controller synthesis of interconnected discrete-time stochastic systems with Markovian switching signals. Our proposed approach is based on a notion of so-called control storage certificates computed for individual subsystems, by leveraging which, one can synthesize state-feedback controllers for interconnected systems to enforce safety specifications over finite time horizons. To do so, we employ a sum-of-squares (SOS) optimization approach to search for multiple storage certificates of each switching subsystem while synthesizing its corresponding safety controller. We then utilize dissipativity theory to compositionally construct barrier certificates for interconnected systems based on storage certificates of individual subsystems. The proposed dissipativity-type compositional conditions can leverage the structure of the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPetri Nets in System Modeling · Fault Detection and Control Systems · Advanced Control Systems Optimization
