On the Existence of Compositional Barrier Certificates

Christoffer Sloth, Rafael Wisniewski, George J. Pappas

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

22 Citationer (Scopus)

Abstract

This paper provides a necessary and sufficient condition for the compositional verification of a continuous system with additively separable barrier functions. The compositional safety verification enables the verification of an interconnection of subsystems. The idea behind the compositional analysis is to allow the verification of systems with a high dimension, by the verification of multiple lower dimensional subproblems. In the compositional safety analysis, a particular structure is imposed on the barrier certificate, restricting the applicability of the method.

We show an example of a system that cannot be verified using the compositional method, but can be verified using a centralized method. This example highlights how not to decompose systems, and should be used to guide the decomposition of a system into appropriate subsystems. Finally, we provide a second condition for the compositional safety analysis that enables the verification of the counterexample, by imposing a less restrictive structure of the barrier function. This shows that the counterexample can be solved with a compositional method, but at an increased computational complexity.
OriginalsprogEngelsk
TidsskriftI E E E Conference on Decision and Control. Proceedings
Sider (fra-til)4580-4585
Antal sider6
ISSN0743-1546
DOI
StatusUdgivet - 2012
Begivenhed51st IEEE Conference on Decision and Control (CDC) - Hawaii, Maui, USA
Varighed: 10 dec. 201213 dec. 2012

Konference

Konference51st IEEE Conference on Decision and Control (CDC)
LokationHawaii
Land/OmrådeUSA
ByMaui
Periode10/12/201213/12/2012

Fingeraftryk

Dyk ned i forskningsemnerne om 'On the Existence of Compositional Barrier Certificates'. Sammen danner de et unikt fingeraftryk.

Citationsformater