2019/06/11 by Matthew Abate, Corbin Klett, Abate, Matthew +5
Computer Science · Engineering · #Formal Methods in Verification #Advanced Control Systems Optimization #Control and Stability of Dynamical Systems
paper · pdf · doi:10.48550/arxiv.1906.04810
This work studies the problem of searching for homogeneous polynomial Lyapunov functions for stable switched linear systems. Specifically, we show an equivalence between polynomial Lyapunov functions for systems of this class and quadratic Lyapunov functions for a related hierarchy of Lyapunov differential equations. This creates an intuitive procedure for checking the stability properties of switched linear systems and a computationally competitive algorithm is presented for generating high-order homogeneous polynomial Lyapunov functions in this manner. Additionally, we provide a comparison between polynomial Lyapunov functions generated with our proposed approach and polynomial Lyapunov functions generated with a more traditional sum-of-squares based approach.