Controller Synthesis for Hyperproperties.

Borzoo Bonakdarpour Bernd Finkbeiner

Published in: CoRR (2021)

Keyphrases

controller synthesis
autonomic computing systems
closed loop
control system
control algorithm
multi agent
control law
feature extraction
pid controller
autonomic systems
machine learning
fuzzy rules
controller design