Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions

2026-03-07

AI Summary

This work addresses the gap between theoretical safety guarantees and practical feasibility of Control Barrier Functions (CBFs) in real-world systems subject to input constraints, where implicit assumptions often render CBFs ineffective. By systematically distinguishing between candidate and valid CBFs, the study uncovers the true source of safety in passive systems and extends safety verification to non-passive systems. Integrating system dynamics, explicit input constraint modeling, and class-K function analysis, the authors establish precise conditions under which CBFs yield valid safety assurances in low-dimensional systems and derive actionable design principles for safe controllers. An accompanying interactive web platform visually illustrates the core mechanisms and common pitfalls, offering practitioners an intuitive guide for reliable deployment.

Technology Category

• Constraint Satisfaction and Optimization: Satisfiability Modulo Theories
• Reasoning under Uncertainty: Uncertainty Representations
• Computer Vision: Low Level & Physics-based Vision

Application Category

• Systems and Infrastructure for Web, Mobile and WoT: Experiences and lessons learnt from Web-based algorithms and system deployments
• Responsible Web: Machine-in-the-loop, human agency and autonomy
• Security and Privacy: Authentication, authorization, and access control

Abstract

This tutorial provides a critical review of the practical application of Control Barrier Functions (CBFs) in robotic safety. While the theoretical foundations of CBFs are well-established, I identify a recurring gap between the mathematical assumption of a safe controller's existence and its constructive realization in systems with input constraints. I highlight the distinction between candidate and valid CBFs by analyzing the interplay of system dynamics, actuation limits, and class-K functions. I further show that some purported demonstrations of safe robot policies or controllers are limited to passively safe systems, such as single integrators or kinematic manipulators, where safety is already inherited from the underlying physics and even naive geometric hard constraints suffice to prevent collisions. By revisiting simple low-dimensional examples, I show when CBF formulations provide valid safety guarantees and when they fail due to common misuses. I then provide practical guidelines for constructing realizable safety arguments for systems without such passive safety. The goal of this tutorial is to bridge the gap between theoretical guarantees and actual implementation, supported by an open-source interactive web demonstration that visualizes these concepts intuitively.

Problem

• Control Barrier Functions
• robotic safety
• input constraints
• passive safety
• safety guarantees

Innovation

• Control Barrier Functions
• robotic safety
• input constraints
• passive safety
• constructive realization