你的安全控制器真的安全吗？CBF永真式和隐藏假设的批判性审查
Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions
AI总结：
本文批判性地审查了CBF在机器人安全中的应用，揭示了安全控制器理论与实际实现之间的差距，并提供了构建实际安全论证的实用指南。
摘要：
本文提供了一篇关于控制屏障函数（CBFs）在机器人安全应用中的实际应用的批判性回顾。尽管CBFs的理论基础已得到确立，但我指出数学假设中安全控制器存在性与具有输入约束的系统中构造性实现之间存在反复出现的差距。我通过分析系统动力学、执行器限制和类K函数的相互作用，突出候选CBF与有效CBF之间的区别。我进一步表明，一些所谓的安全机器人策略或控制器的演示仅限于被动安全系统，如单积分器或运动学机械臂，其中安全性已经继承自底层物理，并且即使使用简单的几何硬约束也足以防止碰撞。通过回顾简单的低维示例，我展示了CBF公式在提供有效安全保证时的条件，以及由于常见误用而失败的情况。然后，我为没有此类被动安全的系统提供实际的安全性论证指南。本文的目标是弥合理论保证与实际实现之间的差距，并通过一个开源的交互式网页演示来支持，该演示直观地可视化这些概念。
英文摘要：
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. A crowd-navigation simulation study further illustrates that CBF-derived reward shaping in reinforcement learning can improve empirical behavior without establishing formal 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
