Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems.

Guillaume O. Berger Sriram Sankaranarayanan

Published in: Autom. (2023)

Keyphrases

linear systems
dynamical systems
sufficient conditions
control theory
linear equations
model checking
convex hull
differential equations
asymptotic stability
evolutionary algorithm
nonlinear functions
coefficient matrix
control law
sparse linear systems