Cover Image

Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Agrawal, Devansh R., Kim, Taekyung, Govindjee, Rajiv, Adeshara, Trushant, Yu, Jiangbo, Ravikumar, Anurekha, Panagou, Dimitra
Format:	Preprint
Published:	2025
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Online and Certifiably Correct Visual Odometry and Mapping
by: Agrawal, Devansh R, et al.
Published: (2024)

Visibility-Aware RRT* for Safety-Critical Navigation of Perception-Limited Robots in Unknown Environments
by: Kim, Taekyung, et al.
Published: (2024)

Multi-Agent Clarity-Aware Dynamic Coverage with Gaussian Processes
by: Agrawal, Devansh R., et al.
Published: (2024)

Online Safety under Multiple Constraints and Input Bounds using gatekeeper: Theory and Applications
by: Agrawal, Devansh R., et al.
Published: (2025)

Autonomy Architectures for Safe Planning in Unknown Environments Under Budget Constraints
by: Cherenson, Daniel M., et al.
Published: (2025)

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
by: Agrawal, Devansh R, et al.
Published: (2022)

Beyond Collision Cones: Dynamic Obstacle Avoidance for Nonholonomic Robots via Dynamic Parabolic Control Barrier Functions
by: Park, Hun Kuk, et al.
Published: (2025)

Learning to Refine Input Constrained Control Barrier Functions via Uncertainty-Aware Online Parameter Adaptation
by: Kim, Taekyung, et al.
Published: (2024)

How to Adapt Control Barrier Functions? A Learning-Based Approach with Applications to a VTOL Quadplane
by: Kim, Taekyung, et al.
Published: (2025)

A Constructive Method for Designing Safe Multirate Controllers for Differentially-Flat Systems
by: Agrawal, Devansh R., et al.
Published: (2024)

Distributionally Robust Safety Under Arbitrary Uncertainties: A Safety Filtering Approach
by: Cherenson, Daniel M., et al.
Published: (2026)

Backup-Based Safety Filters: A Comparative Review of Backup CBF, Model Predictive Shielding, and gatekeeper
by: Kim, Taekyung, et al.
Published: (2026)

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
by: Kim, Taekyung, et al.
Published: (2026)

Staggered Integral Online Conformal Prediction for Safe Dynamics Adaptation with Multi-Step Coverage Guarantees
by: Cherenson, Daniel M., et al.
Published: (2026)

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions
by: Kim, Taekyung
Published: (2026)

Distributed Resilience-Aware Control in Multi-Robot Networks
by: Lee, Haejoon, et al.
Published: (2025)

Maintaining Strong r-Robustness in Reconfigurable Multi-Robot Networks using Control Barrier Functions
by: Lee, Haejoon, et al.
Published: (2024)

Reformulations of Quadratic Programs for Lipschitz Continuity
by: Agrawal, Devansh R., et al.
Published: (2025)

Kalman-Bucy Filtering with Randomized Sensing: Fundamental Limits and Sensor Network Design for Field Estimation
by: Wang, Xinyi, et al.
Published: (2025)

FORESEE: Prediction with Expansion-Compression Unscented Transform for Online Policy Optimization
by: Parwana, Hardik, et al.
Published: (2022)

Enabling Safety for Aerial Robots: Planning and Control Architectures
by: Naveed, Kaleb Ben, et al.
Published: (2025)

A Formal gatekeeper Framework for Safe Dual Control with Active Exploration
by: Naveed, Kaleb Ben, et al.
Published: (2025)

Multi-Agent gatekeeper: Safe Flight Planning and Formation Control for Urban Air Mobility
by: Vielmetti, Thomas Marshall, et al.
Published: (2025)

Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
by: Rousseas, Panagiotis, et al.
Published: (2025)

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2025)

IDCAIS: Inter-Defender Collision-Aware Interception Strategy against Multiple Attackers
by: Chipade, Vishnu S., et al.
Published: (2021)

Trajectory Planning for Safe Dual Control with Active Exploration
by: Naveed, Kaleb Ben, et al.
Published: (2026)

Control Strategies for Pursuit-Evasion Under Occlusion Using Visibility and Safety Barrier Functions
by: Zhou, Minnan, et al.
Published: (2024)

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
by: Parwana, Hardik, et al.
Published: (2025)

Guess the Drift with LOP-UKF: LiDAR Odometry and Pacejka Model for Real-Time Racecar Sideslip Estimation
by: Toschi, Alessandro, et al.
Published: (2024)

Nipping the Drift in the Bud: Retrospective Rectification for Robust Vision-Language Navigation
by: He, Gang, et al.
Published: (2026)

Capability-Aware Heterogeneous Control Barrier Functions for Decentralized Multi-Robot Safe Navigation
by: Kim, Joonkyung, et al.
Published: (2026)

Olfactory Inertial Odometry: Sensor Calibration and Drift Compensation
by: France, Kordel K., et al.
Published: (2025)

Stochastic COLREGs Evaluation for Safe Navigation under Uncertainty
by: Hansen, Peter Nicholas, et al.
Published: (2024)

Safe Model Predictive Diffusion with Shielding
by: Kim, Taekyung, et al.
Published: (2025)

Safe Navigation in Unmapped Environments for Robotic Systems with Input Constraints
by: Safari, Amirsaeid, et al.
Published: (2024)

Feasibility Evaluation of Quadratic Programs for Constrained Control
by: Rousseas, Panagiotis, et al.
Published: (2025)

Digital Twin for Autonomous Surface Vessels: Enabler for Safe Maritime Navigation
by: Menges, Daniel, et al.
Published: (2024)

Egocentric Conformal Prediction for Safe and Efficient Navigation in Dynamic Cluttered Environments
by: Shin, Jaeuk, et al.
Published: (2025)

Safe Navigation using Neural Radiance Fields via Reachable Sets
by: Thapliyal, Omanshu, et al.
Published: (2026)