Controller Synthesis from LSC Requirements.

Hillel Kugler Cory Plock Amir Pnueli

Published in: FASE (2009)

Keyphrases

controller synthesis
autonomic computing systems
utility function
multi agent
neural network
artificial neural networks
control system
closed loop