Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory

基本信息

• 论文ID: 2510.09929
• 标题: Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
• 作者: Dylan Hirsch, Jaime Fernández Fisac, Sylvia Herbert
• 分类: eess.SY (Systems and Control), cs.SY (Systems and Control)
• 发表时间: 2025年10月11日 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2510.09929

摘要

控制障碍函数(CBFs)和Hamilton-Jacobi可达性(HJR)是安全控制理论中的两个核心框架。传统上，这两个框架被视为不同的方法，前者专注于最优安全控制器设计，后者提供安全性的充分条件。先前的工作引入了控制障碍值函数(CB-VF)的概念，其定义类似于HJR中研究的其他值函数，但具有某些CBF特性。本文从另一个方向出发，将CBFs推广为不可微的"粘性"CBFs。作者展示了粘性CBFs与CB-VFs之间的深层联系，桥接了CBF和HJR框架。通过这一桥梁，作者将粘性CBFs准确表征为提供CBF类安全保证(控制不变性和边界平滑逼近)的函数。此外，还展示了粘性CBFs的良好理论性质，包括在最大值和极限运算下的理想闭合性。

研究背景与动机

问题背景

1. 两大安全控制框架的分离: CBFs和HJR是安全控制理论中的两个主要框架，但传统上被视为相互独立的方法
2. CBFs的局限性: 传统CBFs要求连续可微性，这在某些应用中过于严格，限制了其适用性
3. 理论连接的缺失: 缺乏统一的理论框架来理解这两种方法之间的内在联系

研究动机

1. 理论统一: 建立CBFs和HJR之间的深层理论联系，为安全控制提供更完整的理论基础
2. 方法扩展: 推广CBFs到不可微函数，扩大其适用范围
3. 特性表征: 准确表征哪些函数能够提供CBF类型的安全保证

核心贡献

1. 引入粘性CBFs概念: 将传统CBFs推广到不可微函数，只需在粘性意义下满足CBF不等式
2. 建立理论桥梁: 证明粘性CBFs与时间不变CB-VFs完全等价，桥接CBF和HJR框架
3. 完全表征安全保证: 证明粘性CBFs恰好是提供"障碍保证"(Barrier Guarantee)的连续函数
4. 扩展CB-VF理论: 将CB-VF从指数反折扣扩展到由类K函数确定的非线性反折扣
5. 理论性质分析: 证明粘性CBFs在最大值和极限运算下的闭合性等良好性质

方法详解

基本定义和设定

考虑动力学系统： $\dot{x} = f(x,u)$

其中 $f : \mathbb{R}^n \times U \to \mathbb{R}^n$ 是Lipschitz函数，$U \subset \mathbb{R}^m$ 是紧致的允许控制输入集合。

传统CBF定义

函数 $h : \mathbb{R}^n \to \mathbb{R}$ 是关于类K函数 $\alpha$ 的控制障碍函数，如果它连续可微且满足： $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ 对所有满足 $h(x) > 0$ 的 $x \in \mathbb{R}^n$ 成立。

核心创新：粘性CBFs

粘性CBF定义

连续函数 $h : \mathbb{R}^n \to \mathbb{R}$ 是关于类K函数 $\alpha$ 的粘性CBF，如果对每个满足 $h(x) > 0$ 的 $x \in \mathbb{R}^n$，不等式 $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ 在粘性意义下成立。

粘性意义: 对任何连续可微函数 $\phi : \mathbb{R}^n \to \mathbb{R}$，如果 $h - \phi$ 在 $x$ 处有局部最大值，则 $\max_{u \in U} \nabla \phi(x) \cdot f(x,u) \geq -\alpha(h(x))$

障碍保证(Barrier Guarantee)

连续函数 $B : \mathbb{R}^n \to \mathbb{R}$ 关于局部Lipschitz类K函数 $\alpha$ 提供障碍保证，如果对每个 $\theta \in [0,1)$ 和每个满足 $B(x) > 0$ 的 $x \in \mathbb{R}^n$，存在 $u \in U$ 使得对所有 $t \geq 0$： $B(x_x^u(t)) \geq \beta_\alpha(\theta B(x), t)$

其中 $\beta_\alpha$ 是与 $\alpha$ 相关的类KL函数。

控制障碍值函数(CB-VF)扩展

给定连续函数 $g : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$ 和局部Lipschitz类K函数 $\alpha$，CB-VF $v : \mathbb{R}^n \times \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}$ 由以下隐式定义： $\beta_\alpha(v(x,T), T) = \sup_{u \in U} \min_{t \in [0,T]} \beta_\alpha(g(x_x^u(t)), T-t)$

主要理论结果

定理1: CB-VF的HJ-PDE表征

CB-VF $v$ 是HJ-PDE的唯一粘性解： $\max\left\{\frac{\partial}{\partial T}v - H_\alpha(x,v,\nabla v), v - g(x)\right\} = 0$

其中Hamiltonian $H_\alpha(x,r,\lambda) = \max_{u \in U} \lambda \cdot f(x,u) + \alpha(r)$。

定理2: 核心等价性结果

对于局部Lipschitz类K函数 $\alpha$ 和连续函数 $h : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$，以下命题等价：

1. $h$ 是关于 $\alpha$ 的粘性CBF
2. $h$ 是HJ-PDE $-\min\{H_\alpha(x,h,\nabla h), 0\} = 0$ 的粘性解
3. 对应的CB-VF是时间不变的，即 $v(\cdot, T) \equiv h(\cdot)$ 对所有 $T \geq 0$
4. $h$ 关于 $\alpha$ 提供障碍保证

粘性CBFs的合成性质

定理3: 最大值闭合性

如果 $h_1, h_2$ 都是关于类K函数 $\alpha$ 的粘性CBFs，则 $\max\{h_1, h_2\}$ 也是关于 $\alpha$ 的粘性CBF。

定理4: 极限闭合性

如果 $h_1, h_2, \ldots$ 是关于类K函数 $\alpha$ 的粘性CBFs序列，且 $h_i \to h$ 局部一致收敛，则 $h$ 也是关于 $\alpha$ 的粘性CBF。

技术创新点

1. 粘性解理论的应用

• 将偏微分方程理论中的粘性解概念引入CBF理论
• 避免了传统CBF对连续可微性的严格要求
• 保持了安全保证的本质特性

2. 框架桥接

• 建立了CBF和HJR之间的双向联系
• 通过CB-VF作为中介，实现理论统一
• 提供了从两个不同角度理解安全控制的途径

3. 非线性反折扣扩展

• 从指数反折扣推广到任意类K函数确定的反折扣
• 增强了CB-VF的表达能力和适用性

应用示例

示例1: 非可微CBF

考虑标量系统 $\dot{x} = x + x + x^3/(1+|x|) \cdot u$，控制集合 $U = [-1,1]$。

定义 $h(x) = 1 - |x|$（到不安全集合 $(-\infty,-1] \cup [1,+\infty)$ 的符号距离函数）。

虽然 $h$ 在 $x = 0$ 处不可微，但可以验证它是关于 $\alpha(r) = r$ 的粘性CBF。

理论意义和实际价值

理论意义

1. 完整性: 完全表征了能够提供CBF类安全保证的函数类
2. 统一性: 将两个重要的安全控制框架统一在同一理论基础上
3. 扩展性: 为CBF理论提供了更广阔的发展空间

实际价值

1. 适用性扩展: 允许使用不可微函数作为CBF，适用于更多实际问题
2. 合成方法: 提供了从已知CBF构造新CBF的系统方法
3. 计算优势: 可以利用HJR的计算方法来构造CBF

局限性与未来方向

局限性

1. 计算复杂性: 粘性CBF的验证和构造可能在计算上更加复杂
2. 实现细节: 论文主要关注理论结果，实际计算方法需要进一步研究
3. 应用验证: 缺乏大规模实际系统的应用验证

未来方向

1. 计算方法: 开发高效的粘性CBF计算和验证算法
2. 应用扩展: 在机器人、自动驾驶等领域的具体应用
3. 多智能体系统: 扩展到多智能体系统的安全控制
4. 随机系统: 考虑随机动力学系统的情况

深度评价

优点

1. 理论深度: 建立了两个重要框架之间的深层理论联系
2. 数学严谨: 证明完整，理论结果具有重要意义
3. 概念创新: 粘性CBF的概念具有原创性和实用价值
4. 系统性: 提供了完整的理论体系和性质分析

不足

1. 实验验证缺乏: 论文主要是理论工作，缺乏数值实验和实际应用验证
2. 计算方法: 没有提供具体的计算算法或实现方法
3. 复杂性分析: 缺乏对方法计算复杂性的分析

影响力评估

1. 学术价值: 为安全控制理论提供了重要的理论贡献
2. 实用潜力: 扩展了CBF的适用范围，具有重要的实用价值
3. 后续研究: 为相关领域的后续研究奠定了理论基础

适用场景

1. 复杂几何约束: 不可微安全约束的控制问题
2. 多模态系统: 具有切换动态的混合系统
3. 鲁棒控制: 需要处理不确定性的安全关键系统
4. 路径规划: 机器人导航和避障问题

参考文献

论文引用了安全控制理论的重要文献，包括：

• CBF理论的奠基性工作 (Ames et al.)
• Hamilton-Jacobi可达性理论 (Mitchell, Bayen, Tomlin)
• 粘性解理论 (Bardi, Capuzzo-Dolcetta)
• 控制障碍值函数的原始工作 (Choi et al.)

总结: 这是一篇高质量的理论论文，在安全控制理论领域做出了重要贡献。通过引入粘性CBF概念并建立与HJR框架的联系，为安全控制提供了更完整和统一的理论基础。虽然缺乏实验验证，但其理论价值和潜在应用前景使其成为该领域的重要工作。