Converse Theorems for Safety and Barrier Certificates
classification
💻 cs.SY
cs.SY
keywords
barriercertificatesafetycertificatesconstructionconversedifferentialdynamical
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.