分离式设计是经验选择还是数学必要条件？

一句话回答

是数学必要条件。 分离式设计是从状态空间结构诊断（机械臂有限维 ODE 与导线无穷维 PDE 的耦合分析）出发，推导出形式化可处理性三个充分条件之后，逆向反推出来的硬件方案。不是先有工程经验再找理由，是先有数学约束再得出硬件结论。

什么是分离式设计

Prj167 作业方案的核心选择：机械臂不再持续施力于导线，而是采用两阶段解耦：

1. 定位锁紧：机器人通过专用夹具锁定在导线上，消除导线振动对机械臂的动态耦合
2. 工具独立操作：锁紧完成后，末端执行器在空间中独立执行作业任务，不与导线保持持续力学接触

这个设计在外观上看起来是工程常识——“先固定再操作”似乎是显而易见的。但如果这只是经验直觉，就无法回答：为什么不用其他固定方式？为什么两阶段而不是三阶段？选择依据是什么？

状态空间结构分析给出了真正的回答：这个设计满足形式化可处理性三个充分条件，而持续接触类方案均不满足。

形式化可处理性的三个充分条件

要对一个动力系统应用 CBF + STL 形式化验证，系统必须同时满足：

条件 1：有限维状态表示

存在 $n < \infty$，使得系统完整状态可以表示为 $x \in \mathbb{R}^n$，且 $n$ 在设计时已知。

这排除了任何包含 PDE 状态（无穷维函数空间）的系统。旧方案中导线振动 $w(\cdot, t) \in L^2$ 违反此条件。

条件 2：解析动力学存在

存在连续可微函数 $f$，使得 $\dot{x} = f(x, u)$，且 $f$ 有闭合解析形式（不依赖数值积分）。

这保证了 CBF 的李导数 $\frac{\partial h}{\partial x} \cdot f(x, u)$ 可以解析计算，而不是每次都需要数值近似。

条件 3：CBF 屏障函数 1ms 内可求解

存在 CBF $h: \mathbb{R}^n \to \mathbb{R}$，使得 QP： $u^* = \arg\min_{u} \|u - u_\mathrm{ref}\|^2 \quad \text{s.t.} \quad \dot{h}(x,u) + \alpha(h(x)) \geq 0$ 在控制周期（≤1 ms）内完成求解。

这要求 $n$ 不能太大、$h$ 的形式不能太复杂。

诊断：旧方案在哪里失败

旧方案在三个条件上全部失败，且失败原因都指向同一个根源：ODE-PDE 耦合。

推导：分离式设计如何满足三个条件

锁紧阶段：机器人刚性锁定在导线上，接触力 $F_\mathrm{contact}$ 由锁紧机构承受，机械臂自身不受导线动力学影响。机械臂状态 $q \in \mathbb{R}^6$（关节角），ODE $\dot{q} = f(q, \tau)$（关节力矩输入）。条件 1、2、3 全部满足。

工具作业阶段：末端工具在空间中独立运动，与导线之间保持安全间距（此时导线已被夹固，振动可忽略）。末端轨迹 $p \in \mathbb{R}^3$，动力学为标准操作臂方程。CBF 以 $h(q) = d(\mathrm{FK}(q), \text{障碍物}) - d_\mathrm{safe}$ 定义，李导数解析可算。条件 1、2、3 全部满足。

Jump 切换（锁紧→作业→换装）：状态空间在切换时发生离散跳变 $q^+ = g(q)$，由 Flow-Jump 框架统一处理，不引入新的连续 PDE。

因此：分离式设计是唯一已知能同时满足三个形式化可处理性条件的作业方案。

这个结论的工程意义

分离式设计来自数学，这意味着它不是可以”优化”或”改进”的工程选项——它是当前 Prj167 场景下形式化验证的必要前提。如果未来想采用其他方案（比如某种软接触持续操作），必须先证明新方案满足上述三个条件，否则形式化安全保证整体失效。

这也说明了 EICPS 的一个工程哲学：硬件方案应当从形式化约束反推，不是从工程经验正推。安全验证的要求决定了什么样的硬件设计是被允许的，而不是反过来。

→ 旧方案为什么是结构性失败？ · Flow-Jump 动力学是什么？ · 从 EST 到 ES：概念演进