Sign in

STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego.

Martijn A. GoordenPeter Gjøl JensenKim G. LarsenMihhail SamusevJirí SrbaGuohan Zhao
Published in: ATVA (2022)
Keyphrases
  • model predictive control
  • control system
  • predictive control
  • model checking
  • controller synthesis
  • computational intelligence
  • control strategy
  • real time
  • artificial neural networks
  • closed loop
  • transformation rules