Converse Theorems for Safety and Barrier Certificates
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2018.2792325
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… read more here.
Keywords: converse theorems; barrier; safety barrier; barrier certificate ... See more keywords