Primal-dual tests for safety and reachability
(2005) 3414. p.542-556- Abstract
- A methodology for safety verification using barrier certificates has been proposed recently, Conditions that must be satisfied by a barrier certificate can be formulated as a convex program, and the feasibility of the program implies system safety, in the sense that there is no trajectory starting from a given set of initial states that reaches a given unsafe region. The dual of this problem, i.e., the reachability problem, concerns proving the existence of a trajectory starting from the initial set that reaches another given set. Using insights from convex duality and the concept of density functions, in this paper we show that reachability can also be verified through convex programming. Several convex programs for verifying safety,... (More)
- A methodology for safety verification using barrier certificates has been proposed recently, Conditions that must be satisfied by a barrier certificate can be formulated as a convex program, and the feasibility of the program implies system safety, in the sense that there is no trajectory starting from a given set of initial states that reaches a given unsafe region. The dual of this problem, i.e., the reachability problem, concerns proving the existence of a trajectory starting from the initial set that reaches another given set. Using insights from convex duality and the concept of density functions, in this paper we show that reachability can also be verified through convex programming. Several convex programs for verifying safety, reachability, and other properties such as eventuality are formulated. Some examples are provided to illustrate their applications. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/238740
- author
- Prajna, S and Rantzer, Anders LU
- organization
- publishing date
- 2005
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- Hybrid Systems: Computation and Control (Lecture Notes in Computer Science)
- volume
- 3414
- pages
- 542 - 556
- publisher
- Springer
- external identifiers
-
- wos:000229036300035
- scopus:24344500489
- ISSN
- 0302-9743
- 1611-3349
- ISBN
- 978-3-540-25108-8
- DOI
- 10.1007/b106766
- language
- English
- LU publication?
- yes
- id
- 607af536-3918-4590-8d8d-b0aec2ec5878 (old id 238740)
- date added to LUP
- 2016-04-01 12:25:56
- date last changed
- 2024-06-18 20:51:26
@inbook{607af536-3918-4590-8d8d-b0aec2ec5878, abstract = {{A methodology for safety verification using barrier certificates has been proposed recently, Conditions that must be satisfied by a barrier certificate can be formulated as a convex program, and the feasibility of the program implies system safety, in the sense that there is no trajectory starting from a given set of initial states that reaches a given unsafe region. The dual of this problem, i.e., the reachability problem, concerns proving the existence of a trajectory starting from the initial set that reaches another given set. Using insights from convex duality and the concept of density functions, in this paper we show that reachability can also be verified through convex programming. Several convex programs for verifying safety, reachability, and other properties such as eventuality are formulated. Some examples are provided to illustrate their applications.}}, author = {{Prajna, S and Rantzer, Anders}}, booktitle = {{Hybrid Systems: Computation and Control (Lecture Notes in Computer Science)}}, isbn = {{978-3-540-25108-8}}, issn = {{0302-9743}}, language = {{eng}}, pages = {{542--556}}, publisher = {{Springer}}, title = {{Primal-dual tests for safety and reachability}}, url = {{http://dx.doi.org/10.1007/b106766}}, doi = {{10.1007/b106766}}, volume = {{3414}}, year = {{2005}}, }