On continuation and convex Lyapunov functions
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908754141773824 |
|---|---|
| author | Jongeneel, Wouter Schwan, Roland |
| author_facet | Jongeneel, Wouter Schwan, Roland |
| contents | Suppose that the origin is globally asymptotically stable under a set of continuous vector fields on Euclidean space and suppose that all those vector fields come equipped with -- possibly different -- convex Lyapunov functions. We show that this implies there is a homotopy between any two of those vector fields such that the origin remains globally asymptotically stable along the homotopy. Relaxing the assumption on the origin to any compact convex set or relaxing convexity to geodesic convexity does not alter the conclusion. Imposing the same convexity assumptions on control Lyapunov functions leads to a Hautus-like stabilizability test. These results ought to be of interest in the context of learning stability certificates, policy gradient methods and switched systems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2301_05932 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | On continuation and convex Lyapunov functions Jongeneel, Wouter Schwan, Roland Optimization and Control Dynamical Systems 26B25, 37C15, 55P10, 93D05 Suppose that the origin is globally asymptotically stable under a set of continuous vector fields on Euclidean space and suppose that all those vector fields come equipped with -- possibly different -- convex Lyapunov functions. We show that this implies there is a homotopy between any two of those vector fields such that the origin remains globally asymptotically stable along the homotopy. Relaxing the assumption on the origin to any compact convex set or relaxing convexity to geodesic convexity does not alter the conclusion. Imposing the same convexity assumptions on control Lyapunov functions leads to a Hautus-like stabilizability test. These results ought to be of interest in the context of learning stability certificates, policy gradient methods and switched systems. |
| title | On continuation and convex Lyapunov functions |
| topic | Optimization and Control Dynamical Systems 26B25, 37C15, 55P10, 93D05 |
| url | https://arxiv.org/abs/2301.05932 |