Number of the records: 1
Converse Theorems for Safety and Barrier Certificates
- 1.0487250 - ÚI 2019 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : Safety * Robustness * Radio frequency * Differential equations * Tools * Computer science * Controllability
OECD category: Robotics and automatic control
Impact factor: 5.093, year: 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.
Permanent Link: http://hdl.handle.net/11104/0281922
File Download Size Commentary Version Access a0487250.pdf 7 282.8 KB Publisher’s postprint require
Number of the records: 1