Scaling up controller synthesis for linear systems and safety specifications.

Matthias Rungger Manuel Mazo Jr.Paulo Tabuada

Published in: CDC (2012)

Keyphrases

linear systems
controller synthesis
autonomic computing systems
sufficient conditions
closed loop
dynamical systems
control system
control theory
coefficient matrix
control algorithm
sparse linear systems
multi agent
autonomic systems
pid controller
global optimization
search space
real time