Login / Signup
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty.
Giovanni Bacci
Patricia Bouyer
Uli Fahrenberg
Kim G. Larsen
Nicolas Markey
Pierre-Alain Reynier
Published in:
CoRR (2018)
Keyphrases
</>
timed automata
controller synthesis
robust optimization
model checking
dynamic programming
theorem proving
reachability analysis
neural network
optimal control
theorem prover