A contract negotiation scheme for safety verification of interconnected systems
This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. It is well-known that the SOS approach does not scale well for barrier function synthesis for...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2024
|
| _version_ | 1824458750339055616 |
|---|---|
| author | Tan, X Papachristodoulou, A Dimarogonas, DV |
| author_facet | Tan, X Papachristodoulou, A Dimarogonas, DV |
| author_sort | Tan, X |
| collection | OXFORD |
| description | This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. It is well-known that the SOS approach does not scale well for barrier function synthesis for high-dimensional systems. In this paper, we show that compositional methods like AGC can mitigate this problem. We formulate the synthesis problem into a set of small-size problems, which constructs local contracts for subsystems, and propose a negotiation scheme among the subsystems at the contract level. The proposed scheme is then implemented numerically on two examples: vehicle platooning and room temperature regulation. |
| first_indexed | 2024-12-09T03:37:55Z |
| format | Journal article |
| id | oxford-uuid:f5bb1a37-2512-4a57-aa23-873847a36d7f |
| institution | University of Oxford |
| language | English |
| last_indexed | 2025-02-19T04:30:51Z |
| publishDate | 2024 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:f5bb1a37-2512-4a57-aa23-873847a36d7f2024-12-17T11:32:44ZA contract negotiation scheme for safety verification of interconnected systemsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:f5bb1a37-2512-4a57-aa23-873847a36d7fEnglishSymplectic ElementsElsevier2024Tan, XPapachristodoulou, ADimarogonas, DVThis paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. It is well-known that the SOS approach does not scale well for barrier function synthesis for high-dimensional systems. In this paper, we show that compositional methods like AGC can mitigate this problem. We formulate the synthesis problem into a set of small-size problems, which constructs local contracts for subsystems, and propose a negotiation scheme among the subsystems at the contract level. The proposed scheme is then implemented numerically on two examples: vehicle platooning and room temperature regulation. |
| spellingShingle | Tan, X Papachristodoulou, A Dimarogonas, DV A contract negotiation scheme for safety verification of interconnected systems |
| title | A contract negotiation scheme for safety verification of interconnected systems |
| title_full | A contract negotiation scheme for safety verification of interconnected systems |
| title_fullStr | A contract negotiation scheme for safety verification of interconnected systems |
| title_full_unstemmed | A contract negotiation scheme for safety verification of interconnected systems |
| title_short | A contract negotiation scheme for safety verification of interconnected systems |
| title_sort | contract negotiation scheme for safety verification of interconnected systems |
| work_keys_str_mv | AT tanx acontractnegotiationschemeforsafetyverificationofinterconnectedsystems AT papachristodouloua acontractnegotiationschemeforsafetyverificationofinterconnectedsystems AT dimarogonasdv acontractnegotiationschemeforsafetyverificationofinterconnectedsystems AT tanx contractnegotiationschemeforsafetyverificationofinterconnectedsystems AT papachristodouloua contractnegotiationschemeforsafetyverificationofinterconnectedsystems AT dimarogonasdv contractnegotiationschemeforsafetyverificationofinterconnectedsystems |