Lazy Abstraction-Based Controller Synthesis.

Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck

Published in: ATVA (2019)

Keyphrases

controller synthesis
autonomic computing systems
closed loop
control system
control algorithm
multi agent
autonomic systems
neural network
machine learning
genetic algorithm
artificial neural networks
input output
controller design