Designing Control Barrier Functions Using a Dynamic Backup Policy

基本信息

• 论文ID: 2510.09810
• 标题: Designing Control Barrier Functions Using a Dynamic Backup Policy
• 作者: Victor Freire, Marco M. Nicotra (University of Colorado, Boulder)
• 分类: eess.SY cs.SY
• 发表时间: arXiv preprint, October 2025
• 论文链接: https://arxiv.org/abs/2510.09810

摘要

本文提出了一种系统性方法来构造非线性控制仿射系统在任意状态和输入约束下的控制屏障函数。受参考调节器文献启发，该方法定义了由系统平衡流形参数化的备份策略族。控制屏障函数定义在增广的状态-参考空间上：给定状态-参考对，该方法量化在备份策略参考保持恒定情况下，未来任意时刻到约束违反的距离。然后使用敏感性分析计算关于增广状态向量的（可能非光滑）雅可比矩阵。

研究背景与动机

核心问题

控制屏障函数（CBFs）是设计安全关键系统控制器的强大工具，但对于一般系统在任意状态和输入约束下很难系统性地合成。尽管CBF的现代定义在2017年已经确立，但其系统性设计仍然是一个开放问题。

问题重要性

在许多应用中，实践者不得不采用候选CBF，因为它们更容易设计，通过调参和松弛变量能取得良好性能，但缺乏有效CBF的严格安全保证。

现有方法局限性

1. 机器学习方法：缺乏理论保证
2. 平方和方法：仅适用于多项式系统
3. 专家演示方法：依赖于高质量训练数据
4. 备份CBF方法：缺乏系统化的备份策略设计方法

研究动机

作者前期工作证明了动态安全边界（DSMs）在增广状态-参考空间中是CBF，本文扩展了基于轨迹的DSM来构造CBF，提供了更系统化和一般性的方法。

核心贡献

1. 系统化CBF设计方法：提出了基于轨迹预测的DSM-CBF构造方法，适用于具有任意状态和输入约束的非线性控制仿射系统
2. 动态备份策略：备份策略通过系统平衡流形参数化，且参数化是时变的，提供了比固定备份策略更大的灵活性
3. 理论保证：在温和假设下证明了底层敏感性矩阵的渐近稳定性，并严格处理了由于CBF可能的非光滑性带来的问题
4. 实用性考虑：解决了有限时域和光滑性问题，提出了更易于实现的策略并证明其充分性和可行性

方法详解

任务定义

考虑控制仿射系统：

ẋ = f(x) + g(x)u

受状态约束 x ∈ X 和输入约束 u ∈ U，目标是设计CBF来强制约束满足。

核心假设

假设3：系统承认由 v ∈ ℝˡ 参数化的平衡流形，存在连续函数 x̄(v) 和 ū(v) 使得：

f(x̄(v)) + g(x̄(v))ū(v) = 0, ∀v ∈ ℝˡ

且存在预稳定控制策略 π(x,v) 使 x̄(v) 为渐近稳定平衡点。

轨迹基DSM-CBF构造

1. 动态安全边界定义

Δ(x,v) = inf_{τ∈[0,∞)} c(Φ(τ,x,v), v)

其中：

• c(x,v) 描述参考依赖的状态约束
• Φ(τ,x,v) 是预稳定动力学的解

2. 敏感性分析

计算流敏感性雅可比矩阵：

状态敏感性：

∂S_x(τ)/∂τ = (∂f_π(Φ(τ),v)/∂x)S_x(τ), S_x(0) = I_n

参考敏感性：

∂S_v(τ)/∂τ = (∂f_π(Φ(τ),v)/∂x)S_v(τ) + ∂f_π(Φ(τ),v)/∂v, S_v(0) = 0

3. 有限时域实现

由于无限时域数值上不可行，采用有限时域 T 并引入终端DSM：

Δ(x,v) = [min_{τ∈[0,T]} c(Φ(τ),v); Δ_T(Φ(T),v)]

技术创新点

1. 参数化备份策略族：不同于固定备份策略，通过平衡流形参数化提供了整个策略族
2. 增广空间CBF：在状态-参考增广空间定义CBF，自然处理参考动力学
3. 非光滑处理：使用Clarke广义雅可比矩阵严格处理CBF的潜在非光滑性
4. 可行性保证：证明了安全滤波器的可行性，u = π(x,v), w = 0 总是可行解

实验设置

系统模型

倒立摆小车系统：

M(q)q̈ + C(q,q̇)q̇ + G(q) = Bu

参数：

• 小车质量 m_c = 1kg
• 摆质量 m_p = 0.5kg
• 摆长 L = 0.7m

约束条件

• 状态约束：|x| ≤ 4.5m, |θ-π| ≤ π/9
• 输入约束：|u| ≤ 20N

控制器设计

• 预稳定控制器：LQR设计，K_π = -0.44, 35.3, -1.4, 8.0
• 标称控制器：K_κ = -35, 150, -20, 50
• 预测时域：T = 10秒
• 类K∞函数：α(c) = 100c（约束），α(c) = 400c（终端DSM）

对比方法

1. 标称控制：仅使用标称控制器（不安全）
2. Lyapunov基DSM-CBF：基于Lyapunov函数的DSM方法
3. ERG：显式参考调节器
4. 备份CBF：传统备份CBF方法

实验结果

主要结果

从仿真结果可以看出：

1. 安全性：所提方法成功维持所有约束满足，小车位置保持在±4.5m范围内，摆角偏差保持在±20°范围内
2. 性能优势：
   • 相比Lyapunov基DSM-CBF：收敛更快，轨迹更平滑
   • 相比ERG：响应速度显著提升
   • 相比传统备份CBF：性能更优，这得益于参数化备份策略族提供的额外自由度
3. 控制输入：输入始终满足±20N约束，且相比其他方法更加平滑

性能分析

• 轨迹质量：提出方法实现了从初始位置到目标位置的平滑过渡
• 约束满足：严格满足所有状态和输入约束
• 收敛性：相比对比方法展现出更好的收敛特性

方法优势验证

实验验证了以下理论预期：

1. 参数化备份策略族比固定备份策略提供更好性能
2. 轨迹预测方法在处理高相对度、非最小相位系统时的有效性
3. 增广空间CBF方法的实用性

相关工作

CBF设计方法

1. 机器学习方法（Harms et al. 2024）：使用机器学习设计CBF
2. 平方和方法（Dai et al. 2024）：设计多项式CBF
3. 专家演示方法（Lindemann et al. 2024）：从安全演示中学习CBF

备份CBF相关工作

1. Chen et al. (2021)：提出备份CBF概念
2. Van Wijk et al. (2024)：扰动鲁棒备份CBF
3. Choi et al. (2021)：鲁棒控制屏障值函数

参考调节器文献

本文方法深受参考调节器文献启发，特别是动态安全边界概念，但将其扩展到CBF框架中。

结论与讨论

主要结论

1. 系统化设计：提供了构造有效CBF的系统化方法，适用于具有任意约束的非线性系统
2. 理论保证：在温和假设下提供严格的理论分析和可行性保证
3. 实用性：方法简单易实现，计算复杂度相对较低

局限性

1. 假设依赖：需要系统承认平衡流形且能设计预稳定控制器
2. 计算复杂度：虽然比MPC低，但仍需要轨迹预测和敏感性计算
3. 参数调节：类K∞函数和预测时域等参数需要适当选择

未来方向

1. 鲁棒性研究：在有界扰动下的鲁棒性质研究
2. 不同预测技术：探索其他轨迹预测技术
3. 计算优化：进一步降低计算复杂度的方法

深度评价

优点

1. 理论严谨性：提供了完整的理论分析，包括存在性、可行性和收敛性证明
2. 方法通用性：适用于广泛的非线性控制仿射系统
3. 实现简单性：相比MPC等方法，计算负担相对较轻
4. 处理复杂性：能够处理输入饱和、多约束、强非线性等复杂情况

不足

1. 假设限制：平衡流形假设可能限制方法的适用范围
2. 参数敏感性：方法性能可能对参数选择较为敏感
3. 实验范围：仅在一个系统上进行了验证，缺乏更广泛的实验验证

影响力

1. 学术贡献：为CBF设计提供了新的理论框架和实用方法
2. 实用价值：方法相对简单，有望在实际系统中应用
3. 可复现性：作者提供了开源代码，增强了可复现性

适用场景

1. 安全关键系统：如机器人、自动驾驶车辆等需要严格约束满足的系统
2. 非线性系统：特别适用于具有复杂约束的非线性控制系统
3. 实时控制：相比MPC有更低的计算复杂度，适合实时应用

参考文献

论文引用了该领域的主要工作，包括：

• Ames et al. (2017): CBF的现代定义
• Chen et al. (2021): 备份CBF概念
• Nicotra and Garone (2018): 显式参考调节器
• 作者前期工作: DSM-CBF理论基础

总体评价：这是一篇理论严谨、方法新颖的高质量论文，为CBF设计提供了系统化方法，在保证理论严谨性的同时具有良好的实用性。方法的通用性和相对简单的实现使其具有较高的实用价值。