Risk-Averse Model Predictive Control for Priced Timed Automata.
Mostafa Tavakkoli AnbaraniEfe C. BaltaRômulo Meira-GóesIlya KovalenkoPublished in: CoRR (2022)
Keyphrases
- model predictive control
- timed automata
- risk averse
- control system
- model checking
- risk neutral
- predictive control
- utility function
- decision makers
- risk aversion
- stochastic programming
- theorem prover
- first order logic
- theorem proving
- portfolio management
- real time systems
- linear program
- expected utility
- control scheme
- closed loop
- decision theory
- power plant
- linear programming
- machine learning