Arbitrarily precise abstractions for optimal controller synthesis.

Matthias Rungger Gunther Reissig

Published in: CDC (2017)

Keyphrases

controller synthesis
autonomic computing systems
optimal control
real time
optimal solution
dynamic programming