Interpretability of Path-Complete Techniques and Memory-based Lyapunov functions

Matteo Della Rossa, Raphaël M. Jungers

We study path-complete Lyapunov functions, which are stability criteria for switched systems, described by a combinatorial component (namely, an automaton), and a functional compon…