Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications.

Omar Hussien Paulo Tabuada

Published in: CDC (2018)

Keyphrases

controller synthesis
autonomic computing systems
high level
closed loop
control system
control algorithm
state space
multi agent
neural network
learning algorithm
real time
pattern classification
control law