Robust Controller Synthesis in Timed Automata.

Ocan Sankur Patricia Bouyer Nicolas Markey Pierre-Alain Reynier

Published in: CONCUR (2013)

Keyphrases

timed automata
controller synthesis
model checking
control system
closed loop
theorem prover
reachability analysis
neural network
autonomic computing systems