A Closed-Form Dual-Barrier CBF Safety Filter for Holonomic Robots on Incrementally Built Occupancy Grid Maps

• URL: http://arxiv.org/abs/2605.05182v1
• Date: Wed, 06 May 2026 17:49:17 GMT
• Title: A Closed-Form Dual-Barrier CBF Safety Filter for Holonomic Robots on Incrementally Built Occupancy Grid Maps
• Abstract summary: We present a dual-barrier control barrier function (CBF) safety filter for real-time, safety-critical velocity control of holonomic robots.<n>We enforce two constraints: avoidance of mapped obstacles and restriction from unexplored regions.<n>On resource-constrained platforms such as the Raspberry Pi, where SLAM and planning already consume significant compute, the low overhead of the proposed filter preserves resources.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We present a dual-barrier control barrier function (CBF) safety filter for real-time, safety-critical velocity control of holonomic robots operating in incrementally built occupancy grid maps. As a robot explores an unknown environment, unmapped regions introduce irreducible uncertainty, since obstacle geometry beyond the explored frontier is unknown, making entry into such regions a source of collision risk, especially with front-facing sensors. To address this, we enforce two constraints: avoidance of mapped obstacles and restriction from unexplored regions. Both constraints are derived analytically from the occupancy grid's signed distance field, yielding a closed-form safety filter that requires only a small linear system solve per cycle. On resource-constrained platforms such as the Raspberry Pi, where SLAM and planning already consume significant compute, the low overhead of the proposed filter preserves resources. An adaptive gain schedule relaxes the frontier constraint in information-rich regions and tightens it in well-mapped areas, improving exploration efficiency while maintaining safety. The filter operates in velocity space as a minimally invasive correction and composes with arbitrary nominal controllers, including learning-based methods. Hardware flight experiments on a PX4-controlled quadrotor demonstrate zero collisions across multiple indoor runs.

Related papers

• SEAMLiS: Visibility-Aware Safety for Perception-Limited Multi-Robot Exploration [9.293122730806958]
  This paper presents a modular execution-layer safety framework for decentralized multi-robot exploration.<n>SEAMLiS preserves the upstream exploration stack, including the goal allocator and local planner, and enforces safety at the execution layer.<n>A Control Barrier Function (CBF)-based positional filter then avoids known obstacles, newly detected obstacles, and other robots.
  arXiv  Detail & Related papers  (2026-07-10T20:25:47Z)
• FastBridge: Closing the Model-Based Realization Gap in Safety Filters on 3D Gaussian Splatting for Fast Quadrotor Flight [0.0]
  Current 3DGS safety filters ignore actuator limits and assume commanded accelerations are realized instantaneously.<n>We introduce a nonlinear, actuator-aware safety filter enforced through the full quadrotor dynamics.<n>Compared with a state-of-the-art 3DGS safety filter, our approach reduces trajectory jerk by 47% and runs 2.25 times faster.
  arXiv  Detail & Related papers  (2026-07-01T17:33:01Z)
• Safe Polytope-in-Polytope Motion Planning and Control with Control Barrier Functions [45.68209588239261]
  This work proposes a safe local motion planning and control method that guarantees that a polytopic robot footprint stays inside a convex free-space region.<n>The proposed free-space formulation does not need any obstacle detection or segmentation.<n>The approach is validated in simulation with an autonomous surface vehicle and on hardware with a non-holonomic mobile robot.
  arXiv  Detail & Related papers  (2026-06-08T16:44:28Z)
• Reactive Robot-Centric Safety for Autonomous Navigation in Constrained and Dynamic Environments [14.321190258774358]
  We present a real-time control architecture that integrates a 3D LIDAR perception-based composite control barrier function.<n>We validate the system through multiple field experiments in underground environments.
  arXiv  Detail & Related papers  (2026-05-15T09:42:13Z)
• Online Safety Filter for Deformable Object Manipulation with Horizon Agnostic Neural Operators [25.931880819916643]
  We present a constraint driven online safety filter for deformable object manipulation.<n>The filter enforces explicit task level safety constraints in real time by minimally modifying any nominal control policy.<n>We evaluate the proposed method on fluid manipulation tasks in FluidLab, where the filter improves safe trajectory rates by up to 22% over unfiltered base policies.
  arXiv  Detail & Related papers  (2026-05-01T20:06:54Z)
• RAD-2: Scaling Reinforcement Learning in a Generator-Discriminator Framework [49.531001563853984]
  RAD-2 is a unified generator-discriminator framework for closed-loop planning.<n>It produces diverse trajectory candidates, while an RL-optimized discriminator reranks these candidates according to their long-term driving quality.<n>It reduces the collision rate by 56% compared with strong diffusion-based planners.
  arXiv  Detail & Related papers  (2026-04-16T17:59:44Z)
• Long-Horizon Geometry-Aware Navigation among Polytopes via MILP-MPC and Minkowski-Based CBFs [6.0390093427687725]
  The proposed framework bridges long-horizon and geometry-aware safety guarantees for a robot navigating among polytopic obstacles.<n>The results show that the proposed architecture mitigates the topology-induced behavior of purely reactive CBF-based navigation.
  arXiv  Detail & Related papers  (2026-03-31T19:10:34Z)
• CSSDF-Net: Safe Motion Planning Based on Neural Implicit Representations of Configuration Space Distance Field [23.48697826890044]
  High-dimensional manipulator operation in unstructured environments requires differentiable, scene-agnostic distance query mechanism.<n>CSSDF-Net learns a continuous signed distance field directly in configuration space to provide joint-space distance and gradient queries.<n> Experiments on a planar arm and a 7-DoF manipulator demonstrate stable gradients, effective collision avoidance in static and dynamic scenes.
  arXiv  Detail & Related papers  (2026-03-19T09:31:41Z)
• Layered Safety: Enhancing Autonomous Collision Avoidance via Multistage CBF Safety Filters [18.386652442201665]
  This paper presents a general end-to-end framework for constructing robust and reliable layered safety filters.<n>Given a robot-centric point cloud, we begin by constructing an occupancy map which is used to synthesize a Poisson safety function (PSF)<n>The PSF is employed as a control barrier function (CBF) within two distinct safety filtering stages.
  arXiv  Detail & Related papers  (2026-02-27T22:19:45Z)
• BarrierSteer: LLM Safety via Learning Barrier Steering [83.12893815611052]
  BarrierSteer is a novel framework that formalizes safety by embedding learned non-linear safety constraints directly into the model's latent representation space.<n>We show that BarrierSteer substantially reduces adversarial success rates, decreases unsafe generations, and outperforms existing methods.
  arXiv  Detail & Related papers  (2026-02-23T18:19:46Z)
• Boundary-to-Region Supervision for Offline Safe Reinforcement Learning [56.150983204962735]
  Boundary-to-Region (B2R) is a framework that enables asymmetric conditioning through cost signal realignment.<n>B2R redefines CTG as a boundary constraint under a fixed safety budget, unifying the cost distribution of all feasible trajectories.<n> Experimental results show that B2R satisfies safety constraints in 35 out of 38 safety-critical tasks.
  arXiv  Detail & Related papers  (2025-09-30T03:38:20Z)
• Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments [13.858175528097032]
  This paper proposes a LiDAR-based goal-seeking and exploration framework. It addresses the efficiency of online obstacle avoidance in unstructured environments populated with static and moving obstacles.
  arXiv  Detail & Related papers  (2024-02-26T09:53:37Z)
• Efficient Real-time Smoke Filtration with 3D LiDAR for Search and Rescue with Autonomous Heterogeneous Robotic Systems [56.838297900091426]
  Smoke and dust affect the performance of any mobile robotic platform due to their reliance on onboard perception systems. This paper proposes a novel modular computation filtration pipeline based on intensity and spatial information.
  arXiv  Detail & Related papers  (2023-08-14T16:48:57Z)
• BarrierNet: A Safety-Guaranteed Layer for Neural Networks [50.86816322277293]
  BarrierNet allows the safety constraints of a neural controller be adaptable to changing environments. We evaluate them on a series of control problems such as traffic merging and robot navigations in 2D and 3D space.
  arXiv  Detail & Related papers  (2021-11-22T15:38:11Z)
• SABER: Data-Driven Motion Planner for Autonomously Navigating Heterogeneous Robots [112.2491765424719]
  We present an end-to-end online motion planning framework that uses a data-driven approach to navigate a heterogeneous robot team towards a global goal. We use model predictive control (SMPC) to calculate control inputs that satisfy robot dynamics, and consider uncertainty during obstacle avoidance with chance constraints. recurrent neural networks are used to provide a quick estimate of future state uncertainty considered in the SMPC finite-time horizon solution. A Deep Q-learning agent is employed to serve as a high-level path planner, providing the SMPC with target positions that move the robots towards a desired global goal.
  arXiv  Detail & Related papers  (2021-08-03T02:56:21Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.