精读笔记
Problem Setting
[Optimal Ground-to-Air Interception with Time-Varying Acceleration Bounds]（arXiv preprint / 2026-06-16）
这篇论文实际处理的是地空拦截里一个很具体但很致命的问题：拦截弹在爬升过程中可用法向加速度随高度下降，传统制导律如果按无约束最优控制生成指令，进入高空后会长期饱和，闭环等效被打开，最终即便名义上可拦截也会出现大 miss。
真正困难点在于约束是“未来变紧”的硬约束，而不是当前时刻的幅值裁剪问题。若只把 OGL 指令 saturate，制导律并不知道后面会失去机动能力，因此早期控制过于温和；等到 ZEM 需要修正时，导弹已经处于低机动能力区。关键矛盾是：LQ cost 想节省控制 effort，而物理约束要求在低空高机动阶段提前花控制预算。
以前方法卡在两个方向：常数硬约束理论在 minimum-phase 动力学下会得到“无约束 OGL 加饱和仍最优”的结论，无法解释地空场景的提前机动需求；软约束方法能鼓励早期机动，但把问题转移成权重调参，且不保证严格满足硬边界。
Motivation
已有路线缺的是对“约束时变性改变最优解结构”的正面建模。PN/APN/OGL 关心 miss 和 effort，但默认控制可实现；soft-constrained OGL/NAPN 用时间权重让早期控制更便宜，本质是 heuristic bias，不知道实际边界何时激活；DGGL 虽可处理 bounded control，但通常以 miss 为 cost、较保守，且不利用已知目标机动信息。
作者的核心观察是：在地空拦截中，加速度上限关于 time-to-go 通常近似随 time-to-go 增大而增大，即早期低空可用控制更大、后期高空可用控制更小。这个形状会让无约束最优指令曲线和限幅曲线产生两个交点，形成“初始未饱和—中间饱和—末端未饱和”的弧结构。初始未饱和段不是无关紧要的自由区间，而是唯一能提前补偿未来饱和的窗口。
因此关键缺口不是再设计一个更平滑的 OGL，而是把未来硬限幅纳入当前最优控制计算，让当前控制显式感知未来 saturation arc。
Core Idea
论文真正的核心思想是：不要把饱和当作执行层的事后裁剪，而要把 time-varying hard bound 当作最优控制问题的一部分。通过 terminal projection，原始线性化拦截动力学被压缩成一个标量 ZEM 动力学 \(\dot Z=\varphi(t_{go})u\)，终端 miss cost 和控制 effort cost 仍保留，但控制输入受 \(|u|\le u_{max}(t_{go})\) 的硬约束。这样，最优控制自然变成由未饱和弧和饱和弧拼接的 bounded OGL。
本质区别在于信息流被重排了：OGL 用当前 ZEM 推导当前指令，默认未来控制可用；BOGL 用“未来限幅会如何截断控制”反推出 bounded terminal ZEM，再决定当前指令。于是初始未饱和区间内，BOGL 的指令会比 OGL 更大，因为它知道中间饱和区会降低未来修正能力。这不是简单 tuning gain，而是由约束激活结构导出的前馈式重分配。
这个 inductive bias 很强：当系统资源随时间衰减时，最优策略应在资源丰富阶段提前行动。这个思想不局限于导弹制导，也适用于电池退化、通信带宽下降、机器人能量约束等“未来控制 authority 下降”的有限时域控制问题。
Method
1. 标量化 ZEM 动力学：论文用 terminal projection 把高维线性系统的终端 miss 投影成 ZEM 变量。它解决的是 bounded optimal control 难以直接解析的问题；必要性在于 cost 只依赖终端横向 miss，因此无需保留完整状态。核心变化是控制问题从高维 LQ 变成 \(Z\) 上的一维受限最优控制。
2. 显式硬约束最优控制：Hamiltonian 最小化给出 saturated structure：未饱和时是 OGL 型 \(-\alpha Z_f\varphi\)，饱和时贴着 \(u_{max}(t_{go})\)。这一步解决的是软约束不保证满足边界的问题；核心变化是约束不再是调参惩罚，而是决定 switching arcs 的几何对象。
3. time-varying bound 的 switching-time 求解：作者将高度相关加速度上限近似为 time-to-go 多项式，并研究无约束最优曲线与限幅曲线的交点。它解决的是何时进入/退出饱和的问题；核心变化是控制律需要同时估计 terminal ZEM 和 switching times，而不是只算瞬时 command。
4. 分段计算 bounded terminal ZEM：根据当前处于 flag=1/2/3，即末端未饱和、中间饱和、初始未饱和三类情形，论文给出不同的积分表达式。这个机制解决的是“当前控制如何知道未来饱和损失”的问题；核心变化是 terminal ZEM 被未来饱和段的积分修正，因此初始未饱和段会自动提高指令。
5. 零阶与一阶严格真 missile dynamics：论文分别给出 \(\varphi_0=-K_Mt_{go}\) 和 \(\varphi_1=-K_M\tau_M(e^{-\theta}+\theta-1)\)。这不是核心创新，但保证方法覆盖 OGL 文献中最常用的理想/一阶执行机构模型。
Key Insight / Why It Works
最重要的 insight 是：常数硬约束和时变硬约束在 minimum-phase 情况下不是同一个问题。常数限幅下，无约束最优指令通常随 time-to-go 单调增加，只有一个交点，场景从一开始就饱和或之后退出饱和；没有“饱和前的未饱和补偿窗口”，所以饱和 OGL 可能仍然最优。时变限幅下，限幅曲线早期高、后期低，会和无约束最优指令形成两个交点，从而出现初始未饱和段。BOGL 的全部收益基本来自利用这个初始段。
方法有效不是因为数值算法更强，而是因为它修正了 OGL 对未来可控性的错误假设。OGL 的 terminal ZEM 估计默认未来能继续施加无约束最优控制，所以在初期低估 miss 风险；BOGL 的 bounded terminal ZEM 把中间饱和段的控制损失计入当前决策，因此初期 terminal ZEM 绝对值更大，指令也更大。论文中 IV.D 的证明基本抓住了贡献核心：在 flag=3 且 OGL 未饱和时，BOGL command magnitude 必然大于 OGL。
这更像是 better inductive bias / latent constraint-structure exploitation，而不是 scaling、data coverage 或 test-time compute。数值 root-finding 和多项式拟合是工程实现，核心贡献是识别并利用“time-varying bound induces pre-saturation unsaturated arc”。
辅助部分包括：多项式拟合限幅、Newton-Raphson 求 switching times、零阶抛物线初始化。这些对实现很重要，但不是理论增益来源。若真实限幅已可直接表达，或者用在线 optimal control 求解器，这些工程细节可替换。
需要警惕的一点是，论文的“最优”是在强简化模型内成立：线性化、已知目标加速度、给定/拟合的 time-to-go 限幅、最多两个 switching points。它不是对完整非线性地空拦截问题的全局最优声明。
Relation To Prior Work
最接近的谱系是 OGL/LQ guidance 加 bounded control。与 Cottrell OGL、Shaferman-Shima LQ terminal-angle guidance 的关系是：保留 LQ terminal miss + effort 结构，但把 hard bound 放进必要条件。与 Rusnak-Meir 常数硬约束工作的关键差异是：不是再证明饱和 OGL 是否最优，而是指出 time-varying bound 改变 arc topology，因此常数约束结论不能直接迁移。
与 Ben-Asher、Taub-Shima 的软时变约束路线相比，BOGL 的新增信息是 hard boundary 的实际激活位置。软约束通过指数 time-to-go 权重人为诱导早期机动，但需要调参，且没有真正知道何时饱和；BOGL 直接以 switching times 组织解，因此早期机动强度来自约束几何而非手调权重。
与 Shima-Shinar bounded DGGL 相比，本文不是 worst-case pursuit-evasion，而是假设目标机动可知/可预测的一侧最优控制。因此它更不保守，也更依赖目标信息。这个选择是实用 trade-off：如果目标机动估计可靠，BOGL 会比 DGGL 更有效；如果目标机动未知或对抗性强，论文框架的优势会下降。
看似新的部分中，多项式近似、ZEM 表达、扩展线性化都不是新思想；实质创新是把 altitude/time-varying hard acceleration bound 与 OGL 的 terminal projection 结合，并明确展示其导致初始未饱和预补偿结构。
Dataset / Evaluation
评估是非线性二维拦截仿真，不是数据集意义上的 benchmark。任务覆盖主要包括：一阶 missile/target dynamics 下 BOGL vs saturated OGL；零阶 BOGL vs 修改后的 NAPN；不同目标初始高度、航迹角、目标机动下的 capture envelope。它验证了核心 claim 的主要部分：time-varying hard bound 下，显式考虑未来饱和能显著减少 miss，并扩大 capture region。
但 evaluation 的外推范围有限。仿真仍使用常速、二维、已知常值目标加速度、简化一阶 dynamics、100 Hz 控制和给定高度相关限幅。没有六自由度气动、姿态耦合、 seeker 噪声、估计误差、目标机动不确定性、执行机构 rate limit 或 autopilot saturation interaction。文中未充分说明 BOGL 对限幅拟合误差、time-to-go 误差和 switching-time 数值误差的敏感性。
与 NAPN 的对比支持“软约束需要场景调参”这一点，但比较仍局限于作者设定的 NAPN 修改版本和 k sweep。不能据此断言所有软约束或 MPC 类方法都劣于 BOGL。更强 baseline 应包括在线 constrained optimal control / MPC、robust DG variant、以及带目标估计误差的闭环方案。
Limitation
1. 目标未来机动假设偏强。正文一开始假设目标 command 已知，后面 remark 放宽为知道未来 target acceleration。仿真用常值目标加速度。这对实际拦截是核心前提，不是小问题。若目标机动估计错，BOGL 的提前机动可能过补偿。
2. 线性化和 time-to-go 近似是结构成立的基础。方法在每步 extended linearization 下使用 \(t_{go}\approx r/v_c\)，并将高度相关限幅转成 time-to-go 多项式。高 heading error、大机动、closing speed 明显变化时，这个映射会偏，switching times 可能失真。
3. 最多两个 switching points 是强结构假设。论文给出充分条件，但真实限幅若受 Mach、攻角、动态压、姿态控制裕度、热约束共同影响，未必满足单调凸近似。多次进入/退出饱和时，当前解析框架会变复杂。
4. 限幅拟合本身有闭环依赖。作者用 OGL trajectory 估计 BOGL 的 time-to-go 限幅，并观察二者相近。但这在 BOGL 显著改变轨迹时不一定成立。这里可能把一部分难题转移给了前置仿真/拟合。文中未充分说明极端场景下是否需要迭代重拟合。
5. 只约束 acceleration command magnitude，没有处理更完整的 actuator/autopilot dynamics。实际中还有 rate limit、延迟、姿态可达域、气动非线性、控制分配饱和等；这些会破坏简单的 \(|u|\le u_{max}(t_{go})\) 形式。
6. “最优控制 effort 下界”只在给定模型和对比族中成立。论文说 BOGL 对成功 NAPN 给出 lower bound，这在实验设置中成立，但不能泛化为对所有可行制导律的全局下界。增益归因清楚地来自硬约束建模，而不是算法整体更鲁棒。
Takeaway
- 1. 这篇最值得记住的不是具体公式，而是：time-varying hard constraint 会改变最优解拓扑；不能从 constant-bound 结论推断 saturated OGL 仍然足够。
- 2. 对资源随时间衰减的有限时域控制问题，正确的 inductive bias 是“提前使用早期资源”，但提前多少应由未来约束激活结构决定，而不是靠软权重调参。
- 3. BOGL 的核心贡献是把未来 saturation loss 反映到当前 terminal ZEM 估计里。
- 这种“bounded terminal projection”思路可迁移到能量受限机器人、末端机动受限拦截、带时变输入上界的轨迹修正问题。
一句话总结
这篇论文是 OGL 在地空时变硬加速度约束下的结构性扩展，其真正贡献是证明并利用“未来限幅收紧导致的初始未饱和预补偿窗口”，把饱和处理从事后裁剪推进到约束感知的最优机动分配。