C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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:
Formal Aspects Comput. (2021)
Keyphrases
</>
timed automata
controller synthesis
model checking
robust optimization
reachability analysis
machine learning
optimal control
knowledge base
multi agent
computer simulation
autonomic computing systems