Black-box stability analysis of hybrid systems with sample-based multiple Lyapunov functions
Black-box stability analysis of hybrid systems with sample-based multiple Lyapunov functions
We present a framework based on multiple Lyapunov functions to find probabilistic data-driven guarantees on the stability of unknown constrained switching linear systems (CSLS), which are switching linear systems whose switching signal is constrained by an automaton. The stability of a CSLS is characterized by its constrained joint spectral radius …