Fast Path Planning for Autonomous Vehicle Parking with Safety-Guarantee using Hamilton-Jacobi Reachability

arXiv cs.RO / 3/24/2026

💬 OpinionIdeas & Deep AnalysisModels & Research

Key Points

  • The paper introduces HJBA*, a two-layer fast autonomous-vehicle parking planning architecture combining Hamilton–Jacobi reachability with bidirectional A* search.
  • A high-level Hamilton–Jacobi analysis computes a backward reachable tube (BRT) under vehicle dynamics and input bounds, then intersects it with an obstacle-based “safe set” to form a safe reachable set.
  • The safe set is precomputed offline by solving QP optimization problems that encode safety via positive signed-distance constraints for obstacles of various shapes.
  • During online planning, randomized states sampled from the safe reachable set are used to generate heuristic guide points, and multiple bidirectional A* searches run in parallel to speed up computation.
  • Simulations on large-scale randomized parking scenarios indicate the method can solve tight parking tasks effectively and outperform other state-of-the-art planning approaches in computational speed and performance.

Abstract

We present a fast planning architecture called Hamilton-Jacobi-based bidirectional A* (HJBA*) to solve general tight parking scenarios. The algorithm is a two-layer composed of a high-level HJ-based reachability analysis and a lower-level bidirectional A* search algorithm. In high-level reachability analysis, a backward reachable tube (BRT) concerning vehicle dynamics is computed by the HJ analysis and it intersects with a safe set to get a safe reachable set. The safe set is defined by constraints of positive signed distances for obstacles in the environment and computed by solving QP optimization problems offline. For states inside the intersection set, i.e., the safe reachable set, the computed backward reachable tube ensures they are reachable subjected to system dynamics and input bounds, and the safe set guarantees they satisfy parking safety with respect to obstacles in different shapes. For online computation, randomized states are sampled from the safe reachable set, and used as heuristic guide points to be considered in the bidirectional A* search. The bidirectional A* search is paralleled for each randomized state from the safe reachable set. We show that the proposed two-level planning algorithm is able to solve different parking scenarios effectively and computationally fast for typical parking requests. We validate our algorithm through simulations in large-scale randomized parking scenarios and demonstrate it to be able to outperform other state-of-the-art parking planning algorithms.

Fast Path Planning for Autonomous Vehicle Parking with Safety-Guarantee using Hamilton-Jacobi Reachability | AI Navigate