화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.63, No.8, 2628-2632, 2018
Converse Theorems for Safety and Barrier Certificates
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.