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
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
2016-10-13 04:41:58
@misc{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},
  editor       = {Piztek, Pavel},
  isbn         = {0-08-045108-X},
  keyword      = {Safety verification,density functions,barrier certificates,convex duality},
  language     = {eng},
  publisher    = {ARRAY(0x8dba770)},
  series       = {Proceedings of the 16th IFAC World Congress},
  title        = {On the necessity of barrier certificates},
  year         = {2005},
}