Feedback refinement relations for symbolic controller synthesis.

Gunther Reissig Matthias Rungger

Published in: CDC (2014)

Keyphrases

controller synthesis
autonomic computing systems
query refinement
closed loop
mathematical model
feature extraction
control system
mobile robot
autonomic systems