Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions.

Xu Chu Ding Mircea Lazar Calin Belta

Published in: ADHS (2012)

Keyphrases

linear systems
dynamical systems
sufficient conditions
control theory
linear equations
asymptotic stability
sparse linear systems
differential equations
coefficient matrix
genetic algorithm
state space
linear programming
closed loop
stability analysis
interior point methods