精读笔记

Problem Setting

[论文标题] Saturation-Aware Robust Trajectory Optimization for Reusable Launch Vehicles via Differentiable Physics（arXiv preprint / 2026）

这篇论文处理的不是一般意义上的“可重复使用火箭着陆轨迹优化”，而是更具体也更难的一个边界工况：Starship-like高攻角belly-flop到垂直着陆的flip maneuver，在强非线性气动、短时间大姿态转换、推力/矢量喷管硬限幅同时存在时，如何设计一个闭环可执行的鲁棒轨迹与反馈策略。

真正困难点在于，名义最优轨迹通常会自然贴着控制边界走，尤其在燃料最优目标下会出现bang-bang式控制。这在无扰动时是合理的，但一旦有气动扰动，反馈修正就需要额外控制裕度。经典SCvx + covariance steering的问题不是不会处理不确定性，而是它的鲁棒性通常建立在局部线性化、Gaussian covariance propagation、以及未受限反馈律之上。执行器一旦饱和，理论中的闭环矩阵和真实闭环系统立刻不一致。

因此任务的关键矛盾是：你不能既要求轨迹严格贴名义路径、又要求在执行器几乎满负荷时还能用反馈压制扰动。真正的鲁棒策略必须主动牺牲某些中间状态跟踪精度，换取后段关键姿态/速度/落点约束的控制权。

Motivation

作者针对的是现有两条路线的交界处缺口。

第一条是SCvx/Tube-MPC/Covariance Steering。它们在工程上成熟，能给出清晰的名义轨迹和局部概率约束，但本质上仍是围绕一条reference做局部线性扰动传播。对于flip maneuver这种强非线性、气动响应可能高度非Gaussian的过程，均值+协方差会丢掉尾部分布和非对称漂移。更严重的是，反馈合成和执行器硬限幅没有被统一进同一个优化问题。

第二条是differentiable physics / DPC / Neural ODE式优化。它们能穿过复杂动力学反传梯度，但多数工作还是确定性轨迹优化，或者只用点态loss、均值/协方差统计处理扰动。作者的观察是：如果可微仿真已经足够成熟，那么不应只优化一条轨迹，而应直接优化扰动分布在闭环动力学下的演化。

所以论文想补的不是“更快的SCvx”或“更准的气动网络”，而是缺一个把非线性概率演化、反馈律、执行器饱和放在一起训练的鲁棒优化框架。

Core Idea

核心思想可以概括为：把鲁棒轨迹优化从Eulerian的局部tube/covariance propagation，改成Lagrangian particle distribution shaping。系统不再只维护名义状态和协方差，而是同时rollout一组受独立扰动驱动的粒子；控制策略对所有粒子共享，但每个粒子都通过真实非线性动力学和真实执行器投影演化。优化目标不是让每个时刻都贴近名义轨迹，而是让整个粒子云在终端形成足够紧、安全、可着陆的分布。

这个建模方式引入了一个非常重要的inductive bias：鲁棒性不是“偏差越小越好”，而是“在控制资源有限时，把概率质量运输到任务真正关心的安全集合”。这和传统covariance steering的差别很本质。后者默认反馈可以持续压缩局部偏差；DPTC允许中段分布变宽，只要这种变宽不消耗关键执行器裕度，并能在终端重新收敛。

信息流也被重新组织了：执行器饱和不再是优化后才发现的部署约束，而是在训练rollout中持续影响状态演化和梯度。换句话说，优化器看到的是“控制被截断后的真实后果”，而不是“理想反馈律希望发生的后果”。这正是它相对prior更有工程意义的地方。

Method

1. 粒子ensemble：解决局部Gaussian假设不足的问题。用粒子直接近似扰动分布，让非线性气动带来的偏斜、非对称、尾部事件至少在经验分布层面可见。它的核心变化是从低阶矩传播转向sample-based probability transport。

2. 时变仿射反馈与feedforward联合优化：解决传统方法中“先算轨迹、再配反馈”的割裂。DPTC把名义控制序列和反馈增益一起作为优化变量，使控制策略可以在轨迹层面主动预留裕度，而不是只在局部误差出现后被动修正。

3. 执行器投影嵌入rollout：解决saturation blindness。控制输入先经过物理可行域投影，再进入动力学积分，因此训练时的闭环系统和部署时的闭环系统一致。这个机制是论文最核心的工程贡献。

4. Tail-risk soft penalty：解决硬约束和clamp零梯度导致的优化困难。投影算子在饱和深处会切断来自terminal loss的梯度，risk loss则对违反安全约束的粒子提供额外恢复梯度。它不是严格chance constraint，但在可微优化里更容易工作。

5. 可微6-DoF物理引擎和神经气动代理：它们支撑端到端梯度传播，但不是概念上的核心创新。MLP surrogate的平滑性对优化稳定性很重要，不过这里也引入了对代理模型真实性的依赖。

Key Insight / Why It Works

这篇论文最值得保留的insight是：在硬执行器约束下，鲁棒控制的关键不是把状态tube压得最窄，而是避免反馈策略把控制需求推到不可执行区域。传统CS-AD-SCvx看起来tube更紧，但那是在未约束反馈假设下的数学紧；真实执行时clamp会让这个tight tube变成错误承诺。DPTC中段允许更大空间散布，反而保留了末端姿态和速度控制能力。

方法有效的第一来源是better inductive bias：它把“控制裕度”作为闭环分布优化的内生变量，而不是后验检查项。饱和感知不是靠额外规则实现，而是通过物理投影改变rollout本身，使优化器学习到哪些反馈需求会被硬件吞掉。

第二来源是test-time compute前移到offline training。DPTC并不在飞行时解决复杂随机最优控制问题，而是离线用大量粒子rollout和BPTT把策略张量学出来。部署时只是查表和矩阵乘法。这对GNC很实际，但也意味着性能高度依赖离线训练分布覆盖。

第三来源可能是scaling / data / smoothing。粒子数、训练epoch、loss权重、MLP气动代理的平滑化都会影响结果。论文把DPTC的收益主要归因于饱和感知概率运输，这个归因方向合理，但还没有充分消融证明收益不是来自更大的离线优化预算或更匹配的扰动采样。

最可能的核心贡献是“hard actuator projection inside differentiable particle rollout”。粒子表示和soft risk penalty本身并不新，联合优化feedforward和feedback也有先例；但把它们用于极端RLV flip landing，并明确展示unconstrained covariance steering在饱和下失配，是这篇的有效切入点。

Relation To Prior Work

它最接近三条谱系的交叉：SCvx/convex powered descent guidance，covariance steering / tube MPC，differentiable predictive control / differentiable physics。

相对SCvx，DPTC放弃了“每轮构造凸子问题并求全局子问题最优”的范式，转向直接在非线性仿真图上做gradient-based shooting。它牺牲了部分凸优化可解释性和收敛保证，换来能原生处理非线性动力学、clamp和sample distribution。

相对covariance steering，它的本质差异不是从协方差换成粒子这么简单，而是反馈合成不再遵循separation principle。CS路线通常先根据名义轨迹构造局部线性闭环，再传播协方差；DPTC则让反馈律在受限执行器和非线性动力学下直接被终端分布loss塑形。

相对DPC/Neural ODE，它新增的是robust distribution shaping，而不是单条trajectory的end-to-end优化。这里的“probability transport”说法有一定包装成分，因为并没有显式求解FPK或最优传输问题，更像是differentiable Monte Carlo stochastic optimal control。但这个重组是实质性的：它把可微物理从名义优化工具推进到闭环鲁棒策略学习工具。

看似新的部分中，粒子ensemble、clamp、ReLU风险惩罚、Adam+BPTT都不是新算法部件；真正新增的信息在于这些部件被组织成一个对执行器饱和闭环一致的鲁棒轨迹优化框架。

Dataset / Evaluation

评估集中在一个Starship-class 6-DoF flip landing场景，气动代理来自CFD样本训练的MLP，扰动主要是对气动系数施加5%乘性Gaussian噪声。任务覆盖窄，但工况本身是高难度边界场景，因此适合验证论文的核心机制：饱和下的闭环鲁棒性。

实验确实支持一个关键claim：如果反馈律在设计时不考虑执行器限幅，那么闭环MC中会出现明显饱和诱发的散布和偏置；如果训练时嵌入clamp，策略会主动放松中段跟踪并改善终端落点。这一证据与方法机制一致。

但评估没有充分支持更宽泛的claim，例如“general framework for highly constrained aerospace systems”。没有真实飞行数据、没有HIL/real-time avionics验证、没有跨气动模型、跨初始条件、跨风场结构、跨车辆参数的系统测试。扰动模型也比较理想化，独立Gaussian乘性噪声不等同于真实非定常分离流、阵风场、传感器误差和执行机构动态。

此外，对比基线是CS-AD-SCvx + conventional covariance steering，且反馈是未约束LQR式。这个baseline能突出saturation blindness，但不能代表所有现代 constrained MPC / saturation-aware robust control 方法。benchmark验证了作者攻击的具体弱点，不等于证明DPTC全面优于鲁棒MPC家族。

Limitation

第一，方法强依赖可微模型可信度。气动代理是由稳态RANS数据训练，并且采用轴对称等效和准定常假设；但flip maneuver里的非定常分离、动态导数、侧滑耦合可能正是鲁棒控制最敏感的部分。若代理模型把真实危险模式平滑掉，DPTC会学到一个在仿真中鲁棒、在真实系统中脆弱的策略。

第二，泛化能力文中未充分说明。DPTC优化的是固定任务分布下的时间序列策略，不是一个可泛化的状态反馈网络或在线planner。它更像针对某个mission envelope离线训练出的open-loop reference + scheduled gain。换初始高度、风场结构、质量参数或发动机可用性后是否仍有效，需要重新训练或至少重新优化。

第三，scalability有上限。GPU上粒子batch并行很好，但时间维度BPTT仍长，RK4 rollout仍顺序，内存会随粒子数、时间步、状态维度、模型复杂度增长。论文中所谓batch size近似O(1)主要是在特定小状态维度和GPU并行区间内成立，不能直接外推到更高保真流固耦合或多阶段任务。

第四，约束满足不是严格概率保证。Tail-risk ReLU penalty是可优化的软约束替代，不提供chance constraint的形式化置信界。论文强调严格物理控制投影是成立的，但状态安全约束和终端风险更多依赖loss权重调参。

第五，增益来源不清。DPTC同时改变了不确定性表示、反馈优化方式、控制限幅建模、优化预算、loss设计和硬件并行方式。缺少关键消融：只加clamp、不加粒子；只用粒子、不联合优化K；不同risk权重；不同粒子数；不同扰动分布。没有这些，无法精确判断87% CEP改善中多少来自核心机制，多少来自训练/调参/场景适配。

Takeaway

• 1. 对于强约束GNC问题，鲁棒性不能只看状态tube大小；必须看产生该tube所需的控制需求是否物理可执行。
• 一个更宽但可控的tube，可能比一个理论上更窄但依赖不可执行反馈的tube更优。
• 2. 可微物理最有价值的用法不是替代SCvx算一条更平滑的名义轨迹，而是把真实执行约束、闭环反馈和扰动分布一起放进优化图，让策略在训练时经历部署时会遇到的失效机制。
• 3. 粒子式distribution shaping是处理非Gaussian非线性扰动的实用路线，但它的可信度取决于扰动模型和仿真模型覆盖。

一句话总结

这篇论文的位置是把可微物理从名义轨迹优化推进到饱和感知的闭环分布优化，其真正贡献不是新优化器，而是把执行器硬限幅纳入粒子rollout，使鲁棒轨迹设计从局部协方差压缩转向物理可执行的概率运输。