On the necessity of barrier certificates
Prajna, Stephen and Rantzer, Anders LU
(2005)
- Abstract
- A methodology for safety verification of nonlinear systems using barrier certificates has been proposed recently. The condition was stated in a sufficiency form: if there exists a barrier certificate, then the system is safe, in the sense that there is no trajectory starting from a given set of initial states that reaches some given unsafe region. Using the concepts of convex duality and density, in this paper we show that the existence of a barrier certificate is also necessary for safety.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/535746
- author
- Prajna, Stephen
and Rantzer, Anders
LU
- organization
- publishing date
- 2005
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- Safety verification, density functions, barrier certificates, convex duality
- host publication
- Proceedings of the 16th IFAC World Congress
- editor
- Piztek, Pavel
- publisher
- Elsevier
- external identifiers
-
- scopus:79960718461
- ISBN
- 0-08-045108-X
- language
- English
- LU publication?
- yes
- id
- ba363dc7-5e42-46e2-b0ba-85209878459c (old id 535746)
- date added to LUP
- 2016-04-04 10:46:21
- date last changed
- 2023-11-15 23:33:19
@inproceedings{ba363dc7-5e42-46e2-b0ba-85209878459c,
abstract = {{A methodology for safety verification of nonlinear systems using barrier certificates has been proposed recently. The condition was stated in a sufficiency form: if there exists a barrier certificate, then the system is safe, in the sense that there is no trajectory starting from a given set of initial states that reaches some given unsafe region. Using the concepts of convex duality and density, in this paper we show that the existence of a barrier certificate is also necessary for safety.}},
author = {{Prajna, Stephen and Rantzer, Anders}},
booktitle = {{Proceedings of the 16th IFAC World Congress}},
editor = {{Piztek, Pavel}},
isbn = {{0-08-045108-X}},
keywords = {{Safety verification; density functions; barrier certificates; convex duality}},
language = {{eng}},
publisher = {{Elsevier}},
title = {{On the necessity of barrier certificates}},
year = {{2005}},
}