Converse Theorems for Safety and Barrier Certificates

0487250 - ÚI 2019 RIV US eng J - Článek v odborném periodiku
Ratschan, Stefan
Converse Theorems for Safety and Barrier Certificates.
IEEE Transactions on Automatic Control. Roč. 63, č. 8 (2018), s. 2628-2632. ISSN 0018-9286. E-ISSN 1558-2523
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: Safety * Robustness * Radio frequency * Differential equations * Tools * Computer science * Controllability
Obor OECD: Robotics and automatic control
Impakt faktor: 5.093, rok: 2018

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.
Trvalý link: http://hdl.handle.net/11104/0281922