Sign in

AROC: a toolbox for automated reachset optimal controller synthesis.

Niklas KochdumperFelix GruberBastian SchürmannVictor GaßmannMoritz KlischatMatthias Althoff
Published in: HSCC (2021)
Keyphrases
  • controller synthesis
  • dynamic programming
  • real time
  • optimal solution
  • autonomic computing systems