精读笔记

Problem Setting

[Online Modeling and Sequential Convex Programming for Lunar Landing Trajectory Optimization]（arXiv preprint / 2026）

论文实际解决的是月球动力下降制导中的“模型失配下实时轨迹优化”问题，而不是单纯的powered descent凸化。经典凸优化/SCP方法在nominal模型下很强：可预测、可认证、求解快；但一旦真实重力、推力尺度、质量估计偏离预设模型，开环或弱闭环轨迹会系统性漂移。困难点在于：你既想在线修正模型，又不能把问题重新变成一个不可控的非凸NLP或黑箱学习控制器。关键矛盾是安全关键任务需要硬约束和计算可预期性，而真实飞行又要求模型在执行中自适应。

Motivation

作者对已有路线的判断是明确的：间接法/直接法/SCP/凸优化基本都依赖事先指定的动力学模型；学习方法能快但难认证。缺口不是“没有更快solver”，而是“没有一个在线模型修正机制可以嵌入凸优化制导且不破坏凸结构”。

核心观察是：很多飞行中不确定性在短时间尺度上可以被视为动力学方程中的加性扰动。若这个扰动只作为线性动力学等式约束的bias项出现，那么在线估计它不会改变SOCP的凸性、锥约束或目标结构。这个观察比RLS本身更重要。

Core Idea

论文真正的核心思想是把在线适应限制在“模型右端项”这一低风险接口上：优化器仍求解标准SCP/SOCP，识别器只提供当前估计的动力学偏置。信息流从“先离线建模、再按模型优化”变为“测量残差 → 估计lumped perturbation → 修正bias → receding-horizon重规划”。

这改变的是建模组织方式，而不是发明了新的凸优化原语。相比鲁棒化，它不试图覆盖所有不确定性集合；相比学习控制，它不学习策略；相比普通MPC，它强调识别结果以不破坏凸结构的形式进入问题。它的可扩展性来自模块解耦：只要扰动能被压成bias，优化层的复杂度基本不随扰动模型复杂度增长。

Method

方法的关键机制可以压缩为四点。

1. 变量替换：用specific thrust和log-mass消除T/m耦合，把主要动力学改成线性形式。这一步解决的是原始质量-推力耦合导致的非凸性，也是后续bias注入能够保持仿射结构的基础。

2. SOC relaxation：把thrust direction单位范数等式放松为二阶锥不等式，并借助能量目标、零最小推力和无方向惩罚说明最优解会贴边。它解决的是方向变量的非凸球面约束。

3. Successive linearization：对Tmax exp(-w)做逐次线性化，使每次子问题是SOCP。这里不是全局凸化，而是SCP式局部保守近似；成立依赖log-mass变化小、初始化不太差、每步可行。

4. Online identification + receding-horizon SCP：用RLS/EMA从测量残差估计lumped perturbation，再把b替换成b+delta_hat。它解决的是nominal模型随飞行失效的问题，核心变化是把SCP从一次性规划变成带模型校正的闭环重规划。

Key Insight / Why It Works

最重要的insight是：在线学习不一定要进入控制策略或约束模型的深层结构；只要能找到一个“凸性不敏感”的接口，test-time adaptation可以和可认证优化共存。本文中这个接口就是线性动力学的constant bias。

方法有效的主要原因不是RLS有多新，而是扰动注入位置选得好。RLS/EMA只是一个低维、稳定、可解释的在线残差滤波器；真正贡献在于将未知模型误差投影到SOCP等式约束右端，使优化器在每个replan周期重新求一个对当前等效动力学一致的轨迹。

哪些可能只是辅助：EMA smoothing、固定replan cadence、warm start、YALMIP/ECOS实现基本是engineering。所谓理论保证也主要继承自已有lossless convexification和SCP收敛分析，新增部分更多是把bias误差作为扰动项放进收敛邻域，而不是证明一个根本新的在线优化定理。

本质上这是test-time compute + latent disturbance estimation。它不是scaling，不是retrieval，也不是data coverage；更像把MPC/SCP中的模型误差通过一个低维latent bias在线对齐。若真实误差不能被这个latent bias吸收，方法的优势会快速下降。

Relation To Prior Work

最接近的谱系是Acikmese/Ploen式powered descent lossless convexification、successive convexification/SCP、以及MPC中的在线模型校正。与这些工作的本质差异不是SOCP形式，而是把在线辨识显式嵌入SCP循环，并规定它只能通过bias项影响优化子问题。

看似新的部分中，变量替换、SOC松弛、SCP、RLS、EMA都不是新思想；它们是成熟技术的重组。实质新增的信息是架构层面的：识别层与优化层通过一个保持凸性的接口耦合。这个接口设计比具体滤波器更可迁移。

与学习制导相比，它牺牲了策略推断速度和表达能力，换取约束结构、可解释性和求解可认证性。与鲁棒优化相比，它不预先包络不确定性，而是在飞行中用测量缩小模型误差；但代价是依赖估计质量和replan频率。

Dataset / Evaluation

评估是纯仿真，覆盖四类手工构造扰动：常值重力偏差、正弦重力扰动、推力/质量误差、组合扰动。它验证了一个较窄但合理的claim：在低维、可观测、相对平滑的扰动下，在线bias估计能改善nominal SCP的闭环表现。

但benchmark并没有充分支撑更强的部署级claim。没有真实月面重力场/导航链路/执行器延迟/姿态动力学/六自由度耦合；没有与强MPC或鲁棒SCP baseline比较；也没有不可行、饱和、传感器异常、solver超时等失效场景。实验更像proof-of-concept，而不是飞行级validation。

另一个问题是增益归因不清：改善可能来自闭环receding-horizon replanning本身，而不一定来自RLS+EMA的特定估计结构。文中未充分说明如果只用状态反馈重规划、不做bias估计，性能差多少。

Limitation

第一，核心前提很强：真实扰动必须能被近似为加性bias，且在replan间隔内变化不太快。推力误差、质量误差在文中也被lumped进bias，但更复杂的非线性、姿态耦合、滞后、约束不确定性未必能这样吸收。

第二，lossless relaxation依赖零最小推力、目标不惩罚方向、无额外gimbal/姿态方向约束。一旦加入实际发动机最小推力、姿态可达域、避障视线约束，理论可能不再直接成立。

第三，SCP理论部分偏理想化。强凸性、每步可行性、唯一KKT点、收敛半径等假设在真实任务中不容易验证；一些推导更像为观察到的快速收敛提供解释，而不是严格覆盖部署场景。

第四，scalability上限在于在线SOCP求解与replan频率。问题规模扩展到六自由度、多约束、高保真动力学后，固定节点数和固定求解时间是否仍成立，文中未充分说明。

第五，评估没有消除engineering因素。warm start、receding horizon、扰动场景选择、低维bias模型都可能贡献主要收益；增益来源不清。

Takeaway

• 1. 最值得迁移的不是RLS，而是“把在线学习限制在不破坏优化结构的接口上”。
• 很多安全关键优化问题都可以借鉴这种model-correction-as-bias的设计。
• 2. 对SCP/MPC类方法，在线适应未必要通过复杂学习器；低维残差估计在模型结构强、任务时间短、扰动平滑时可能足够有效。
• 3. 这篇论文推动的是“凸优化制导从nominal open-loop向adaptive closed-loop”的工程架构，而不是单个算法模块突破。

一句话总结

这篇论文是把经典powered-descent SCP/SOCP制导推进到在线模型校正框架的一次架构性重组，真正贡献在于用加性bias接口把test-time辨识接入凸优化而不牺牲其可解性与可认证结构。