精读笔记

Problem Setting

这篇论文真正解决的是三航天器对抗 RPO 中的在线策略重权衡问题：Bandit 要接近 Lady，同时不能被 Guard 捕获或进入不安全近距。困难点不在于单纯 rendezvous，也不在于写一个 CW-MPC；困难在于对抗者改变几何态势后，原先合理的 MPC 权重会立刻变成错误偏好：追踪权重太高会撞向风险区，安全权重太高会导致 timeout 或无法接近目标。

以前路线大致卡在两端：固定 MPC 有约束、可解释、可实时求解，但策略形态基本由离线调参决定；end-to-end RL / learned controller 有适应性，但安全约束、可解释性和部署可信度都弱。这里的关键矛盾是：需要在线改变“控制意图”，但不能让学习模块直接接管“控制动作”。

Motivation

作者的核心观察是，很多所谓 adversarial maneuvering 的行为差异，其实不是来自一个完全不同的控制律，而是来自 MPC 内部目标权重、安全边界、预测窗口、KOZ 激活策略的动态变化。换句话说，MPC 的参数本身就是一个低维、物理可解释的 policy interface。

现有方法缺的是这个 interface 的系统化使用：传统 MPC 把这些参数视为固定设计变量；学习方法又常常越过这层结构直接学动作。本文想填的缺口是：能否只学习或调度这些高层优化参数，让内层仍保留动力学、执行器和安全约束。这个动机是合理的，尤其适合 safety-critical autonomy 中“学习只能做 supervisor，不能做 actuator”的工程现实。

Core Idea

论文的核心思想是把“自适应控制”重新表述为“自适应优化问题生成”。内层 MPC 不变：CW dynamics、有限时域 QP、推力限制、KOZ 约束、slack feasibility。外层 adaptive layer 根据离线闭环评估和在线交互几何，改变 QP 的参数数据，例如 Lady tracking weights、Guard safety weight、minimum separation objective、terminal weighting、KOZ horizon/relaxation。

这个建模方式引入的 inductive bias 很明确：学习或规则不需要在连续动作空间里搜索最优推力，而是在低维、物理语义明确的 MPC 参数空间里调整行为模式。它重新组织了信息流：环境几何先进入 supervisor，supervisor 修改优化偏好，最终动作仍由约束优化产生。相对 end-to-end policy，这更可解释、更容易限制坏行为；相对 fixed MPC，它能在不同交互相位中切换 aggressiveness / conservatism。

Method

关键机制可以压缩成四个部分。

第一，CW-based constrained MPC 负责把问题保持在实时 QP 范围内。它解决的是在线可解性和约束显式性问题。代价是局部线性动力学假设较强，但在 KSPDG 近距相对运动里足够工程可用。

第二，predictive KOZ + safety buffer 把 Guard 风险从当前距离约束扩展到 horizon 内的未来几何。它解决固定反应式避障太晚的问题。线性化 KOZ 约束维持凸 QP，但安全边界的真实性依赖线性化点和预测质量。

第三，slack-variable feasibility handling 解决对抗几何下硬约束导致 QP infeasible 的问题。它带来的核心变化是把“安全必须满足”变成“安全违反显式付费且尽量少违反”。这更像工程鲁棒性机制，不等于严格安全保证。

第四，adaptive parameter layer 把离线 CEM 参数搜索和在线几何规则结合起来。它解决固定参数 MPC 在不同相位下偏好不变的问题。最重要的变化是：controller 的行为模式可以随 Bandit-Lady / Bandit-Guard 距离改变，但动作生成仍留在 MPC 中。CBF filter 是额外投影层，文中没有证据表明它是主要性能来源。

Key Insight / Why It Works

这篇最有价值的 insight 是：在安全关键控制中，学习不一定要学 action；学或调度 cost/constraint parameters 往往是更稳的接口。MPC 参数空间天然带有任务语义，维度低，边界可设，行为可追踪，因此比直接 policy learning 更容易在 adversarial setting 下做可解释适应。

方法有效的主要原因不是新的 MPC 理论，而是更好的 inductive bias 和 test-time parameter scheduling。Bandit 接近 Lady 时提高 tracking weight，Guard 靠近时提高 KOZ / separation priority，几何好转后降低安全保守性。这些规则把任务相位结构显式编码进控制器，相当于用 domain knowledge 做了 policy shaping。

最可能的核心贡献是“bounded interpretable parameter adaptation over constrained MPC”。最可能只是辅助的是 CBF filter、具体 CEM/CMA-ES 选择、部分 horizon/terminal multiplier 调度。性能提升也可能主要来自 engineering / scaling：大量仿真 episode 上的离线参数搜索，加上针对 KSPDG 几何的规则调度。所谓 AI-augmented 在文中更接近 derivative-free tuning + rule-based supervisory control，而不是强意义上的 learned adaptive control。

需要直接指出：文中没有 formal recursive feasibility / stability guarantee；slack 只保证优化不容易崩，不保证物理安全；在线 adaptation 的增益归因不清。若把 Guard/Lady 策略、动力学保真度、传感噪声、延迟或约束模型换掉，当前 insight 仍可能有用，但具体规则未必迁移。

Relation To Prior Work

它最接近的谱系不是端到端 RL，而是 learning-enhanced MPC、gain scheduling MPC、supervisory control、safe learning control 的交叉。和传统 spacecraft MPC 的差异在于参数不是固定离线设计，而是随在线交互几何调制。和 RL-MPC 的差异在于 learning 不进入 action layer，也没有 learned dynamics / value function 作为核心。

看似新的部分里，很多是已有思想重组：CW-MPC、KOZ 约束、slack soft constraints、CBF projection、CEM tuning 都不是新东西。实质新增的信息在于把这些组合成一个适合 adversarial RPO competition 的 layered architecture，并明确把自适应限制在可解释 MPC 参数上。

因此这篇的本质贡献不是算法原创性，而是 architecture-level positioning：在安全关键、多智能体、实时控制场景中，给 learning 一个低权限但高杠杆的入口。这个方向比“RL 直接飞航天器”更可信，也比“固定 MPC 靠调参”更灵活。

Dataset / Evaluation

评估集中在 KSPDG Capture-the-Satellite 环境，任务分布是 competition-style 的 Bandit-Lady-Guard 对抗 RPO。覆盖了多初始条件和对抗几何，能支持“在该仿真分布上 adaptive MPC 比固定参数配置更稳”的结论。

但 evaluation 的外推能力有限。它不是多任务 RPO benchmark，也没有真实航天器、硬件在环、高保真非线性摄动、传感噪声、估计误差、通信延迟或执行器不确定性验证。对 Guard policy 的依赖也很强；如果 adversary policy 变了，参数规则是否仍有效文中未充分说明。

比较基线也偏弱：naive MPC、fixed manually tuned MPC 可以说明 adaptation 有用，但不足以证明优于 robust MPC、tube MPC、scenario MPC、game-aware MPC、MPC with online reweighting heuristics 等更强传统方法。25-run controller comparison 太小，1000-run campaign 又主要是 adaptive agent 自身鲁棒性展示。因此实验支持工程有效性，不支持广义最优性或理论安全 claim。

Limitation

最大限制是方法成立依赖一组很强的工程前提：相对动力学可由 CW 近似有效预测；对抗交互几何能被少量距离/相位规则捕捉；MPC 参数边界足够覆盖好策略；KSPDG 分布与离线调参分布一致或相近。

泛化并没有被真正证明。核心能力可能主要来自数据覆盖和环境特化规则，而不是 supervisor 学到了可迁移的 adversarial reasoning。所谓 adaptive behavior 更像显式几何触发的 gain scheduling，不是长期策略推理。planner 也没有形成 game-theoretic belief 或 opponent model；Guard 的未来行为基本通过当前几何和简单预测间接处理。

安全保证也被部分转移了：从“证明不会违反 KOZ”转移为“QP 中有 KOZ 约束和 slack，Monte Carlo 看起来可用”。slack 在困难场景下会主动允许约束松弛，因此 safety-aware 不等于 safe。文中未充分说明 slack 激活时的物理风险上界。

增益来源不清。CEM-tuned base parameters、online geometry rules、KOZ relaxation、tracking-weight phase schedule、safety buffer 分别贡献多少没有充分消融。可能主要来自 scaling / data：大量离线 episode 搜索出了适合该 benchmark 的参数，加上手工规则覆盖了常见失败模式。

Takeaway

• 1. 对 safety-critical autonomy，一个很值得迁移的设计原则是：让学习改优化问题，不让学习直接改动作。
• 这保留了约束、动力学和可解释性，同时给系统足够的在线适应自由度。
• 2. MPC 参数空间可以被看作一种结构化 policy representation。
• 相比 latent neural policy，它更低维、更可审计，也更容易加边界和失效保护。

一句话总结

这篇论文是 learning-enhanced MPC 在对抗 RPO 中的一次工程化落地：真正贡献不是新控制律，而是把自适应限制在可解释、可约束的 MPC 参数层，从而在固定 MPC 和端到端学习之间建立了一个更可信的中间形态。