精读笔记
Problem Setting
这篇论文实际解决的是高相对阶未知非线性系统上的 model-free CBF 构造问题：系统只假设存在 input-output normal form，输出 y 及其到 r-1 阶导数可测，f,g,Q 不知道，内部状态 η 甚至维度未知；目标是保证 ||y-y_ref||≤ψ，而不是辨识动力学或学习一个模型。
真正困难点是 CBF 的安全输入集合通常需要 Lie derivatives，而高相对阶约束下这些 Lie derivatives 正是最依赖模型的部分。传统 HOCBF 把安全约束逐阶微分，直到控制输入显式出现；这要求知道 f,g，知道状态，还要求 barrier 对系统具有良好的 relative degree。对自然的输出球约束，这个条件并不自动成立。论文用 double integrator 例子说明：即使最简单的二阶系统，选择自然 barrier B=1/2(1-z_1^2) 也无法成为 HOCBF；更强地，对保持 z_1∈(-1,1) 的任何标量 barrier，都可能在区间内部出现 input direction 退化。
关键矛盾是：CBF 想要 modular safety filter，即给定 nominal input 后只做最小修正；但 model-free funnel/PPC 通常给的是一个专门设计的闭环反馈，而不是一个可插入优化目标的 safe input set。本文试图在两者之间取中间形态：不恢复完整 model-based K_CBF，而是给出一个 model-free、可参数化、可用于二级目标优化的安全输入子集。
Motivation
已有路线的不足不是“CBF 不安全”，而是其安全证据过度绑定模型。HOCBF 在高阶约束下尤其严重：不仅需要高阶 Lie derivative，还需要 barrier 的 relative-degree 条件在安全域内成立。作者指出，直接把 relative-degree-one 的 model-free CBF 结果推广为 HOCBF 是错的，因为自然输出约束的几何与 HOCBF 的标量递归结构不兼容。
作者的核心观察来自 funnel control：funnel controller 并不通过精确模型计算安全输入，而是通过误差接近边界时增益发散，把轨迹压回 funnel。这个机制本身包含一种强 inductive bias：越接近边界，反馈越强；并且高阶系统可以通过递归误差变量把低阶误差和高阶导数耦合起来。因此，缺的不是另一个 HOCBF 公式，而是一个把 funnel 的“边界排斥”机制翻译成 CBF admissible input subset 的构造。
关键缺口是：如何在高相对阶时保留 CBF 的模块化，而不重新引入模型依赖。本文的答案是保守地刻画一个 safe subset，而不是追求完整安全输入集合。
Core Idea
核心思想是把高阶安全约束的动力学复杂性从 CBF 条件中移走，放进一组可测的向量值辅助变量 β_k 里。β_k 的构造类似 HOCBF 的递归，但本质不同：HOCBF 的 γ_k 是标量函数，递归中显式包含 Lie derivative；这里的 β_k 是向量值、只用输出导数、reference 导数和 funnel 函数构造。每一层 β_k 都包含当前 k 阶误差项和上一层 β_{k-1}/(1-||β_{k-1}||^2) 的 blow-up 项。
这样做改变了问题的建模方式：不再寻找一个对原系统具有 r 阶 relative degree 的标量 barrier，而是构造一个对扩展误差坐标具有一阶 relative degree 的 barrier b=1/2(1-||β_r||^2)。控制输入只在 β_r 的导数中出现，且出现方式与 g 的正定性相容。因此只要沿 ∇_{ξ_r}b/b 的方向施加足够 funnel-like 的反馈，就能保证 b 不靠近零。
和 prior 的本质区别是：它不是 HOCBF 的 model-free 近似，也不是学习 Lie derivatives；它是用 funnel 坐标变换重写安全问题，使最终 CBF 只需一阶分析。这个 inductive bias 很强，也解释了为什么它可以绕过具体模型参数。
Method
第一，论文定义嵌套辅助变量 β_k 和 domain D_k。它解决的是高阶系统中低阶输出误差安全不等价于可控安全的问题：如果速度/加速度状态不受约束，输出可以在短时间内冲出 funnel。β_k 的递归把低阶误差接近边界的信息注入高阶误差约束，从而形成一个比原 safe set C 更小但可前向不变的集合 D。核心变化是从“只约束 y”变成“约束一个 funnel-consistent jet space”。
第二，用 b=1/2(1-||β_r||^2) 构造一阶 CBF。它解决的是 HOCBF 需要高阶 Lie derivative 和模型的问题。因为 β_r 显式含 ξ_r，而 ξ_r 的导数中直接含 u，所以 b 对系统表现为一阶 barrier。核心变化是相对阶被重新组织：不是 barrier 对原输出约束有 r 阶 relative degree，而是最后一级 funnel error 对输入有一阶可控性。
第三，定义 model-free 控制集合 U(t,ξ)=λ∇_{ξ_r}b/b。它解决的是如何不依赖 f,g,Q 仍给出 admissible controls。该集合只沿 barrier gradient 的方向施加控制，λ 在用户给定区间内变化，因此可以用来投影/拟合二级目标。核心变化是从完整 K_CBF 的模型依赖刻画，退到一个 funnel-style safe subset 的无模型刻画。
第四，理论证明分两层：先证明存在某个 α 使 b 满足 CBF 条件；再证明 U 在紧集和有界内部状态下包含于 K_CBF，并进一步证明闭环全局存在、控制有界、β_r 远离边界。这里 Assumption 2 保证未知内部状态不会破坏有界性，Assumption 3 保证沿 ∇b 方向的输入确实产生朝安全内部的作用。
Key Insight / Why It Works
最核心的有效性来源不是 CBF 本身，而是 funnel control 的坐标化和高增益边界排斥机制。β_{k-1}/(1-||β_{k-1}||^2) 这一项在低阶误差接近边界时发散，迫使更高阶变量提前作出补偿；这相当于在 jet space 中构造一个安全管道，而不是等输出接近边界时才靠高阶微分条件补救。对高相对阶系统，这是关键，因为安全失效往往来自速度/加速度方向已经不可逆地指向边界。
理论上它成立依赖一个简单但强的符号结构：∇_{ξ_r}b 与 β_r 对齐，而 g 正定，因此选择 u∝∇_{ξ_r}b/b 会让 -<β_r,gu>/ψ_r 形成一个随 1/b 增强的正项。也就是说，未知 drift f 和内部动态只贡献有界扰动；接近边界时，funnel 增益项可以压倒这些有界项。这是典型 high-gain/funnel argument，不是数据驱动，也不是学习泛化。
最可能的核心贡献是“把 HOCBF 的高阶 Lie derivative 递归替换为 vector-valued funnel auxiliary variables，并由此得到一阶 CBF”。这一步实质上改变了 CBF 构造对象。相对而言，λ 区间内拟合 u_ref 的二级目标是辅助性 engineering：它展示了 modularity，但理论新意不在优化 λ，而在证明这一整条射线/线段 U(t,ξ) 是安全的。
需要直接指出：这里的 model-free 不是无假设。它并没有从数据中发现安全结构，也没有解决一般未知系统安全控制；它利用的是已知相对阶、可测导数、正定输入通道和 BIBS internal dynamics。所谓 scalable 主要来自避免模型和状态维数进入 CBF-QP，而不是来自更强表达能力。它把模型复杂度换成了结构假设和保守控制方向。
Relation To Prior Work
最接近的谱系有三条：HOCBF、funnel/PPC、以及 model-free safety-critical control for mechanical systems。本文不是标准 HOCBF 的增强版，因为它明确展示 HOCBF 对自然输出约束可能失败；它也不是单纯 funnel control，因为它强调 safe input subset 和二级目标可优化性；它更像是把 funnel control 的高阶误差变换嵌入 CBF 语言中。
相对 [22] 的 relative-degree-one model-free CBF，本文的新增信息是高阶 β_k 递归和由此产生的一阶 barrier。这个扩展不是平凡的，因为 Example 7 说明直接 HOCBF 化会失败。相对 PPC/FC 与 reciprocal/zeroing CBF 等价性工作，本文把等价性推进到高相对阶，但采用的是保守安全输入集合，而非完整 CBF characterization。
相对 [23] 和 reduced-order/model-free robotic CBF，本文更一般：不要求完整机械系统形式或可评估惯性矩阵 Lyapunov 项，允许非平凡内部动态，CBF b 只依赖输出导数和 funnel。另一方面，[23] 类方法在特定机械系统中可能更贴近物理能量结构；本文的代价是使用更强 funnel 增益和更保守的输入方向。
看似新的地方中，“边界附近增益发散保证安全”本身是 funnel/PPC 的老思想；实质创新在于把这个思想重新组织成 CBF admissible controls 的子集，并证明它适用于任意相对阶 normal form。
Dataset / Evaluation
实验是一个 7-DoF Kinova Gen3 机械臂仿真，相对阶 r=2，无内部动态，输入输出维度相等，质量矩阵正定，因此非常贴合理论假设。任务是跟踪一条平滑关节空间 reference，同时保持固定 funnel 误差界，并用 λ 在安全集合内尽量跟踪一个带振荡的 torque reference。
这个 evaluation 能说明两件事：第一，方法在典型全驱动机械臂二阶系统上可以实现；第二，λ 参数化确实允许在不破坏 primary safety 的情况下追求 secondary input objective。但它没有真正覆盖论文标题中“arbitrary relative degree”的经验面，只展示 r=2；也没有展示非平凡 internal dynamics、强不确定 drift、真实传感噪声、导数估计误差、输入饱和或采样效应。
因此实验主要是 proof-of-concept，不是强验证。核心 claim 的主要支撑来自理论而非 benchmark。文中未充分说明在真实机器人上 torque limit、joint velocity sensing/filtering、离散控制周期下 margin 如何选择；这些恰恰是 funnel high-gain 方法最容易遇到 deployment gap 的地方。
Limitation
第一，方法成立高度依赖结构假设。系统必须已知相对阶 r，且能写成 input-output chain；输入输出维度相同；g 点态正定或符号已知；内部动态 BIBS。若存在非最小相位/不稳定 zero dynamics，理论会直接断裂。这里的 model-free 不是对任意未知系统 model-free，而是对一个结构已知类的参数无关控制。
第二，需要测量 y 到 r-1 阶导数。对高阶系统这在实践中很重，噪声微分会放大，且文中没有处理 measurement noise、observer error 或 sampled-data 误差。对于真实机器人，速度也许可测；更高阶导数通常不可直接获得。
第三，U(t,ξ) 很保守。它只允许沿 ∇_{ξ_r}b/b 的一维缩放方向调节，虽然 λ 可优化，但对 m 维输入而言可用自由度大幅减少。所谓 modularity 不等于标准 CBF-QP 那种完整 admissible set 上的最小干预；它更像 funnel controller 加一个标量 gain scheduling。若 nominal input 与该方向不一致，secondary objective 的可实现性会很有限。
第四，输入有界性理论依赖闭环保持 away from boundary，但真实系统有 actuator saturation。若所需 high-gain 超出饱和，安全性没有保证。增益来源不清的问题在于：λ 区间由用户选取，理论存在性常数依赖未知 f,g,η bound；实际 λ_lower 是否足够、λ_upper 是否安全可实现，文中没有给出可验证设计准则。
第五，安全集合 D 是 C 的保守子集。论文保证 D 前向不变从而 C 安全，但这可能显著限制可行轨迹，尤其 ψ_k 选择不当时。ψ_k 的设计本质上把一部分 planning burden 前置了；方法没有解决 funnel 是否 feasible 或如何自动调参的问题。
第六，评估没有覆盖真实 deployment 鸿沟。仿真中无噪声、无饱和、无碰撞几何复杂性，且 reference 已经安全；方法更像 tracking safety tube enforcement，而不是完整 motion planning/control safety stack。
Takeaway
- 1. 对高相对阶输出安全约束，直接 HOCBF 化并不可靠；自然 barrier 可能根本不满足相对阶条件。
- 以后做 model-free/high-order CBF 时，应优先检查 barrier 几何和 input direction 是否匹配，而不是机械套 γ_i 递归。
- 2. 这篇最值得迁移的 insight 是：把高阶 Lie derivative 信息转移到可测 jet-space 的辅助变量构造中，再对最后一级变量做一阶 barrier。
- 这个思路可迁移到其他需要避免模型微分的安全/性能约束问题。
一句话总结
这篇论文把 funnel control 的高阶误差坐标和边界高增益机制重写成一个 model-free CBF 安全输入子集，是从 model-based HOCBF 向结构假设驱动的无模型安全滤波演化中的一个实质性但保守的步骤。