Converse Barrier Certificate Theorem

Rafael Wisniewski, Christoffer Sloth

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

9 Citationer (Scopus)

Resumé

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.
OriginalsprogEngelsk
TitelDecision and Control (CDC), 2013 IEEE 52nd Annual Conference on
Antal sider6
ForlagIEEE
Publikationsdato2013
Sider4713-4718
ISBN (Trykt)978-1-4673-5717-3
DOI
StatusUdgivet - 2013
Begivenhed52nd Annual IEEE Conference on Decision and Control (CDC) - Congress Centre, Firenze, Italien
Varighed: 10 dec. 201313 dec. 2013
Konferencens nummer: 58

Konference

Konference52nd Annual IEEE Conference on Decision and Control (CDC)
Nummer58
LokationCongress Centre
LandItalien
ByFirenze
Periode10/12/201313/12/2013
NavnI E E E Conference on Decision and Control. Proceedings
ISSN0743-1546

Fingerprint

Certificate
Converse
Dynamical system
Theorem
Singular Point
Compact Manifold
State Space
Safety
Singularity
Subset

Citer dette

Wisniewski, R., & Sloth, C. (2013). Converse Barrier Certificate Theorem. I Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on (s. 4713-4718). IEEE. I E E E Conference on Decision and Control. Proceedings https://doi.org/10.1109/CDC.2013.6760627
Wisniewski, Rafael ; Sloth, Christoffer. / Converse Barrier Certificate Theorem. Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on . IEEE, 2013. s. 4713-4718 (I E E E Conference on Decision and Control. Proceedings).
@inproceedings{cf23fc1d3a24488fa3d75cfdb306cd12,
title = "Converse Barrier Certificate Theorem",
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.",
author = "Rafael Wisniewski and Christoffer Sloth",
year = "2013",
doi = "10.1109/CDC.2013.6760627",
language = "English",
isbn = "978-1-4673-5717-3",
series = "I E E E Conference on Decision and Control. Proceedings",
publisher = "IEEE",
pages = "4713--4718",
booktitle = "Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on",
address = "United States",

}

Wisniewski, R & Sloth, C 2013, Converse Barrier Certificate Theorem. i Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on . IEEE, I E E E Conference on Decision and Control. Proceedings, s. 4713-4718, 52nd Annual IEEE Conference on Decision and Control (CDC), Firenze, Italien, 10/12/2013. https://doi.org/10.1109/CDC.2013.6760627

Converse Barrier Certificate Theorem. / Wisniewski, Rafael; Sloth, Christoffer.

Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on . IEEE, 2013. s. 4713-4718 (I E E E Conference on Decision and Control. Proceedings).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Converse Barrier Certificate Theorem

AU - Wisniewski, Rafael

AU - Sloth, Christoffer

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

U2 - 10.1109/CDC.2013.6760627

DO - 10.1109/CDC.2013.6760627

M3 - Article in proceeding

SN - 978-1-4673-5717-3

T3 - I E E E Conference on Decision and Control. Proceedings

SP - 4713

EP - 4718

BT - Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on

PB - IEEE

ER -

Wisniewski R, Sloth C. Converse Barrier Certificate Theorem. I Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on . IEEE. 2013. s. 4713-4718. (I E E E Conference on Decision and Control. Proceedings). https://doi.org/10.1109/CDC.2013.6760627