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