精读笔记

Problem Setting

Tracking Through Decoupling Singularities: A Singularity-Robust Homotopy-Continuation Extension of Feedback Linearization（arXiv preprint / 2026-07-14）

这篇论文实际处理的是反馈线性化在 decoupling singularity 处的结构性失败：Λ(x) 退秩时，输入输出映射瞬时失去某些输出方向的控制 authority，Λ^{-1} 不存在，标准线性化控制发散。问题不是常规 tracking，而是如何在 reference 必然经过这些奇异点时仍保持 bounded control，并在穿越后恢复 tracking。

关键矛盾是：若坚持精确逆，控制会爆炸；若用 damping / approximation，regular region 的精确性和奇异点处的几何解释会丢失。本文试图保留反馈线性化在非奇异区域的行为，同时在孤立 rank-one loss 处用 continuation 的额外自由度吸收奇异性。

Motivation

已有方法不够的地方在于它们通常把奇异点当作需要规避或软化的局部病态：DLS 用阻尼牺牲精度，approximate linearization 放弃 exact cancellation，switching 需要人为分区，parallel mechanism crossing 依赖更具体的动力学条件。它们很少给出一个统一的条件说明“这个奇异点到底能不能有界穿过”。

作者的核心观察是：Λ 退秩不等于整个 tracking constraint 退秩。如果把 tracking 写成 homotopy constraint，并把时间同步参数 μ 作为额外未知量，那么原来 m×m 的 Λ 变成 m×(m+1) 的 [Λ|b]。只要 b 在丢失的输出方向上有分量，增广系统仍然 regular。缺口正是：把 singularity robustness 从 damping heuristic 提升为一个可检验的 transversality/rank 条件。

Core Idea

本文真正的核心不是 Moore-Penrose inverse 本身，而是改变了反演对象：从反演 decoupling matrix Λ，改为沿 H(x, μ, t)=0 的增广解流做 continuation。μ 是 reference time 的内部代理，tracking error 被编码为 e=t-μ；控制器允许 μ 在奇异点附近短暂落后，而不是让物理输入无限大。

这带来的本质区别是：奇异点处的失败从“Λ 不可逆”改写为“A=[Λ|b] 是否满行秩”。在 rank-one loss 下，只要 w^T b≠0，A 仍满行秩，A† 有界，流可以通过。regular region 中，ρ>0，μ-locking 把 e 压到 O(1/k)，控制等价于反馈线性化；singular region 中，ρ→0，parameter authority 消失，但控制保持有界。这是一个明确的几何 tradeoff，而不是数值 damping。

Method

1. 增广 homotopy constraint：把输出误差写成 h(x)-y*(t)=e b(t)，其中 e=t-μ。它解决的是 tracking 与 continuation 的对齐问题；核心变化是输出误差不再直接由高增益输入消除，而由内部时间滞后参数表示。

2. A=[Λ|b] 的最小范数解：A†B 给出保持 Hdot=0 的 particular flow。它解决 Λ^{-1} 在奇异点发散的问题；核心变化是控制输入和 μdot 被联合求解，奇异性由额外列 b 分担。

3. 核空间反馈 ke n_hat：由于 A 是 m×(m+1)，还有一维 kernel。该自由度用于让 μ 追踪 t，从而在 regular region 恢复 O(1/k) tracking。它是 outer-loop tracking 的来源，不是 singularity repair 的来源。

4. transversality w^T b≠0：这是方法成立的判据。它保证 b 补上 Λ 丢失的输出方向，使 A 满行秩。若条件失败，A† 不存在或 tangent 发散，原来的 Newton / feedback-linearization blow-up 回来。

5. orientation policy：ρ≥0 给出稳定 re-locking 和反射；continuity orientation 给出 branch crossing。它解决的是 fold 处 solution lift 的选择问题；核心变化是把“是否换工作模式”暴露为 kernel orientation，而不是隐藏在数值积分中。

Key Insight / Why It Works

最关键 insight 是 authority collapse：在横截奇异点处，A 仍然 regular，但其 kernel 的 μ 分量 ρ 必然趋于 0。也就是说，系统可以有界地运动，但不能同时保持对 reference time 的完全控制。本文的理论价值在于把这个不可兼得关系讲清楚：bounded state/control velocity 与 undiminished parameter authority 在 rank-one loss 处结构上冲突。

真正有效的部分是 transversality + augmented continuation，而不是 Moore-Penrose inverse 这个工具本身。A† 只是实现有界最小范数流；核心是 b 给了增广系统一个离开 range(Λ) 的方向。只要 b 覆盖了丢失输出方向，奇异点被 lifting 到 regular augmented manifold 上。

O(1/k) tracking 不是神秘能力，而是 kernel feedback 的高增益锁定效果；这部分和常规 outer-loop feedback 很像，更多是控制结构上的自然结果。跨越奇异点时的 bounded excursion 也不是因为控制器“控制住了不可控方向”，而是因为它暂时承认不可控，把误差放进 μ lag，等 ρ 恢复后再 re-lock。

实验增益主要不是 scaling，也不是 data coverage；这是解析结构收益。若说有 engineering 成分，主要在数值积分、Baumgarte stabilization、orientation sign handling，以及 reference/anchor shaping 保持 w^T b 不小。converter 例子里部分效果依赖 steady-state map 和良好的模型结构，真实动态闭环下增益来源还不完全清楚。

Relation To Prior Work

它最接近三条路线：singularity-robust inverse kinematics / DLS，numerical homotopy continuation / Davidenko flow，以及 nonlinear feedback linearization through loss of relative degree。和 DLS 的本质差异是：DLS 在 ΛΛ^T 中加 damping，牺牲 regular accuracy；本文在 Λ 旁边加 homotopy column b，条件满足时不是软化病态，而是改变了 rank 结构。

和经典 continuation 的关系更直接：本文把 arc-length continuation 从离线 root tracking 改成实时 controller，并增加了 μ-locking feedback，使 homotopy parameter 被实际时间驱动。这部分是已有思想的控制化重组，但 transversality、authority collapse、reflection/crossing 的控制解释是实质新增。

和 Type-2 singularity crossing 的 reciprocity criterion 有明显同构：w^T b≠0 就是“驱动方向要在不可控输出方向上有分量”。不同是本文不依赖完整 inverse dynamics，而是从 augmented Jacobian rank 得到条件。

和反馈线性化的关系应谨慎理解：它没有扩大系统可反馈线性化的结构类别。它是在已有相对阶和 minimum-phase 条件下，扩展了允许经过的 operating envelope。off singular set 它基本就是 feedback linearization + O(1/k) correction。

Dataset / Evaluation

评估覆盖面在机制验证上是充分的：scalar fold 展示基础 crossing，2-DOF arm 展示 kinematic singularity 和 reflection/crossing dichotomy，relative-degree-one/two 动态系统展示 decoupling singularity，converter 展示一个工程静态逆问题中的 buck/boost fold 和 resonance reflection。它们确实对应论文的核心 claim：孤立横截奇异点处 bounded inversion，regular region 中接近反馈线性化。

但这些评估仍主要是仿真和模型内验证。没有真实机器人或电力电子硬件，没有系统噪声、参数不确定性、执行器饱和、采样延迟、unmodeled dynamics 的 stress test。converter 用的是 steady-state characteristic，不是完整动态 averaged/switching model；因此它验证的是静态 inversion singularity，而不是完整闭环电力变换器控制。

实验数字很有说服力地展示了 naive inverse 会发散、continuation flow 有界，但它们没有充分区分理论结构收益与 reference/anchor tuning、orientation policy、数值 stabilization 的贡献。特别是 crossing orientation 下出现大瞬态，说明方法能“穿过”不等于 deployment 上可接受。

Limitation

最核心限制是前提强。方法需要已知 decoupling matrix、已知相对阶、平滑模型、孤立 corank-one rank loss、w^T b≠0、bounded B，以及动态系统的 minimum-phase zero dynamics。任何一个环节失败，理论保证就会明显变弱。

它没有解决真正的不可控性。奇异瞬间丢失的输出方向仍然不可控；本文只是避免对该方向做无限大控制，并把误差暂存在 μ lag 中。因此它是 graceful degradation + re-locking，不是奇异点处的 exact tracking。

单参数 homotopy 的自由度不足是结构上限。一维 kernel 既要锁定 μ，又要决定 branch crossing；所以稳定 tracking 与工作模式切换在 fold 处冲突。文中提出多参数扩展，但没有完成理论和实验闭环。

对 transversality 的依赖也可能把问题转移到 reference/anchor design。b=h(x0)-y*(t) 若在奇异点落入 range(Λ)，方法直接退化；实际系统中如何在线选择/更新 anchor 或 homotopy direction，文中未充分说明。

鲁棒性仍是空白。A† 对 AAT 的条件数敏感，orientation switching 可能带来不连续，Baumgarte stabilization 是数值补丁。真实 deployment 下的噪声、限幅、采样和模型误差可能破坏 H=0 约束和 w^T b margin。文中未充分说明这些问题。

Takeaway

• 1. 最值得迁移的 insight 是：不要总是 regularize 一个坏逆；有时应改变反演对象，把原问题 lift 到带额外参数的增广流形上，使 singularity 变成横截可穿越点。
• 2. decoupling singularity 的可穿越性可以用 w^T b≠0 这种局部几何条件刻画，比“加 damping 看效果”更有解释力，也更适合作为 reference shaping / supervisor 的约束。
• 3. singularity-robust tracking 的本质代价是 authority redistribution：控制有界性来自放弃奇异瞬间的时间锁定，而不是神奇地恢复丢失控制方向。
• 4. 后续真正有价值的方向不是再堆仿真，而是多参数 homotopy、在线 homotopy direction selection、robust / constrained implementation，以及真实动态系统中的硬件验证。

一句话总结

这篇论文把反馈线性化的奇异点问题重写为增广 homotopy continuation 的横截 rank 问题，实质贡献是用几何 lifting 替代阻尼正则化，在孤立 decoupling singularity 处实现有界穿越与可恢复 tracking。