Controller Synthesis for Hyperproperties.

Borzoo Bonakdarpour Bernd Finkbeiner

Published in: CSF (2020)

Keyphrases

controller synthesis
autonomic computing systems
closed loop
control system
multi agent
control algorithm
controller design
control scheme
autonomic systems
experimental data
neural network model
degrees of freedom
control law
feedback control
external disturbances