Stability Analysis of Conewise Affine Dynamical Systems Using Conewise Linear Lyapunov Functions

This paper 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.