Effective synthesis of switching controllers for linear systems.

Eugene Asarin Olivier Bournez Thao Dang Oded Maler Amir Pnueli

Published in: Proc. IEEE (2000)

Keyphrases

linear systems
coefficient matrix
sufficient conditions
reinforcement learning
control system
simulated annealing
dynamical systems
linear equations
real time
neural network
artificial intelligence
np hard
closed loop