Converse barrier certificate theorem

Rafael Wisniewski, Christoffer Sloth

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


This paper presents a converse barrier certificate theorem for a generic dynamical system.We show that a barrier certificate exists for any safe dynamical system defined on a compact manifold. Other authors have developed a related result, by assuming that the dynamical system has no singular points in the considered subset of the state space. In this paper, we redefine the standard notion of safety to comply with generic dynamical systems with multiple singularities. Afterwards, we prove the converse barrier certificate theorem and illustrate the differences between ours and previous work by simple examples.

Original languageEnglish
Title of host publicationProceedings of the 2013 IEEE 52nd Annual Conference on Decision and Control
Number of pages6
Publication date2013
Article number6760627
ISBN (Print)9781467357173
Publication statusPublished - 2013
Externally publishedYes
Event52nd IEEE Conference on Decision and Control, CDC 2013 - Florence, Italy
Duration: 10. Dec 201313. Dec 2013


Conference52nd IEEE Conference on Decision and Control, CDC 2013
SponsorHoneywell, MathWorks, Springer, Taylor and Francis Group, University of Trieste


Dive into the research topics of 'Converse barrier certificate theorem'. Together they form a unique fingerprint.

Cite this