冗余机械臂容错控制的公理化弹性泛函：表示、秩不变性与样本复杂度

《Mathematics》：An Axiomatic Resilience Functional for Fault-Tolerant Control of Redundant Manipulators: Representation, Rank Invariance, and Sample Complexity

　　

比较冗余机械臂的容错控制器，需要把若干不可通约准则——跟踪退化、检测延迟、重配置时间、能量、实时可行性、约束违反——归约为单一序关系。实践中常用加权和，其函数形式从未被证明，权重也从未被审计，因此报告的排序可能是聚合规则的人为产物。本文提供缺失的理论；不提出新控制器，把被比较的控制器视为给定。八类故障被写成刚体动力学的一个扰动，故障后任务能力由可达任务速度zonotope的Chebyshev半径刻画，该半径在效能向量上凹，且与经典锁定关节度量范数等价。聚合步骤的六条公理——归一化、严格单调性、齐次性、连续性、不可补偿性、乘性复合——在拟算术类内把可接受泛函唯一化为加权几何平均，排除该领域当前使用的加权算术平均。三个结论可计算：分数在对数坐标中Lipschitz常数为1；从名义权重到反转两两比较的权重向量的精确??距离有闭式；归一化常数误设的影响由显式指数界定。无分布界给出可报告差异所需回合（episode）数：738回可将单控制器分数估计到ε=0.05、置信1?δ=0.95，343回可在配对抽样下判断两控制器谁更高。一组N episode验证所有界；被排除的算术平均在五个平台（plant）中三个上反转已报告排序；并量化排序对检测阈值、权重和故障分布的响应。

研究背景方面，冗余机械臂容错控制领域长期把跟踪误差、检测延迟、重配置时间、能量消耗、实时可行性、安全约束违反等不可通约指标，通过作者自选权重和未加论证的加权和聚合成单一分数。这种方法存在三类问题：聚合函数形式缺乏理论依据，加权算术平均会让安全约束全程违反的控制器靠其他指标补偿而仍得正分；权重未报告稳定性，排序可能只是权重的人为产物；仿真研究常用十到五十个回合（episode）而非功率计算来确定样本量，差异被当作结论报道。通信故障与执行器故障也常在分离文献中研究，而网络化工况下二者会耦合。为此，研究人员把评价步骤本身作为研究对象，不设计新控制器，而是追问“比较两个给定控制器的弹性分数可以声称什么”。

论文发表在《Mathematics》。研究人员提出：把八类故障统一写成刚体模型的一个扰动，用可达任务速度zonotope的Chebyshev半径作为故障后任务边界，再用六条公理在拟算术（quasi-arithmetic）类内约束聚合泛函，并给出权重扰动、归一化常数扰动、样本量的可计算界。结论是：在拟算术类内，六条公理唯一确定加权几何平均（weighted geometric mean），排除当前文献使用的加权算术平均（weighted arithmetic mean）；对数坐标下分数Lipschitz常数为1；权重反转排序的精确??距离有闭式；绝对声明需738回合，配对比较需343回合，高失败率区间样本需求反而下降。该研究为容错控制评价提供了公理基础、可审计的排序稳定性与样本量准则，意义在于让跨方法、跨平台的弹性排名不再依赖未论证的加权和。

主要关键技术方法方面，研究人员采用统一故障建模，将锁定关节、自由摆动关节、部分失效、编码器偏置与漂移、力矩饱和、丢包、变延迟、漏控周期八类故障归入一个扰动框架；用zonotope与Chebyshev半径刻画任务可达性并与经典最小奇异值度量做范数等价；以拟算术均值（quasi-arithmetic mean，由连续严格单调生成函数φ构成的聚合族）为假设类，列归一化、严格单调、齐次、连续、不可补偿、乘性复合六条公理做表示定理证明；以Hoeffding不等式与Bernstein不等式给出绝对/配对样本量，并用经验Bernstein界做报告区间；数值研究在P1–P5五类机械臂平台上以固定种子、公共随机数（common random numbers）与八种既有控制器做验证，不引入新控制算法。

研究结果部分，第三节问题建模（Problem Formulation）通过将八类故障写成方程(1)(2)中的效能矩阵Δ与偏置项，说明通信类故障可作时变Δ与延迟算子处理，并定义六条归一化准则C1–C6，指出跟踪退化不能用前后误差比而应用固定容差后的绝对误差。第四节故障后任务边界（The Post-Fault Task Margin）用zonotope支撑函数给出Chebyshev半径ρ的对偶表达，证明ρ对效能向量凹且单调，并在锁定关节时与删列Jacobian最小奇异值σ_min满足双向常数界；计算复杂度为O(m^n?1)，大臂可用奇异值分解（SVD）界定。第五节弹性泛函的公理构造（Axiomatic Construction of the Resilience Functional）给出定理1：拟算术类下A1–A4等价于幂平均M_p，A5把p限制到p≤0，A6进一步把p固定为0，从而唯一得到加权几何平均；加权算术平均对应p=1被排除；A6的独立性假设与故障耦合边界被明确讨论。第六节稳定性与秩不变性（Stability and Rank Invariance）给出定理2对数坐标Lipschitz常数1，命题2归一化常数相对误差使分数变为幂次，推论1比较对参考常数扰动的稳定条件，定理3权重误设下排序反转的??判据，命题3用分数背包（fractional knapsack）给出精确反转距离d_rev。第七节估计与样本复杂度（Estimation and Sample Complexity）由定理4得绝对738回合、配对343回合、下限99回合；推论2用经验Bernstein区间；推论3说明零膨胀下失败率π₀升高时绝对预算低于738，π₀≈0.58起优于分布无关值，配对预算在π₀＞0.41才改善。第八节数值研究（Numerical Study）在P1平面冗余臂、P2 SCARA、P3七自由度臂、P4四臂delta并行机构、P5 UR16e上跑八控制器，验证边界、显示算术平均在三个平台上反转几何平均排序、并分析检测阈值/权重/故障分布敏感性。第九节与第十节分别讨论框架规模和开放问题，指出现有结论限于拟算术类、需要去掉该假设、研究故障耦合与同时多类注入等。

讨论与结论部分，研究人员强调：现有容错控制文献的排名不可比，源于缺少聚合公理与样本量论证；本文把“评价层”置于基准平台之上，使排名可审计。结论可译为：在拟算术类内，A1–A6唯一刻画加权几何平均，加权算术平均被不可补偿性排除；弹性分数在对数坐标中具有单位Lipschitz常数；权重反转集合的精确??距离可由有限贪心递归计算；归一化常数误设按幂次传播；无分布界要求绝对声明约738回合、配对比较约343回合，而高失败率机制会降低需求；数值战役在五平台上验证上述所有界，并表明被排除的算术平均在五个平台中三个上改变已报告排序。该研究不构成新控制器推荐，而是为冗余机械臂容错控制评价提供可复现、可审计、有样本复杂度保证的理论层。