References & Citations
Electrical Engineering and Systems Science > Systems and Control
Title: A contract negotiation scheme for safety verification of interconnected systems
(Submitted on 6 Nov 2023 (v1), last revised 27 Mar 2024 (this version, v2))
Abstract: 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.
Submission history
From: Xiao Tan [view email][v1] Mon, 6 Nov 2023 14:58:43 GMT (509kb,D)
[v2] Wed, 27 Mar 2024 22:36:50 GMT (300kb,D)
Link back to: arXiv, form interface, contact.