精读笔记

Problem Setting

论文标题：Robust Operational Space Control with Conformal Disturbance Bounds for Safe Redundant Manipulation（arXiv preprint / 2026）。

这篇论文解决的不是一般的 robot tracking，也不是单纯的 safe control，而是在冗余机械臂 operational-space computed torque control 中同时处理三件事：task-space 精确跟踪、null-space secondary objective、以及未知动态扰动下的安全约束。真正困难点在于 OSCTC 本质依赖 feedback linearization，一旦动力学模型不准，tracking 和 CBF constraint 里都会出现未建模项；而 CBF 对未建模项非常敏感，因为它需要在 inequality 级别保证最坏情况。

以前方法卡在两个方向：residual learning 能拟合 unknown dynamics，但 label 通常来自加速度残差，噪声大且没有闭环安全误差界；robust/adaptive control 有理论结构，但要么依赖结构化不确定性，要么需要预先知道 disturbance variation bound。关键矛盾是：安全需要保守 bound，性能需要不保守；硬件部署中这个 bound 又很难事先知道。

Motivation

作者的核心观察是：在真实机械臂上，把未知动力学当成一个 supervised residual function 来学，未必是最合适的信息组织方式。因为 residual learning 把最脏的量——速度、加速度、数值微分误差、model residual——直接变成训练目标；模型拟合得好不等于闭环误差有界，更不等于能安全地进入 CBF。

另一边，ESO/ADRC 类方法天然适合把未建模动力学作为扩展状态估计，控制结构简单，也更容易给出误差收敛或误差界。但传统 robust CBF 要求知道扰动变化率上界 l_f，这个量在硬件上通常不可得，设大就保守，设小就 unsafe。论文的关键缺口不是“缺一个更准的 disturbance estimator”，而是“缺一个能在线校准 CBF safety margin 的 disturbance uncertainty bound”。

Core Idea

论文真正核心的想法是：不要让数据驱动模块直接学习控制律或 residual dynamics，而是只让它估计 robust control 所需的不确定性尺度。ESO 负责估计当前 lumped disturbance；conformal prediction 负责在线估计 disturbance derivative 的高概率 bound；CBF 使用这个 bound 转化成 ESO estimation error margin。这样学习理论模块被放在 calibration 层，而不是 dynamics replacement 层。

这改变了建模方式：未知动力学不再是一个全状态到残差的函数逼近问题，而是一个 operational-space matched disturbance 的在线状态估计问题。新的 inductive bias 是“扰动在短窗口内变化有统计可校准性”，而不是“神经网络能泛化 unknown dynamics”。这比 residual learning 更 scalable 的地方不在表达能力，而在闭环接口更窄：只需要一个 bound 进入 CBF，不需要 learned model 在所有状态上都准。

Method

方法上最关键的机制有三点。

第一，operational-space ESO：它把 task-space dynamics 写成二阶系统，把未知项 f_i 作为扩展状态估计。它解决的是 residual learning 对 noisy derivative label 和 full-state measurement 的依赖。核心变化是从 offline function fitting 变成 online dynamic estimation，闭环误差可以通过 Hurwitz observer 和扰动变化率 bound 表达。

第二，robust OSCTC：控制律用 nominal operational-space model 加 ESO disturbance compensation。它解决的是经典 OSCTC 在 model mismatch 下 cancellation 失效的问题。这里的重点不是控制律形式有多新，而是把 tracking error 的主要不确定性压缩到 f - f_hat。

第三，robust CBF + conformal bound：CBF inequality 中显式减去 estimation error margin Γ。传统做法需要 fixed l_f；本文用 sliding-window conformal quantile 从 residual derivative 中在线估计 l_f。它解决的是固定 worst-case bound 过保守的问题。注意 CP 并不保证 ESO 更准，它只是在给 CBF 一个随时间变化的 safety budget。

Key Insight / Why It Works

最重要的 insight 是：对 safe control 来说，学准扰动本身不如校准扰动估计误差的上界重要。tracking 需要 f_hat 准，safety 需要知道 f_hat 可能错多少；这两个目标不应由同一个 black-box residual model 混在一起承担。论文把它们拆开：ESO 提供低噪声、低延迟的 disturbance estimate；CP 提供高概率 uncertainty radius；CBF 只消费 estimate + radius。

方法有效的主要原因更像 better inductive bias，而不是 scaling。ESO 假设扰动是缓慢变化的扩展状态，这对机械臂 payload、摩擦、低频外力很合适；conformal window 假设近期 residual derivative 能代表下一步扰动变化，这对 1 kHz 控制下的局部非平稳系统也通常够用。这个组合在硬件上会比 residual NN 稳，是因为它避免了把泛化压力放到全局函数逼近上。

最可能的核心贡献是 CP-estimated disturbance-variation bound 与 ESO error bound / robust CBF 的连接。ESO 本身、OSCTC、ECBF、QP 都是成熟组件；真正新增的信息是把 conformal quantile 放在 l_f 这个位置，使安全裕度从 fixed worst-case 变成 online calibrated。相比之下，residual learning 对比更像一个合理 baseline，但论文的胜出不一定证明 residual learning 路线本质不行，也可能说明当前 residual NN 的训练、输入、label 噪声和 data coverage 不够。

这里没有明显 benchmark leakage 问题，因为是控制硬件实验而非离线 benchmark；但 evaluation bias 仍然存在：任务和约束较简单，扰动频谱也比较符合 ESO 假设。所谓 probabilistic safety 不是完整轨迹级 guarantee，而是一步或局部窗口下 bound coverage 传递到 CBF 的结果。这个 distinction 很重要。

Relation To Prior Work

这篇属于 operational-space control + disturbance observer + robust CBF + conformal uncertainty calibration 的组合谱系。和 Khatib OSCTC 的本质差异是显式承认 model cancellation 不可靠，并在 task-space 中补偿 lumped disturbance；和 operational-space CBF 工作的差异是加入动态不确定性和 disturbance-aware margin；和 residual learning / OSCAR 类路线的差异是不用 learned model 替代 dynamics，而是保留模型控制结构，仅用数据做 bound calibration。

看似新的部分中，ESO、robust CBF、sliding-window conformal prediction 都不是新思想；实质创新在接口设计：CP 不是给 prediction interval for state，也不是学习 residual force，而是估计 disturbance variation bound l_f，再通过 ESO error bound Γ 进入 CBF inequality。这是一个比较干净的 modularization。

与 adaptive control 相比，它不要求扰动有可参数化结构；与 residual learning 相比，它牺牲了表达复杂非结构扰动的能力，但换来更明确的闭环误差语义。可以说它不是 learning-based control 的推进，而是 robust model-based control 对 data-driven uncertainty quantification 的吸收。

Dataset / Evaluation

实验覆盖仿真 disturbance estimation、FR3 真机 tracking、以及 wall-like y-axis safety constraint。优点是真机 1 kHz 闭环验证，比纯仿真或离线 residual fitting 更有说服力；sloshing payload 是一个有现实意义的非平稳扰动，能测试 residual NN 和 ESO 的差异。

但 evaluation 只部分支持核心 claim。它支持“ESO 比当前 residual NN 更抗噪，adaptive CP bound 比 fixed bound 更少保守”，也支持“在简单 Cartesian half-space constraint 下 QP-CBF 可实时运行”。它没有充分验证更强的 claim：多约束、多接触、强非平稳人机交互、接近奇异位形、复杂姿态任务下的安全泛化。

实验数字不需要过度解读。tracking MSE 的优势很可能来自 ESO 对低频扰动和 measurement noise 的 inductive bias；safety 的优势则来自 adaptive margin。两者增益来源应分开看，不能简单归因于整个 framework。

Limitation

第一，matched disturbance 假设很关键。论文把 task-space disturbance 写成进入 acceleration channel 的 f，这对许多模型误差和外力近似成立，但对接触切换、关节侧 saturation、未建模 actuator dynamics、柔性结构并不一定成立。

第二，probabilistic guarantee 依赖 sliding-window exchangeability。真实人机交互里的扰动可能突然换分布，CP bound 会滞后；此时 safety 不是 absolute guarantee。文中未充分说明 window size、quantile update、filtering delay 对 violation probability 的影响。

第三，残差 derivative 的估计仍然依赖加速度或数值微分。作者避免用 residual 训练控制器，但 CP 的 bound 仍从 residual derivative 来。这个信号如果太噪会导致过保守，如果被滤波过强又可能低估高频扰动。这里是方法可能把问题转移了，而不是完全消除了。

第四，QP feasibility、torque limits、multiple simultaneous CBF constraints 没有被充分讨论。真实部署中安全约束冲突和 actuator saturation 往往比单一 wall constraint 更致命。

第五，增益来源不清。ESO bandwidth、CBF gains、CP confidence/window、residual NN baseline 的训练质量都会显著影响结果。论文显示 proposed method 更好，但没有完全解耦哪些提升来自 control inductive bias，哪些只是 baseline engineering 不充分。

Takeaway

• 1. 值得记住的不是“ESO + CP + CBF”这个模块堆叠，而是把学习模块降级为 uncertainty calibration，而非 dynamics replacement。
• 这个设计对安全控制很有迁移价值。
• 2. 对机器人安全控制，预测误差上界比预测均值更重要。
• 未来很多 learning-control 结合可能都会走 estimate + calibrated bound + robust constraint 的结构。

一句话总结

这篇论文是一次把 data-driven uncertainty calibration 接入 model-based robust operational-space control 的干净尝试，真正贡献不在更强的扰动预测器，而在用 conformal bound 替代手工 worst-case bound，从而让 ESO-CBF 安全控制更少保守、更适合真机部署。