Decomposing controller synthesis for safety specifications.

Eric Dallal Paulo Tabuada

Published in: CDC (2016)

Keyphrases

controller synthesis
autonomic computing systems
control system
closed loop
autonomic systems
multi agent
control algorithm
controller design
neural network