IEEE Transactions on Automatic Control, Vol.61, No.5, 1356-1361, 2016
Converse Barrier Certificate Theorems
This technical note shows that a barrier certificate exists for any safe dynamical system. Specifically, we prove converse barrier certificate theorems for a class of structurally stable dynamical systems. Other authors have developed a related result by assuming that the dynamical system has neither singular points nor closed orbits. In this technical note, we redefine the standard notion of safety to comply with dynamical systems with multiple singular elements. Hereafter, we prove the converse barrier certificate theorems and highlight the differences between our results and previous work by a number of illustrative examples.
Keywords:Barrier certificates;safety verification