Converse Theorems for Safety and Barrier Certificates

Autoři: doc. Dipl. Ing. Stefan Ratschan, Dr. tech.
Rok vydání: 2018
Typ publikace: Článek v odborném periodiku
Periodikum: IEEE Transactions on Automatic Control
Projekty: Výpočet robustních invariantů hybridních dynamických systémů s využitím simulací
Bibliografická citace: RATSCHAN, Stefan. Converse Theorems for Safety and Barrier Certificates. IEEE Transactions on Automatic Control. 2018, 63(8), 2628-2632. ISSN 0018-9286. E-ISSN 1558-2523
Dostupné z: doi:10.1109/TAC.2018.2792325
DOI: 10.1109/TAC.2018.2792325
ID: 487250

Abstrakt

An important tool for proving safety of dynamical systems is the notion of a barrier certificate. In this technical note we prove that every robustly safe ordinary differential equation has a barrier certificate. Moreover, we show a construction of such a barrier certificate based on a set of states that is reachable in finite time.