Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913022786666496 |
|---|---|
| author | Zaker, Mahdieh Akbarzadeh, Omid Samari, Behrad Lavaei, Abolfazl |
| author_facet | Zaker, Mahdieh Akbarzadeh, Omid Samari, Behrad Lavaei, Abolfazl |
| contents | In this work, we propose a compositional scheme based on small-gain reasoning to synthesize safety controllers for interconnected stochastic hybrid systems. In our proposed setting, we first offer an augmented scheme that characterizes each stochastic hybrid subsystem, endowed with both continuous evolution and instantaneous jumps, within a unified framework including both scenarios, implying that its state trajectories coincide with those of the original hybrid subsystem. We then introduce the concept of augmented control sub-barrier certificates (A-CSBCs) for each subsystem, thereby enabling the construction of an augmented control barrier certificate (A-CBC) for an interconnected network (from A-CSBCs of its subsystems) along with its safety controller under small-gain compositional conditions. We eventually leverage the constructed A-CBC to derive a guaranteed lower bound on the safety probability of the interconnected network. While in a monolithic scheme the computational complexity of synthesizing a control barrier certificate via sum-of-squares (SOS) optimization scales polynomially with the overall network size, the proposed compositional framework reduces this dependence to the subsystem size. We illustrate the efficacy of the proposed approach on an interconnected network comprising 1000 stochastic hybrid subsystems with nonlinear dynamics under two distinct interconnection topologies. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_10018 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems Zaker, Mahdieh Akbarzadeh, Omid Samari, Behrad Lavaei, Abolfazl Systems and Control In this work, we propose a compositional scheme based on small-gain reasoning to synthesize safety controllers for interconnected stochastic hybrid systems. In our proposed setting, we first offer an augmented scheme that characterizes each stochastic hybrid subsystem, endowed with both continuous evolution and instantaneous jumps, within a unified framework including both scenarios, implying that its state trajectories coincide with those of the original hybrid subsystem. We then introduce the concept of augmented control sub-barrier certificates (A-CSBCs) for each subsystem, thereby enabling the construction of an augmented control barrier certificate (A-CBC) for an interconnected network (from A-CSBCs of its subsystems) along with its safety controller under small-gain compositional conditions. We eventually leverage the constructed A-CBC to derive a guaranteed lower bound on the safety probability of the interconnected network. While in a monolithic scheme the computational complexity of synthesizing a control barrier certificate via sum-of-squares (SOS) optimization scales polynomially with the overall network size, the proposed compositional framework reduces this dependence to the subsystem size. We illustrate the efficacy of the proposed approach on an interconnected network comprising 1000 stochastic hybrid subsystems with nonlinear dynamics under two distinct interconnection topologies. |
| title | Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2409.10018 |