Converse Barrier Certificate Theorems

Rafael Wisniewski, Christoffer Sloth

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

33 Citationer (Scopus)


This paper 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 paper, 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.
TidsskriftI E E E Transactions on Automatic Control
Udgave nummer5
Sider (fra-til)1356-1361
StatusUdgivet - maj 2016


Dyk ned i forskningsemnerne om 'Converse Barrier Certificate Theorems'. Sammen danner de et unikt fingeraftryk.