Login / Signup

Formal Safety Net Control Using Backward Reachability Analysis.

Bastian SchürmannMoritz KlischatNiklas KochdumperMatthias Althoff
Published in: IEEE Trans. Autom. Control. (2022)
Keyphrases
  • reachability analysis
  • control system
  • model checking
  • timed automata
  • markov decision processes
  • incremental algorithms
  • low cost
  • decision theory
  • bi directional
  • forward backward