An important tool for proving the safety of dynamical systems is the notion of a barrier certificate. In this paper, we prove that every robustly safe ordinary differential equation has… Click to show full abstract
An important tool for proving the 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.
Keywords:
converse theorems;
barrier;
safety barrier;
barrier certificate;
safety;
theorems safety
Journal Title: IEEE Transactions on Automatic Control
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: IEEE Transactions on Automatic Control
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!