Abstract
A recent approach uses linear programming (LP) to compute continuous and piecewise affine (CPA) Lyapunov functions for arbitrary switched linear systems. Such a Lyapunov function is a common Lyapunov function (CLF) for all the respective linear subsystems and asserts the exponential stability of the equilibrium at the origin for the switched system. In this letter, we prove that this LP approach is constructive, i.e., that it succeeds in computing a Lyapunov function for the switched system, whenever the origin is exponentially stable.
Original language | English |
---|---|
Pages (from-to) | 3283-3288 |
Number of pages | 6 |
Journal | IEEE Control Systems Letters |
Volume | 7 |
DOIs | |
Publication status | Published - 2023 |
Bibliographical note
Publisher Copyright:© 2017 IEEE.
Other keywords
- Common Lyapunov function
- linear programming
- linear systems
- switched systems