Abstract
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.
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.
Originalsprog | Engelsk |
---|---|
Titel | Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on |
Antal sider | 6 |
Forlag | IEEE |
Publikationsdato | 2013 |
Sider | 4713-4718 |
ISBN (Trykt) | 978-1-4673-5717-3 |
DOI | |
Status | Udgivet - 2013 |
Begivenhed | 52nd Annual IEEE Conference on Decision and Control (CDC) - Congress Centre, Firenze, Italien Varighed: 10 dec. 2013 → 13 dec. 2013 Konferencens nummer: 58 |
Konference
Konference | 52nd Annual IEEE Conference on Decision and Control (CDC) |
---|---|
Nummer | 58 |
Lokation | Congress Centre |
Land/Område | Italien |
By | Firenze |
Periode | 10/12/2013 → 13/12/2013 |
Navn | I E E E Conference on Decision and Control. Proceedings |
---|---|
ISSN | 0743-1546 |