CONSORT: Uncertainty-Constrained Multi-Robot Planning for Cooperative Localization in GPS-Denied Environments
Authors: Tony Zhang, Ryan Bartholomew, Kalliyan Velasco, Joshua Mangelson, Brady Moon
Organizations: Authors are with the FROST Lab, Ira A. Fulton College of Engineering, Brigham Young University, Provo, UT 84602, USA. · T. Zhang is with the Kahlert School of Computing, University of Utah, Salt Lake City, UT 84112, USA, and contributed to this work as a visiting undergraduate researcher in the FROST Lab.
Centralized multi-agent path planning with cooperative localization in GPS-denied environments is generally computationally intractable when formulated in full belief space due to tightly coupled uncertainty dynamics. Prior work typically approximates belief dynamics or restricts inter-agent coupling. This work examines a multi-agent planning problem in which a primary agent must reach a goal in minimum time subject to a chance-constrained collision-avoidance requirement and a terminal bound on localization uncertainty. We obtain a tractable surrogate of the underlying belief-space problem by optimizing over the mean-state trajectories of all agents and propagating covariance for terminal constraint evaluation only. We propose CONSORT (Cooperative Navigation with Support-Optimized Routing and Trajectories), a discrete-to-continuous pipeline combining hexagonal-grid joint search with spline-based trajectory refinement. Across 50 randomized scenarios, the planners separate as the terminal uncertainty bound tightens, with CONSORT solving 80% of scenarios where the strongest baseline solves 54%, at comparable path length. In marine simulations, with the plans executed under feedback control on an independently developed factor-graph estimate, the trajectories remain collision-free and their terminal uncertainty falls within 6% of the planner's prediction.
Figures & tables
Fig. 1: The escort problem. The primary must reach the goal with its localization uncertainty under a terminal bound, and the support is routed to hold it there. Support agent localizes with landmark and relays position data , enabling the primary agent to take a more direct path. Both trajectories are searched on the heading-aware hexagonal lattice and refined as B-splines.
Fig. 4: Wall-clock time per planner over successful runs at five constraint levels (log scale). Boxes span the interquartile range, whiskers extend to 1.5× IQR, and runs beyond the whiskers are omitted. Levels with fewer than five solved scenarios are drawn as individual runs.
Constraint level (% of Uref )
Method
100
70
50
30
Baseline comparison, 50 screened scenarios
CONSORT (ours)
1.14 ± 0.09
1.22 ± 0.23
1.34 ± 0.26
1.41 ± 0.21
Formation
1.22 ± 0.12
1.34 ± 0.25
1.33 ± 0.16
1.48 ± 0.45
Sequential
1.18 ± 0.14
1.41 ± 0.92
1.36 ± 0.50
2.76 ± 1.51
CL-GBT
1.47 ± 0.33
1.78 ± 0.43
2.01 ± 0.41
2.07 ± 0.26 †
TABLE I: Mean ± SD of primary path length over each method’s own solved scenarios, normalized by Lref . Entries are not comparable across methods without the success rates in Figs. 3 and 5 , since a method that solves only its easiest scenarios reports a short path. † marks fewer than five solved scenarios. “–” means none solved.
Factor
Variables
σ
Odometry (between, per 5 m node)
Tk−1,Tk
1 ∘ /axis; 0.22, 0.02, 0.01 m
Depth (unary)
Tk
0.5 m
Compass (unary)
Tk
0.86 ∘ /axis
Landmark az./el./range
Tk,ℓ
1.05 ∘ , 1.05 ∘ , 2.09 m; r<100 m
Inter-agent relative pose
Tks,Tkp
0.86 ∘ /axis; 0.5/w m
Initial pose prior
T0
10 ∘ /axis; 1.15, 0.76, 0.5 m
TABLE II: Factor noise of the simulated estimator, derived from the planner’s model: odometry from the q∥ , the compass from q⊥ , landmark noise rescaled to one sighting per 5 m node, communication noise σc/w for link weight w , and the start prior from Σ0 . The depth factor keeps the stack’s 0.5 m against the 0.01 m injected.
This paper studies UAV path planning in areas where GPS signals are not present. Because these drones can easily get lost when they don't have GPS, they must rely on dead reckoning and occasionally pass near cellular towers, which act as landmarks to reset and fix their position. The goal is to find the shortest path from a start to a goal location while keeping the estimation uncertainty within a given bound. To solve this problem, we propose a localization-constrained A* planner that treats uncertainty as a hard constraint during search. The robot state and covariance are propagated using an Extended Kalman Filter (EKF), and only paths that satisfy the covariance limit are considered. We also show that the proposed method does not affect heuristic used in A* and remains admissible and consistent, ensuring optimality among all feasible paths. Extensive Monte Carlo simulations and PyBullet quadrotor test show that the proposed method finds shorter and more reliable paths compared to RRT* and PRM, while always satisfying the uncertainty constraint.
Multi-Agent Path Finding (MAPF) aims to find collision-free paths for multiple agents in a shared environment. Classical MAPF assumes that all static obstacles are known in advance, but real-world environments can change unexpectedly due to fallen objects, spills, or other local disturbances. When such changes are spatially correlated, an observation can inform traversability estimates beyond the observed location. Prior approaches address uncertainty in traversability through contingent plans or replanning based on direct observations, but do not leverage this spatial dependence to infer the traversability of nearby unobserved locations. As a result, they cannot use one observation to anticipate nearby unobserved obstacles that may cause costly rerouting later. We focus on Belief-Aware MAPF, where map discrepancies are fixed during execution but initially unknown, and observations can be informative beyond the observed location. We propose Multi-Agent Gaussian belief Inference for Coordination (MAGIC), a framework that updates a shared belief about traversability online based on agents' observations. MAGIC uses a Gaussian Markov Random Field and Gaussian Belief Propagation to approximately infer traversability and construct detour-aware costs for standard MAPF planners. Our experiments on MAPF benchmarks show that MAGIC reduces the executed sum of costs compared to existing approaches on 96.3% of instances, across several planner families and teams of up to 800 agents, demonstrating its applicability to large-scale MAPF problems.
Viraj Parimi, Shao-Hung Chan, Han Zhang +2
Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 01239. · Symbotic Inc., Wilmington, MA 01887, USA
Multi-agent Next-Best-View (NBV) selection for safe path planning in uncertain and unknown environments requires informative, safety-aware, and efficient coordination. Centralized approaches rely on sharing raw sensor data or significant communication overhead, resulting in limited scalability. We propose a distributed, risk-aware multi-agent NBV framework in which each robot maintains a private local 3D Gaussian Splatting map and the team jointly maximizes expected information gain (EIG) restricted to masked zones along planned trajectories. The resulting distributed objective is solved by Consensus ADMM (C-ADMM) over a communication graph, with each robot exchanging only candidate viewpoints, planned trajectory descriptors, and scalar EIG contributions. Collision risk along each trajectory is modeled via Average Value-at-Risk (AV@R) over the local 3DGS map and used both to shape the masking radius and to score planned paths. Experiments in Gibson environments at multiple team sizes show that the distributed formulation approaches the centralized baseline in mapping quality and trajectory safety while reducing communication by orders of magnitude.
Amirhossein Mollaei Khass, Vivek Pandey, Guangyi Liu +3
Department of Mechanical Engineering and Mechanics, Lehigh University · Amazon Robotics