We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Optimization and Control

Title: On continuation and convex Lyapunov functions

Abstract: 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.
Comments: Final version, 12 pages, to appear in the IEEE Transactions on Automatic Control
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
MSC classes: 26B25, 37C15, 55P10, 93D05
Cite as: arXiv:2301.05932 [math.OC]
  (or arXiv:2301.05932v5 [math.OC] for this version)

Submission history

From: Wouter Jongeneel [view email]
[v1] Sat, 14 Jan 2023 15:09:09 GMT (1006kb,D)
[v2] Wed, 25 Jan 2023 11:22:06 GMT (986kb,D)
[v3] Wed, 13 Sep 2023 09:09:44 GMT (209kb,D)
[v4] Wed, 6 Mar 2024 07:15:40 GMT (505kb,D)
[v5] Thu, 21 Mar 2024 10:16:12 GMT (505kb,D)

Link back to: arXiv, form interface, contact.