Converse Theorems for Safety and Barrier Certificates
Not on the map. Why?
Abstract (arXiv)
An important tool for proving safety of dynamical systems is the notion of a barrier certificate. In this paper 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.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 14 Jan 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2023: 1.
1 paper.