Converse Theorems for Safety and Barrier Certificates
Computer Science - Systems and Control
arxiv: Computer Science::Symbolic Computation | Computer Science::Cryptography and Security
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.