Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions

Xu Chu Ding Mircea Lazar Calin Belta

Published in: CoRR (2012)

Keyphrases

linear systems
dynamical systems
sufficient conditions
control theory
asymptotic stability
linear equations
sparse linear systems
coefficient matrix
basis functions
differential equations
real time
stability analysis
machine learning
learning algorithm
nonlinear functions