Skip to main content
U.S. Department of Energy
Office of Scientific and Technical Information

Certifiably Correct Range-Aided SLAM

Other · · Robotics

We present the first algorithm capable of efficiently computing certifiably optimal solutions to range-aided simultaneous localization and mapping (RA-SLAM) problems. Robotic navigation systems are increasingly incorporating point-to-point ranging sensors, leading state estimation which takes the form of RA-SLAM. However, the RA-SLAM problem is more difficult to solve than traditional pose-graph SLAM; ranging sensor models introduce additional non-convexity, unlike pose-pose or pose-landmark measurements, a single range measurement does not uniquely determine the relative transform between the involved sensors, and RA-SLAM inference is highly sensitive to initial estimates. Our approach relaxes the RA-SLAM problem to a semidefinite program (SDP), which we show how to solve efficiently using the Riemannian staircase methodology. The solution of this SDP provides a high-quality initialization for our original RA-SLAM problem, which is subsequently refined via local optimization, as well as a lower-bound on the RA-SLAM problem's optimal value. Our algorithm, named certifiably correct RA-SLAM (CORA), applies to problems comprised of arbitrary pose-pose, pose-landmark, and ranging measurements. Evaluation on simulated and real-world marine examples shows that our algorithm frequently produces certifiably optimal RA-SLAM solutions; moreover, even suboptimal estimates are typically within 1-2\% of the optimal value.

Research Organization:
Chris D’Urbano, Assistant Director, Georgia Tech Research Corporation, Georgia Institute of Technology, Office of Sponsored Programs, Atlanta, GA 30332-0420, Phone: (404) 313-1735, E-mail: ced@gatech.edu
Sponsoring Organization:
USDOE National Nuclear Security Administration (NNSA)
DOE Contract Number:
NA0003921
OSTI ID:
1992609
Journal Information:
Robotics, Journal Name: Robotics
Country of Publication:
United States
Language:
English

Similar Records

Real-Time Radiological Source Term Estimation for Multiple Sources in Cluttered Environments
Other · Sat Dec 31 23:00:00 EST 2022 · IEEE Transactions on Nuclear Science · OSTI ID:1922476

Data-driven modeling and control of dynamical systems using Koopman and Perron-Frobenius operators
Other · Fri Sep 04 00:00:00 EDT 2020 · OSTI ID:1693451

Robotic Planning under Uncertainty in Spatiotemporal Environments in Expeditionary Science
Other · Fri Dec 31 23:00:00 EST 2021 · Robotics · OSTI ID:1895143

Related Subjects