Sign in

Real-Time Robust Receding Horizon Planning Using Hamilton-Jacobi Reachability Analysis.

Hoseong SeoDonggun LeeClark Youngdong SonInkyu JangClaire J. TomlinH. Jin Kim
Published in: IEEE Trans. Robotics (2023)
Keyphrases
  • reachability analysis
  • real time
  • hamilton jacobi
  • receding horizon
  • markov decision processes
  • finite difference
  • optimal linear
  • timed automata
  • model checking
  • air traffic control
  • multiscale
  • computationally efficient