精读笔记
Problem Setting
A Feasible-Velocity Framework for Local Controllability of Nonlinear Systems with Zero-Excluding Input Constraints（arXiv preprint / 2026-06-16）。
这篇论文实际解决的是：在非线性 control-affine 系统
ẋ = f0(x) + G(x)u, u ∈ Ω(x)
中，当 Ω(x) 是状态依赖 box 且严格排除零输入时，如何判断参考状态附近是否还能使用经典局部可控性理论，或者是否存在一阶不可逆障碍。
关键矛盾是：很多物理系统的 admissible input 并不是“小扰动围绕 0”，而是例如 cable tension 这种严格正输入。经典 STLC 理论通常先找 controlled equilibrium，再把输入写成 ue + η，其中 η 可正可负；但如果 ue 不存在，或者只能在约束边界上取到，这条路就断了。
另一个更隐蔽的困难是 rank-deficiency。机械系统写成一阶状态后，控制通常只进入加速度块，所以 G(xe) 在 R^{2k} 中不可能 full row rank。于是用 instantaneous feasible velocity set V(xe) 是否包含原点内点来判断 favorable geometry，在这些系统中几乎总是 vacuous。论文的出发点是：不能再把问题放在 ambient state-space interior 上看，而要回到输入空间判断“能否用 admissible input 平衡 drift”。
Motivation
已有路线缺的不是某个技术 lemma，而是一个适合“零输入非法”的局部参考几何。
经典 Sussmann / Krener / Hermes 路线需要局部 signed variation；positive / cone-constrained controllability 的一部分工作允许零在 convexified control set 的边界，并依赖 zero-input drift 作为 reference flow，通过 drift pushforward、averaging 或 fast oscillation 恢复方向。但在本文设定里，u = 0 本身不是合法控制，因此 zero-input trajectory 不能作为 admissible baseline。
Brammer 的线性 positive control 理论更接近，但它处理的是 autonomous linear systems，并且主要通过时间积分 reachable set 和谱结构给出 null-controllability 条件；对于非线性、状态依赖 box、参考点未必是可平衡点的情形，不能直接搬用。
作者的核心观察是：严格排除零输入本身并不必然破坏局部可控性。如果存在一个严格位于 Ω(xe) 内部的非零输入 ue 把 drift 平衡掉，那么局部上仍然可以围绕 ue 做 signed variations。真正的障碍出现在没有 admissible balancing input 时，此时所有可行速度在某个协向量方向上同号，形成一阶 barrier。
Core Idea
论文的核心思想可以概括为：用 admissible balancing set B(xe) 取代 0 ∈ int V(xe) 作为局部几何分类的中心对象。
B(xe) = {u ∈ Ω(xe): f0(xe) + G(xe)u = 0} 活在输入空间，而不是状态速度空间。这个选择很关键：Ω(xe) 作为 box 总有非空 interior，而 V(xe) 在 rank G < n 时即使包含 0 也没有 ambient interior。也就是说，B-classification 避开了机械系统中最常见的 rank-deficient 表示带来的假阴性。
分类后有两个主要分支。若 B(xe) 与 int Ω(xe) 相交，则系统可以局部重写成以 xe 为平衡点、输入 η ∈ [-ε, ε]^m 的 symmetric-control 系统，经典 Lie algebra / Sussmann 条件重新适用。若 B(xe)=∅，则 0 ∉ V(xe)，由于 V(xe) compact convex，可以把原点和 V(xe) 严格分离；这个 separating covector 不是只给一个静态几何图像，而是通过 Hausdorff continuity 扩展成邻域内沿所有 admissible trajectories 单调增长的 barrier。
本质区别在于：prior work 多从 admissible control cone 是否能通过 drift transport 生成方向出发；本文直接问“当前状态是否有合法方式抵消 drift”。这使得它更像一个局部 feasible-velocity / equilibrium feasibility framework，而不是一个完整的 controllability synthesis theory。
Method
1. Admissible balancing set：解决的是 rank-deficient 下 ambient feasible velocity interior 失效的问题。它把参考点分成 interior-balancing、no-balancing、boundary-balancing 三类。核心变化是把“原点在 V 中的位置”改写成“平衡输入在 Ω 中的位置”，从而不要求 rank G(xe)=n。
2. Interior shift：解决的是严格正输入下无法直接使用 signed controls 的问题。若 ue ∈ B(xe) ∩ int Ω(xe)，连续的输入上下界保证存在状态邻域 N 和 ε>0，使 ue+[-ε,ε]^m ⊂ Ω(x)。这一步的必要性在于：约束是 state-dependent，不能只在 xe 点上平移；必须保证整条局部轨迹上 shift 都合法。核心变化是把原系统局部包含一个 classical symmetric-control subsystem。
3. Lie algebra invariance under constant shift：解决的是平移后 bracket 条件是否改变的问题。由于 ũf0 = f0 + Σ ue,i gi 是原向量场的常系数组合，生成的 Lie algebra 点态一致。因此 LARC 可以从原 family 转移到 shifted family。这里是标准事实，贡献不在 lemma 本身，而在说明何时这个标准 reduction 在 zero-excluding constraints 下合法。
4. Feasible-velocity separation：解决 no-balancing 下 STLC 的否定。B(xe)=∅ 等价于 0∉V(xe)。对 compact convex V(xe) 做原点投影得到 v* 和 λ=v*/||v*||，满足 <λ,v>≥α>0。核心变化是从“找不到平衡输入”推出“所有瞬时速度在同一方向上严格前进”。
5. Local uniformization：解决点态 separation 不能直接约束 trajectory 的问题。由于 V(·) Hausdorff continuous，h(x)=inf_{v∈V(x)}<λ,v> 在 xe 附近仍正。于是 Φ(x)=<λ,x> 对所有留在邻域内的 admissible trajectory 都以至少 α' 增长。这个步骤是 Case B 结果真正成立的技术关键。
6. Admissible excursions：论文承认 barrier 只局部有效。若目标在 Φ 更小的一侧，任何到达路径必须离开 obstruction neighborhood。这不是 controllability 的正结果，而是把“STLC 失败但 finite-time reachability 可能存在”的机制说清楚。
Key Insight / Why It Works
最核心的 insight 是：严格正输入的局部可控性不是由“零是否在输入集合附近”决定，而是由“是否存在内部合法输入抵消 drift”决定。零输入不可用并不致命；没有 admissible balance 才致命。
Case A 有效的原因非常直接：一旦找到 interior ue，输入约束的严格正性被局部吸收到平移中心里，η 重新获得双向小扰动能力。此时所有 classical Lie bracket machinery 本质上都没有变。这里的贡献不是新的 STLC 判据，而是给出了在 state-dependent zero-excluding box 下何时可以合法使用旧判据的精确几何条件。
Case B 更有价值。它不是通过高阶 Lie bracket 失败来否定 STLC，而是构造一阶 monotone functional。只要所有 admissible instantaneous velocities 都被同一个 hyperplane 严格分到一侧，那么轨迹在该 covector 方向上必然单调前进；这直接排除小时间内到达另一侧任意近点。这个机制比 bracket obstruction 更粗但更稳健，也更适合工程约束系统。
最可能的核心贡献是 B-classification + feasible-velocity barrier 的组合。单独看，input shift、projection theorem、Hausdorff continuity、Berge maximum theorem 都是标准工具；新意在于把它们组织成针对 zero-excluding systems 的局部 dichotomy：interior balance ⇒ classical theory；no balance ⇒ quantitative STLC obstruction。
哪些可能只是辅助：CDPR 数值部分主要证明框架可计算，不构成理论增益来源；interval branch-and-bound 是 certification engineering，而不是方法本质。Sussmann 条件的使用也是外接经典结果，不是论文的原创可控性机制。
这不是 scaling、data coverage、retrieval 或 benchmark-driven 的工作。它的 inductive bias 是几何性的：先判断局部 equilibrium feasibility，再决定是 reduction 到 symmetric control，还是 separation 成 monotone barrier。
Relation To Prior Work
与经典 nonlinear controllability 的关系：本文不是改进 Krener / Sussmann 条件，而是给这些条件增加一个在 zero-excluding constraints 下可用的入口条件。Case A 本质是 controlled equilibrium around nonzero admissible input 的局部平移，属于 classical geometric control 的合法化封装。
与 Brammer positive linear control 的关系：相同点是都使用 separation 思想处理 one-sided controls；不同点是 Brammer 分离的是时间积分 reachable set，并依赖线性系统结构和谱性质。本文分离的是 instantaneous feasible velocity set V(xe)，再通过 set-valued continuity 推到局部 trajectory barrier。这是更局部、更非线性、也更保守的 obstruction。
与 cone-constrained / solar-sail 路线的关系：那些工作通常允许 0 在 convexified control set 边界，并利用 zero-input drift flow 或周期/快速振荡恢复 controllability。本文场景中 zero-input drift 不 admissible，因此必须用 balancing input 而不是 zero input 作为 reference。这个差异是结构性的，不是符号替换。
与 unilateral control / constrained controllability 的关系：本文落在 constrained nonlinear geometric control 谱系中，但它关注的是严格排除零且 state-dependent box 的局部分类。真正新增的信息是：rank-deficient 系统中，输入空间的 balance feasibility 比状态空间 feasible velocity interior 更合适。
看似新的部分中，Lie algebra invariance、input shift、convex separation 都是已有思想；实质创新是把这些标准工具串成一个不依赖 full row rank 的 B-based framework，并明确给出 no-balance 时的定量 barrier。
Dataset / Evaluation
评价部分是理论论文中的 application / certification，不是数据集驱动实验。覆盖的是一个 planar underactuated two-cable CDPR，状态维度 6、输入维度 2、张力严格正，确实匹配论文声称的关键场景：zero-excluding + rank-deficient mechanical system。
实验支持了两个 claim：第一，B-classification 在 rank G<n 且 int V 恒为空的系统中仍可计算，并能区分 interior balance / no balance / boundary balance；第二，在一个 Case B 参考状态附近，可以用 interval branch-and-bound 对 barrier rate 做连续邻域上的认证，而不仅是采样仿真。
但评价范围很窄。没有多机器人、多 cable、高维系统、真实硬件或复杂状态依赖约束的验证。trajectory simulations 只是说明 certificate 的行为，不是证明；真正的证明来自 interval bound。benchmark 没有验证 finite-time excursions，也没有展示 Case C 的处理。
因此 evaluation 对核心理论 claim 是足够贴合的，但不能支持更宽泛的工程可扩展性 claim。若要声称适用于一般 CDPR planning/control，还需要更系统的数值与真机验证。
Limitation
1. Boundary-balancing regime 被识别但未解决。Case C 实际上很重要，因为很多 actuator saturation / tension distribution 问题会落在边界平衡上。平移后得到 tangent cone 而非 symmetric box，这可能需要完全不同的 asymmetric bracket theory。文中未充分说明后续分析难度。
2. Case A 不是自足的 STLC 判据。B(xe)∩intΩ(xe)≠∅ 只保证可以回到 classical setting；是否 STLC 仍要检查 Sussmann S(θ) 或其他高阶条件。换言之，B-classification 解决的是 admissibility/reduction 问题，不解决全部可控性问题。
3. Case B barrier 是局部一阶 obstruction，保守但清晰。它排除 STLC，却不排除 finite-time reachability。对于工程 planning，真正难的问题可能转移成：如何寻找离开 barrier neighborhood 后再返回的 admissible excursion。论文只是定义了这个概念，没有给算法。
4. 对输入集合形状依赖较强。box、compact convex、连续 bounds 让 V(x) compact convex 且 Hausdorff continuous。非凸约束、混合模式、接触切换、输入符号可变但零附近有 dead-zone 的系统是否能同样处理，文中未充分说明。
5. 数值 certification 的 scalability 不明。interval branch-and-bound 在低维配置盒上可行；高维 CDPR 或复杂机器人中维度爆炸可能严重。这里的增益可能主要来自问题低维和结构简单，而不是通用 scalable computation。
6. 对参考点局部性很强。λ 来自 xe 处 V(xe) 的 projection；邻域大小取决于 feasible velocity geometry 的鲁棒性。若系统接近 boundary Case C，α 可能很小，barrier certificate 会退化。
7. 多余驱动下 balancing input 非唯一，而 Sussmann 条件依赖 shift 后 drift。论文指出这一点，但没有给如何选择 ue 以优化 bracket condition 的方法。这可能是实际应用中最关键的 design degree of freedom。
Takeaway
- 1. 对严格正输入系统，首先不要问 0 是否在输入集合中，而要问是否存在 interior admissible input 能平衡 drift。
- 这是比 ambient feasible velocity interior 更稳健的局部分类方式。
- 2. rank-deficient 机械系统中，0∈intV(xe) 通常是错误的入口条件；输入空间 balance feasibility 才是可操作对象。
- 这个 insight 很容易迁移到 cable robots、thruster-only systems、pressure actuators 等 one-sided actuation 系统。
一句话总结
这篇论文把严格零排除输入下的局部可控性重新表述为“输入空间平衡可行性”问题：内部可平衡则回到经典对称控制理论，不可平衡则由 feasible-velocity separation 给出定量 STLC barrier，是 constrained geometric control 中一个清晰但仍局部的框架化推进。