Advanced

On the necessity of barrier certificates

Prajna, Stephen and Rantzer, Anders LU (2005) In Proceedings of the 16th IFAC World Congress
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:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
Safety verification, density functions, barrier certificates, convex duality
in
Proceedings of the 16th IFAC World Congress
editor
Piztek, Pavel and
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
2007-09-24 15:59:12
date last changed
2017-01-01 07:59:38
@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},
  keyword      = {Safety verification,density functions,barrier certificates,convex duality},
  language     = {eng},
  publisher    = {Elsevier},
  title        = {On the necessity of barrier certificates},
  year         = {2005},
}