Converse Theorems for Safety and Barrier Certificates
arXiv:1701.03948h-index: 18
Originality Incremental advance
AI Analysis
Provides theoretical guarantees for the existence of barrier certificates, a key tool for safety verification of dynamical systems.
The paper proves that every robustly safe ordinary differential equation has a barrier certificate, and provides a construction based on reachable states in finite time.
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.