Title
Converse Barrier Functions via Lyapunov Functions
Abstract
We prove a robust converse barrier function theorem via the converse Lyapunov theory. While the use of a Lyapunov function as a barrier function is straightforward, the existence of a converse Lyapunov function as a barrier function for a given safety set is not. We establish this link by a robustness argument. We show that the closure of the forward reachable set of a robustly safe set must be ro...
Year
DOI
Venue
2022
10.1109/TAC.2021.3085419
IEEE Transactions on Automatic Control
Keywords
DocType
Volume
Lyapunov methods,Safety,Asymptotic stability,Dynamical systems,Stability criteria,Robustness,Standards
Journal
67
Issue
ISSN
Citations 
1
0018-9286
0
PageRank 
References 
Authors
0.34
12
1
Name
Order
Citations
PageRank
Jun Liu121520.63