Table of Contents
Fetching ...

RPT*: Global Planning with Probabilistic Terminals for Target Search in Complex Environments

Yunpeng Lyu, Chao Cao, Ji Zhang, Howie Choset, Zhongqiang Ren

TL;DR

The paper introduces HPP-PT, a probabilistic-termination variant of the Hamiltonian Path Problem, and presents RPT*—an A*-like planner that reformulates the problem to a Markovian state space to handle history-dependent expected costs. It provides a bounded-suboptimal variant (F-RPT*) with focal search to scale to larger graphs, and proves completeness and optimality guarantees. The hierarchical HATS framework couples RPT*/F-RPT* with perception, mapping, and dual planning modes for lifelong and unknown-environment target search, demonstrating improved average search efficiency and robustness to misleading priors in simulations and real robot experiments. The work shows that the RPT*-based planning balances exploitation and exploration effectively, enabling faster target localization under uncertainty, with practical implications for autonomous search in complex environments. Potential extensions include multi-robot coordination and integrating semantic mapping to derive probabilistic targets from richer priors.

Abstract

Routing problems such as Hamiltonian Path Problem (HPP), seeks a path to visit all the vertices in a graph while minimizing the path cost. This paper studies a variant, HPP with Probabilistic Terminals (HPP-PT), where each vertex has a probability representing the likelihood that the robot's path terminates there, and the objective is to minimize the expected path cost. HPP-PT arises in target object search, where a mobile robot must visit all candidate locations to find an object, and prior knowledge of the object's location is expressed as vertex probabilities. While routing problems have been studied for decades, few of them consider uncertainty as required in this work. The challenge lies not only in optimally ordering the vertices, as in standard HPP, but also in handling history dependency: the expected path cost depends on the order in which vertices were previously visited. This makes many existing methods inefficient or inapplicable. To address the challenge, we propose a search-based approach RPT* with solution optimality guarantees, which leverages dynamic programming in a new state space to bypass the history dependency and novel heuristics to speed up the computation. Building on RPT*, we design a Hierarchical Autonomous Target Search (HATS) system that combines RPT* with either Bayesian filtering for lifelong target search with noisy sensors, or autonomous exploration to find targets in unknown environments. Experiments in both simulation and real robot show that our approach can naturally balance between exploitation and exploration, thereby finding targets more quickly on average than baseline methods.

RPT*: Global Planning with Probabilistic Terminals for Target Search in Complex Environments

TL;DR

The paper introduces HPP-PT, a probabilistic-termination variant of the Hamiltonian Path Problem, and presents RPT*—an A*-like planner that reformulates the problem to a Markovian state space to handle history-dependent expected costs. It provides a bounded-suboptimal variant (F-RPT*) with focal search to scale to larger graphs, and proves completeness and optimality guarantees. The hierarchical HATS framework couples RPT*/F-RPT* with perception, mapping, and dual planning modes for lifelong and unknown-environment target search, demonstrating improved average search efficiency and robustness to misleading priors in simulations and real robot experiments. The work shows that the RPT*-based planning balances exploitation and exploration effectively, enabling faster target localization under uncertainty, with practical implications for autonomous search in complex environments. Potential extensions include multi-robot coordination and integrating semantic mapping to derive probabilistic targets from richer priors.

Abstract

Routing problems such as Hamiltonian Path Problem (HPP), seeks a path to visit all the vertices in a graph while minimizing the path cost. This paper studies a variant, HPP with Probabilistic Terminals (HPP-PT), where each vertex has a probability representing the likelihood that the robot's path terminates there, and the objective is to minimize the expected path cost. HPP-PT arises in target object search, where a mobile robot must visit all candidate locations to find an object, and prior knowledge of the object's location is expressed as vertex probabilities. While routing problems have been studied for decades, few of them consider uncertainty as required in this work. The challenge lies not only in optimally ordering the vertices, as in standard HPP, but also in handling history dependency: the expected path cost depends on the order in which vertices were previously visited. This makes many existing methods inefficient or inapplicable. To address the challenge, we propose a search-based approach RPT* with solution optimality guarantees, which leverages dynamic programming in a new state space to bypass the history dependency and novel heuristics to speed up the computation. Building on RPT*, we design a Hierarchical Autonomous Target Search (HATS) system that combines RPT* with either Bayesian filtering for lifelong target search with noisy sensors, or autonomous exploration to find targets in unknown environments. Experiments in both simulation and real robot show that our approach can naturally balance between exploitation and exploration, thereby finding targets more quickly on average than baseline methods.
Paper Structure (47 sections, 9 theorems, 25 equations, 16 figures, 3 tables, 1 algorithm)

This paper contains 47 sections, 9 theorems, 25 equations, 16 figures, 3 tables, 1 algorithm.

Key Result

Lemma 1

The expected path cost in Eq. (tsppt:eq:expected_cost) is the same as the following expression:

Figures (16)

  • Figure 1: Target search in unknown environments using HPP-PT. (a) shows the scenario of a real robot experiment, including (i) the point cloud map of the environment after finding the target object, where the colored line shows the trajectory of the robot; (ii) a photo of the test space; and (iii) the wheeled robot used in this experiment. (b) shows the top-down view of the environment, where purple dots represent candidate target locations, with marker sizes proportional to their corresponding probabilities of finding the target object there. (c) is the visualization of the generated solution path.
  • Figure 2: Visualization of related concepts.
  • Figure 3: Heuristic function of our RPT* algorithm: for the remaining $k$ unvisited vertices, the heuristic models the process as $k$ steps, explicitly allowing for repeated visits to vertices.
  • Figure 4: Cutshort process
  • Figure 5: The architecture and workflow of the Hierarchical planning system for Autonomous Target Search (HATS). HATS iteratively runs the workflow that begins by collecting sensory data and eventually outputs waypoints for execution. The two variants HATS-L and HATS-U differ in their global planning.
  • ...and 11 more figures

Theorems & Definitions (26)

  • Definition 1: Expected Path Cost
  • Definition 2: HPP-PT
  • Remark 1
  • Lemma 1
  • proof
  • Remark 2
  • Lemma 2
  • proof
  • Definition 3: State Dominance
  • Lemma 3
  • ...and 16 more