A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems*

Abstract : In this paper, the safety synthesis problem for a discrete-time system comprised by multiple interconnected systems is considered. Using compositional reasoning, a quantitative framework is applied to each of the subsystems. With this framework it has been possible to derive robust controlled invariant subsets for each of the subsystems with respect to the control invariant subsets of the other subsystems. These invariant subsets can be computed from a parameterized family of sets and they share a common safety controller. Contract-based design is utilized to built assume-guarantee contracts for all the subsystems, namely to assume that the other subsystems belong to their invariant sets and guarantee that the subsystem will belong to its invariant set. This circularity of the implications can be resolved by a fixed point algorithm which computes the parameters to guarantee that all the subsystems fulfill their contracts simultaneously. Then, the invariant set and the safety controller are given for the original system. To illustrate the effectiveness of the proposed approach, an application for the temperature regulation of adjacent rooms of a building is given as an example.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02148745
Contributor : Antoine Girard <>
Submitted on : Wednesday, June 5, 2019 - 5:41:20 PM
Last modification on : Friday, September 13, 2019 - 3:35:39 PM

File

ECC19_FINAL.pdf
Files produced by the author(s)

Identifiers

Citation

Alina Eqtami, Antoine Girard. A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems*. 18th European Control Conference (ECC), Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796276 ⟩. ⟨hal-02148745⟩

Share

Metrics

Record views

59

Files downloads

128