
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.
Final version, 12 pages, to appear in the IEEE Transactions on Automatic Control
26B25, 37C15, 55P10, 93D05, Optimization and Control (math.OC), FOS: Mathematics, Dynamical Systems (math.DS), Mathematics - Dynamical Systems, Mathematics - Optimization and Control
26B25, 37C15, 55P10, 93D05, Optimization and Control (math.OC), FOS: Mathematics, Dynamical Systems (math.DS), Mathematics - Dynamical Systems, Mathematics - Optimization and Control
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
