From Dissipativity Theory to Compositional Construction of Control Barrier Certificates
This paper proposes a compositional framework based on dissipativity approaches to construct control barrier certificates for networks of continuous-time stochastic hybrid systems. The proposed scheme leverages the structure of the interconnection topology and a notion of so-called control storage c...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
2022-12-01
|
| Series: | Leibniz Transactions on Embedded Systems |
| Subjects: | |
| Online Access: | https://drops.dagstuhl.de/storage/07lites/lites_vol008/lites_vol008_issue002/LITES.8.2.6/LITES.8.2.6.pdf |
| _version_ | 1797208378898907136 |
|---|---|
| author | Nejati, Ameneh Zamani, Majid |
| author_facet | Nejati, Ameneh Zamani, Majid |
| author_sort | Nejati, Ameneh |
| collection | DOAJ |
| description | This paper proposes a compositional framework based on dissipativity approaches to construct control barrier certificates for networks of continuous-time stochastic hybrid systems. The proposed scheme leverages the structure of the interconnection topology and a notion of so-called control storage certificates to construct control barrier certificates compositionally. By utilizing those certificates, one can compositionally synthesize state-feedback controllers for interconnected systems enforcing safety specifications over a finite-time horizon. In particular, we leverage dissipativity-type compositionality conditions to construct control barrier certificates for interconnected systems based on corresponding control storage certificates computed for subsystems. Using those constructed control barrier certificates, one can quantify upper bounds on probabilities that interconnected systems reach certain unsafe regions in finite-time horizons. We employ a systematic technique based on the sum-of-squares optimization program to search for storage certificates of subsystems together with their corresponding safety controllers. We demonstrate our proposed results by applying them to a temperature regulation in a circular building containing 1000 rooms. To show the applicability of our approaches to dense networks, we also apply our proposed techniques to a fully-interconnected network. |
| first_indexed | 2024-04-24T09:37:52Z |
| format | Article |
| id | doaj.art-a448bf869765417888665620e44b0ec8 |
| institution | Directory Open Access Journal |
| issn | 2199-2002 |
| language | English |
| last_indexed | 2024-04-24T09:37:52Z |
| publishDate | 2022-12-01 |
| publisher | Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik |
| record_format | Article |
| series | Leibniz Transactions on Embedded Systems |
| spelling | doaj.art-a448bf869765417888665620e44b0ec82024-04-15T07:54:38ZengSchloss Dagstuhl -- Leibniz-Zentrum fuer InformatikLeibniz Transactions on Embedded Systems2199-20022022-12-018206:106:1710.4230/LITES.8.2.6From Dissipativity Theory to Compositional Construction of Control Barrier CertificatesNejati, Ameneh0https://orcid.org/0000-0002-9065-1282Zamani, Majid1https://orcid.org/0000-0001-6608-3708Department of Electrical Engineering, Technical University of Munich, GermanyDepartment of Computer Science, University of Colorado Boulder, USAThis paper proposes a compositional framework based on dissipativity approaches to construct control barrier certificates for networks of continuous-time stochastic hybrid systems. The proposed scheme leverages the structure of the interconnection topology and a notion of so-called control storage certificates to construct control barrier certificates compositionally. By utilizing those certificates, one can compositionally synthesize state-feedback controllers for interconnected systems enforcing safety specifications over a finite-time horizon. In particular, we leverage dissipativity-type compositionality conditions to construct control barrier certificates for interconnected systems based on corresponding control storage certificates computed for subsystems. Using those constructed control barrier certificates, one can quantify upper bounds on probabilities that interconnected systems reach certain unsafe regions in finite-time horizons. We employ a systematic technique based on the sum-of-squares optimization program to search for storage certificates of subsystems together with their corresponding safety controllers. We demonstrate our proposed results by applying them to a temperature regulation in a circular building containing 1000 rooms. To show the applicability of our approaches to dense networks, we also apply our proposed techniques to a fully-interconnected network.https://drops.dagstuhl.de/storage/07lites/lites_vol008/lites_vol008_issue002/LITES.8.2.6/LITES.8.2.6.pdfcompositional barrier certificatesstochastic hybrid systemsdissipativity theorylarge-scale networksformal controller synthesis |
| spellingShingle | Nejati, Ameneh Zamani, Majid From Dissipativity Theory to Compositional Construction of Control Barrier Certificates Leibniz Transactions on Embedded Systems compositional barrier certificates stochastic hybrid systems dissipativity theory large-scale networks formal controller synthesis |
| title | From Dissipativity Theory to Compositional Construction of Control Barrier Certificates |
| title_full | From Dissipativity Theory to Compositional Construction of Control Barrier Certificates |
| title_fullStr | From Dissipativity Theory to Compositional Construction of Control Barrier Certificates |
| title_full_unstemmed | From Dissipativity Theory to Compositional Construction of Control Barrier Certificates |
| title_short | From Dissipativity Theory to Compositional Construction of Control Barrier Certificates |
| title_sort | from dissipativity theory to compositional construction of control barrier certificates |
| topic | compositional barrier certificates stochastic hybrid systems dissipativity theory large-scale networks formal controller synthesis |
| url | https://drops.dagstuhl.de/storage/07lites/lites_vol008/lites_vol008_issue002/LITES.8.2.6/LITES.8.2.6.pdf |
| work_keys_str_mv | AT nejatiameneh fromdissipativitytheorytocompositionalconstructionofcontrolbarriercertificates AT zamanimajid fromdissipativitytheorytocompositionalconstructionofcontrolbarriercertificates |