Abstractions for Symbolic Controller Synthesis are Composable.

Eric S. Kim Murat Arcak

Published in: CoRR (2018)

Keyphrases

controller synthesis
autonomic computing systems
high level
closed loop
control system
control algorithm
autonomic systems
multi agent
autonomic computing