Sep 6, 2026
Robots navigating under occlusion may enter states from which no admissible input can avoid a dynamic obstacle once it becomes visible. We present OcclusionCBF, a safety filter that extends backup control barrier functions to reachable-occupancy predictions for potentially hidden dynamic obstacles in occluded regions. The method certifies a prescribed backup rollout against collision-inflated occupancy and a verified terminal set, yielding affine constraints for minimally invasive quadratic-program filtering. We establish recursive feasibility of the resulting safety filter, and collision avoidance for every hidden-obstacle motion covered by the occupancy prediction. Randomized benchmarks, MetaUrban simulations, and hardware experiments demonstrate improved task success over reactive and occlusion-aware predictive baselines with millisecond-scale computation.
Taekyung Kim, Hun Kuk Park, Renya Wada +3
Department of Robotics, University of Michigan, Ann Arbor, MI 48109, USA · Department of Computer Science and Systems Engineering, Kobe University, Hyogo, Japan · Department of Electrical and Computer Engineering, University of California, San Diego, CA 92093, USA +1