This letter proposes computational algorithms for analyzing conewise affine dynamical systems, where every neighborhood of the origin contains an affine mode. These algorithms are based on conewise linear Lyapunov functions. To make such algorithms useful, we present an algorithm to automatically search over partitions defining these conewise Linear functions. This algorithm is sound, although we present a counter-example to its completeness. We show that this approach verifies stability of 2D and 3D examples of conewise affine dynamical systems, including combinations of the harmonic and nonsmooth oscillators.
|Number of pages||6|
|Journal||IEEE Control Systems Letters|
|State||Published - Dec 2021|
Bibliographical noteFunding Information:
Manuscript received September 14, 2020; revised November 21, 2020; accepted December 6, 2020. Date of publication December 22, 2020; date of current version April 13, 2021. This work was supported by the Department of Mechanical Engineering at the University of Kentucky. Recommended by Senior Editor M. Arcak.
© 2017 IEEE.
- Computational met23hods
- Lyapunov methods
- switched systems
ASJC Scopus subject areas
- Control and Systems Engineering
- Control and Optimization