关于最优衰减控制屏障函数的特性

控制屏障函数（Control Barrier Functions, CBFs）为合成确保前向集合不变性安全过滤器提供了强大的手段。CBFs有效性的关键在于系统动力学上的简单不等式：$\dot{h} \geq - \alpha(h)$。然而，决定系统类函数$\alpha$的选择是用户定义的选择，可能对最终系统行为产生深远影响。本文通过最优衰减控制屏障函数（Optimal-Decay Control Barrier Functions, OD-CBFs）正式化了$\alpha$的选择过程。OD-CBFs修改了传统CBF不等式为：$\dot{h} \geq - \omega \alpha(h)$，其中$\omega \geq 0$由安全过滤器自动确定。我们详尽阐述了该框架，包括OD-CBF有效性的可计算条件、状态空间中底层集合的控制不变性、安全集合的前向不变性条件，以及基于优化的安全控制器在可行性、Lipschitz连续性和闭式表达式方面的讨论。该框架还扩展了现有的高阶CBF技术，解决相对度数为零的安全约束问题。该方法在仿真中的卫星控制问题中得到演示。