Sign in
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