Observer-based correct-by-design controller synthesis.

Sofie Haesaert Paul M. J. Van den Hof Alessandro Abate

Published in: CoRR (2015)

Keyphrases

controller synthesis
real time
closed loop
multi agent
control system
mathematical model
autonomic computing systems