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 |