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.
| Original language | English |
|---|---|
| Title of host publication | Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on |
| Number of pages | 6 |
| Publisher | IEEE |
| Publication date | 2013 |
| Pages | 4713-4718 |
| ISBN (Print) | 978-1-4673-5717-3 |
| DOIs | |
| Publication status | Published - 2013 |
| Event | 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Congress Centre, Firenze, Italy Duration: 10 Dec 2013 → 13 Dec 2013 Conference number: 58 |
Conference
| Conference | 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) |
|---|---|
| Number | 58 |
| Location | Congress Centre |
| Country/Territory | Italy |
| City | Firenze |
| Period | 10/12/2013 → 13/12/2013 |
| Series | I E E E Conference on Decision and Control. Proceedings |
|---|---|
| ISSN | 0743-1546 |