精读笔记

Problem Setting

这篇论文处理的是近圆参考轨道附近两航天器低推力追逃问题：追踪器希望在固定终端时刻接近规避器，并满足给定终端相对速度模长；规避器则最大化同一个 quadratic payoff。这里的关键矛盾不是求一个 LQ game 解，而是同时满足三个条件：闭环/解析可计算、两方 saddle-point 意义成立、终端速度可以是任意非零值。

以前方法卡在速度约束的表达上。轨道 PE game 文献常见的是 terminal distance、minimum time、zero velocity rendezvous 或无速度约束；单边 optimal control 可以把 terminal velocity 当作待选变量或在 cost 里显式给 desired velocity，但 differential game 中 cost 对两方方向相反，这种“再做一个静态优化”没有清晰博弈含义。本文实际要解决的是：如何在不破坏 LQ differential game 结构的情况下，把 terminal speed constraint 编码进去。

Motivation

作者的观察是：终端速度约束不一定要作为硬约束进入 TPBVP，也不一定要指定一个终端速度向量；如果任务只要求速度模长，那么可以通过调节终端速度二次项的权重，让 saddle-point 解自然落在目标速度球面上。

关键缺口是非零速度约束下的 PE guidance law。对 docking，零速度太强或不符合机构捕获需求；对 kinetic interception，高终端速度恰恰是目标。已有 one-sided 方法不能处理目标机动，已有 differential game 方法又基本没有任意终端 speed constraint。本文的动机不是提出更复杂的数值优化，而是保留 CW + LQ game 的解析结构，同时把速度约束变成一个可解的参数选择问题。

Core Idea

论文真正核心的思想是“用 cost weighting enforcement 代替 explicit terminal constraint”。具体说，终端位置权重取很大以近似硬 rendezvous，终端速度权重不预先固定，而是设成由一个标量 b 控制的各向同性矩阵。不同 b 会改变最优 saddle trajectory 的末端速度模长；因此求满足 v(tf)=v_c 的 b，就等价于 enforce terminal speed。

这和 prior 的本质差异在于：prior 多是给定 cost 后求解 game，或者在单边问题里优化 terminal velocity；本文反过来把 cost 的某些权重视作 constraint actuator。它引入的 inductive bias 是：不指定终端速度方向，只通过二次权重控制速度能量水平；方向由动力学、初始状态和博弈平衡共同决定。这个 bias 很适合“只关心 impact/approach speed magnitude”的任务，但不适合需要精确 approach direction 或 velocity vector 的任务。

Method

1. Terminal projection：把状态变换为 z = Φ(tf,t)x，即当前状态在无控制情况下投影到终端的状态。这个变换消掉 CW 漂移项，使 z dynamics 只含控制输入。它解决的是 TPBVP 中漂移和时间变化耦合导致的解析复杂度问题；核心变化是协态变为常值，closed-form game law 才能直接写出来。

2. LQ zero-sum controller：在 z 坐标下，Hamiltonian 对两方控制都是二次形式，追踪器最小化、规避器最大化，得到 u_p 与 u_e 都由同一个 λ 驱动，且 u_e = u_p / η^2 的比例关系。这里 η 通过 γ=1-1/η^2 进入闭环解；当 η→∞ 时，规避器退化为不机动，解回到单边 optimal-control law。

3. P 矩阵可逆性 / conjugate point：闭环 law 需要 P=I+γ Bcal Q 可逆。若 Q_v 正定，则可逆性基本由正定性保证；若为了高终端速度需要 Q_v 负定，则 cost 非凸，可能出现共轭点。作者用 Schur complement 把条件化成 det(S-bI) 不为零，即 b 不能撞上 S 的特征值。

4. 速度约束转成六次方程：在位置硬约束极限下，末端速度可写为 v(tf)=b(S-bI)^{-1}q。令其范数等于 v_c，得到关于 b 的六次代数方程。选择 b<0 可实现低于 unconstrained speed 的终端速度；选择 b>λ_max 可实现高于 unconstrained speed 的终端速度，并避开共轭点。

Key Insight / Why It Works

最重要的 insight 是：终端速度模长和终端速度权重之间存在可利用的单调/连续结构。速度权重不是普通 tuning knob，而是一个能参数化可达 terminal speed family 的变量。把 Q_v 写成 -1/(γb)I 后，问题从矩阵权重搜索降为标量 b 选根；再借助 S 的谱结构，能明确哪些根不会导致 conjugate point。

方法有效主要来自三个结构性条件：CW 线性自治系统、quadratic zero-sum payoff、terminal projection 后的 driftless dynamics。不是 scaling，不是数据覆盖，也不是工程调参；它是一个利用线性系统 Gramian/Schur complement 几何结构的解析构造。最核心贡献是允许负定 terminal velocity cost 并说明如何避免共轭点。负定 Q_v 在直觉上相当于奖励更大的终端速度，这正好覆盖 high-speed interception；通常 LQ 文献避开这种非凸区域，本文把它拉回来并给出可操作条件。

辅助部分包括六次多项式求根和 high-speed 近似初值。这些更像 engineering convenience：真正的机制不是 MATLAB roots，而是 b 与 S 谱之间的关系。仿真中最后 30 秒固定 b 以避免 chatter，也明显是工程补丁，说明在线选根在终端附近可能存在数值不平滑。

需要注意，所谓“speed constraint enforcement”本质上是软约束权重极限下的精确化表达。位置约束依赖 q_r→∞ 的理想化，实际仿真用大有限权重。因此严格意义上的 hard terminal position constraint 并没有完全实现，只是足够小的 miss distance。速度约束能否在有限 Q_r、推力饱和、模型误差下仍保持精确，文中未充分说明。

Relation To Prior Work

这篇最接近三条路线：一是 CW 框架下的解析 rendezvous optimal control；二是 orbital pursuit-evasion LQ/differential game；三是作者自己先前的 one-sided terminal speed constrained guidance。它不是从 nonlinear PE game 或 direct transcription 方向推进，而是站在线性解析 guidance 谱系上做约束表达的扩展。

相对 Dong/Ye 等 CW PE guidance，本文新增的是 control effort 型 LQ payoff 下的任意终端 speed constraint，而不是 bang-bang minimum terminal distance/time。相对 Shen/Li/Pontani 等非线性或间接数值 PE，本文牺牲动力学真实性，换来 closed-form closed-loop 结构。相对作者先前 one-sided law，关键变化是速度不再作为单方静态优化变量，而是通过 terminal velocity weighting 进入 saddle-point game。

看似新的部分中，terminal projection、LQ game 解、Schur complement/conjugate point 分析都不是全新工具；实质创新是把这些工具组合成一个“以 cost 权重 enforce speed”的可解析机制，尤其是系统讨论 Q_v 负定情况下的无共轭点条件。它更像一个 clever formulation paper，而不是一个大规模算法系统。

Dataset / Evaluation

评估是仿真而非真实飞行/硬件实验，任务覆盖单一：一个参考轨道高度、一组初始相对状态、一个固定终端时长、一个 command speed，并在 OET 与 NMT 两种目标策略下比较。结果确实验证了在模型内假设成立时，闭环 law 可以同时做到接近和速度匹配；也验证了当目标按最优规避策略机动时，DG law 相比 one-sided OGL 有 fuel advantage。

但这些实验并没有充分验证更强 claim：任意 terminal speed、任意初始条件、不同终端时间、不同 η、不同推力上限、不同扰动模型下都稳定有效。文中有 η 扫描的 cost comparison，但仍是同一场景族。尤其推力饱和被放进仿真，却没有重新分析受限控制下的 saddle point；这会削弱“optimality”证据。benchmark 支持的是局部可行性和模型内优势，不足以支持真实部署鲁棒性。

Limitation

核心前提很强：相对距离小、近圆轨道、CW 线性模型、无 J2/drag/SRP、固定终端时间、双方完美状态观测、双方知道彼此模型和能力、规避器按最优 saddle 策略行动。只要目标策略偏离，虽然仿真 NMT 仍能工作，但控制末端出现较高 thrust demand，说明闭环律对错误 opponent model 的适应性有限。

理论推导假设控制无界，而仿真加入推力饱和。这个不一致不是小问题：LQ saddle solution 的必要条件依赖无界二次控制，饱和后 Hamiltonian 最优性结构会变成 constrained game，控制律不再是严格 saddle-point。文中没有给出 saturated case 的性能界或可行性条件。

Q_r→∞ 的硬位置约束是分析便利，实际使用有限大权重。速度约束方程是在该极限下推导的；有限 Q_r 时误差如何传播到 terminal speed，文中未充分说明。S 特征值单调性主要通过归一化图示支持，严格证明不足。b 的根选择也可能存在多根、根跳变和接近 λ_i 时数值病态，最后 30 秒冻结 b 说明在线实现还有未解决的稳定性问题。

方法的上限也清楚：它只约束 speed magnitude，不约束 terminal velocity direction；不处理避碰、视线锥、姿态/推力方向约束、多目标、状态不确定性或非合作目标策略学习。若任务需要更复杂终端几何，这个 scalar weighting trick 可能不够。

Takeaway

• 1. 最值得记住的是把终端速度约束转译为 cost weight selection：在 LQ game 中，某些 constraint 可以通过反解权重实现，而不是直接加硬约束。
• 2. 负定 terminal cost 不一定只能被视为病态；如果能用 conjugate point / spectrum 条件控制奇异性，它可以成为覆盖 high-energy terminal behavior 的有效建模工具。
• 3. Terminal projection 在轨道 guidance 里仍然是强工具：它把动力学结构压缩到 Gramian-like 矩阵，使复杂边值问题变成代数参数问题。
• 4. 后续真正值得做的是把这个机制推广到受限控制和更真实动力学，而不是继续在同一 CW 场景里调仿真；一旦有推力饱和和扰动，当前解析最优性会迅速变成近似 guidance。

一句话总结

这篇论文是 CW 线性轨道追逃博弈中一个聪明的解析 formulation：通过反解终端速度权重、包括允许负定权重并做共轭点规避，把非零 terminal speed constraint 纳入 LQ saddle-point guidance。