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