精读笔记
Problem Setting
这篇论文解决的是未知非线性离散时滞系统的鲁棒约束控制问题，但它不是传统 nonlinear MPC for delay systems，也不是单纯 Koopman MPC。它关心的是：在只能从数据得到有限维 Koopman predictor、且 predictor 有不可忽略 residual 的情况下，如何仍然给出 tube-MPC 风格的闭环鲁棒性和递归可行性。
真正困难点在于三个不确定性源耦合：原系统未知；Koopman finite truncation 不可能精确闭合；系统状态显式依赖 delayed state。已有 robust Koopman MPC 可以处理 delay-free 系统中的建模误差，但通常依赖离线固定 uncertainty set；已有 nonlinear time-delay MPC 能处理时滞稳定性，但一般假设模型已知且不直接处理 Koopman residual。这里的关键矛盾是：为了在线 tractable，需要低维 lifted linear predictor；为了理论保证，又必须把由于降维/截断/时滞造成的误差全部吸收到可控的 tube 中。
Motivation
作者对 prior 的不满很明确：固定 uncertainty set 的 robust Koopman MPC 太保守。Koopman residual 实际上依赖于当前 lifted state、delayed lifted state、input 和 disturbance，而不是一个全局常数；用全局 Lipschitz bound 离线包住所有可能 residual，会让 RPI tube 在大部分运行区域明显过大，进而过度收缩状态/输入约束。
另一个缺口是时滞系统。把时滞状态全部 augment 进 Koopman observable 是最直接的做法，但 lifted dimension 会随 delay length 增长；而且后续 robust MPC 的终端稳定性也不能直接沿用 delay-free 证明。作者的动机就是用一个 delay-aware 但非完整 augmented 的 Koopman predictor，在保留可计算性的同时引入 Lyapunov-Krasovskii 型终端结构，并进一步让 tube 随预测轨迹在线更新。
Core Idea
核心思想可以概括为：不要试图学习一个完全精确的 Koopman model，而是学习一个足够线性的 nominal delay predictor，并把不可避免的 Koopman residual 显式作为 bounded additive uncertainty 交给 tube MPC 处理。时滞通过 s 和 s−τ 两个 lifted state 进入线性 predictor，误差反馈也相应使用 e 和 e−τ。这使得非线性时滞控制问题被改写成 lifted linear delayed system 的鲁棒 MPC 问题。
真正相对 prior 改变的是 uncertainty handling。r-KMPC 是固定 tube 版本，基本延续 Zhang et al. 2022 的 robust Koopman MPC 思想到 time-delay case；A-KMPC 则把 residual set 的大小和当前预测轨迹绑定，让 W,V,RPI tube 在 MPC 内部随状态/输入幅值调整。它引入的 inductive bias 是：Koopman residual 在接近原点或小输入区域更小，因此 tube 应该自动收缩。这个 bias 在控制上很自然，也解释了为什么 nominal convergence 后真实轨迹 neighborhood 可以更小。
Method
1. Delay-aware Koopman modeling：作者没有使用完整 augmented state xd=(xk,...,xk−τ)，而是只用 Ψ(xk), Ψ(xk−τ), u 拟合 s+。这解决的是维度随 τ 线性膨胀的问题；代价是模型误差更依赖未建模 delay history 和字典表达能力，因此必须用 residual set 包住。
2. Lifted delay tube MPC：名义系统为 ŝ+=Aŝ+Adŝ−τ+Bû，真实系统与名义系统的误差满足 e+=Fe+Fde−τ+w。反馈 u=û+Ke+Kde−τ 的作用不是优化性能，而是让误差动力学可稳定并能构造 RPI tube。约束通过 X⊖Zx、U⊖(K+Kd)Zs 收缩，保证真实状态和输入在 tube 内满足原约束。
3. Lyapunov-Krasovskii terminal design：由于系统有 delay，终端代价不只依赖当前 ŝ，而是包含过去 τ 个 lifted states。LMI 条件本质上保证在终端反馈下该 functional 下降，从而把 standard MPC 的 shift argument 扩展到 delayed nominal system。
4. Online set update：A-KMPC 用 Lipschitz bound 将 reconstruction error v 和 Koopman residual w 的大小写成 ||s||、||s−τ||、||u||、||wo|| 的函数，再把预测窗口内的上界变量加入优化。RPI tube 被参数化为平移+缩放的基础集合 Zs^l = rl ⊕ γl Zs^0。这样做解决的是固定 worst-case tube 过大的问题；核心变化是 tube 不再只是离线对象，而成为 MPC 决策的一部分。
Key Insight / Why It Works
这篇论文真正有效的部分不是 Koopman 学习，而是 uncertainty geometry 的重组织。Koopman residual 的全局上界通常很松，尤其系统运行在原点附近时，真实 residual 应该远小于全局 worst case。A-KMPC 通过在线估计预测轨迹附近的 residual bound，把 tube 缩到和局部状态/输入幅值匹配的尺寸，因此性能提升是预期内的。
理论上成立的关键在于 tube MPC 的经典逻辑仍然可用：只要误差系统在反馈下存在 RPI set，且名义轨迹满足收缩约束，那么真实轨迹就被包住；只要终端集合和 Lyapunov-Krasovskii 代价满足下降条件，shifted sequence 就给出递归可行性和名义稳定性。时滞并没有被“消除”，而是被吸收到 error dynamics 和 terminal functional 中。
最可能的核心贡献是：将 robust Koopman MPC 从 delay-free 推到 explicit state-delay case，并给出一套可证明的 adaptive tube update 机制。相对而言，Koopman regression、字典选择、EDMD 部分都是常规组件；仿真实验也更像 proof-of-concept。A-KMPC 的增益来源较清楚：不是 representation 更好，不是 planning horizon 更长，也不是数据 scaling，而是 constraints/tube 的 online de-conservatization。
需要警惕的是，这种 adaptive 并不等于真正的 model adaptation。模型矩阵 A,Ad,B,C,D 没有在线更新；所谓 set update 只是基于 Lipschitz 上界做局部 bound tightening。若 Lipschitz 常数本身很保守，或者 high-dimensional lifted space 中 residual bound 难以准确估计，增益会迅速消失。这里的“robustness”也更接近 worst-case set containment，而不是对分布外动力学的泛化能力。
Relation To Prior Work
最接近的是 robust tube-based Koopman MPC，尤其 Zhang et al. Automatica 2022；本文基本继承其框架：finite Koopman predictor + additive modeling error + RPI tube + tightened constraints。不同点有两个：一是 predictor 和稳定性证明显式处理 state delay；二是 uncertainty set 从离线固定变成在线随预测轨迹更新。
和 Korda-Mezić 式 Koopman MPC 相比，本文不把重点放在更好的 Koopman approximation，而是承认 approximation 不完美并用 robust MPC 包住误差。和 nonlinear MPC for time-delay systems 相比，它避免直接处理未知非线性模型和高维 delay augmentation，但代价是需要 Koopman lifting 与 residual bound。和 adaptive/learning-based MPC 相比，它的 adaptation 比较有限：不是模型递推辨识，而是 tube/constraint 的递推更新。
看似新的部分中，tube MPC、RPI set、constraint tightening、terminal Lyapunov argument 都是已有思想；实质创新在于把这些机制组合到 lifted delayed Koopman model 上，并证明在线 set update 不破坏递归可行性。也就是说，这篇属于“robust Koopman MPC 的结构化扩展”，不是 Koopman learning 本身的方法突破。
Dataset / Evaluation
评估是两个低维仿真系统：带时滞倒立摆和带时滞化学反应器。任务覆盖了非线性、约束、外扰、state delay，但范围仍然很窄：没有真实机器人/过程系统，没有高维状态，没有多 delay、多输入复杂耦合，也没有强噪声或严重模型失配场景。
实验支持的 claim 是有限的：A-KMPC 相比固定 RPI tube 的 r-KMPC 更不保守，控制成本更低；代价是计算时间增加。这个结果符合机制预期，但并不能证明 Koopman model 在广泛时滞非线性系统上的泛化能力。文中也没有充分展示数据集构造、训练覆盖、字典 misspecification、Lipschitz bound 误差对性能的影响。
baseline 偏弱。最关键的对比应该包括：完整 augmented Koopman MPC、非自适应但局部 uncertainty bound 的 robust MPC、已知模型 nonlinear delay MPC、以及不同字典/数据规模下的敏感性。当前实验更像验证理论 pipeline 可运行，而不是充分证明方法在复杂 deployment 中优越。
Limitation
第一，理论假设很强。Assumption 1 的 rank 条件、局部逆 Ψ−1、bounded residual set、可计算 Lipschitz 常数，在真实数据驱动场景中都不容易验证。尤其 Lipschitz 常数通常只能保守估计，一旦保守，A-KMPC 的核心收益就会被抵消。
第二，方法把复杂性从非线性模型转移到 lifted-space set computation。RPI set、Pontryagin 差、polytope containment、dualized constraints 在 nψ 增大时会迅速变重。文中仿真 lifted dimension 很小，无法说明在常见 Koopman/NN observables 下的 scalability。
第三，只使用 x 和 x−τ 是一个实用简化，但不是一般时滞系统的充分状态表征。对于依赖完整 delay history 或多个 delayed states 的系统，这个 predictor 可能只是把未建模历史影响塞进 residual；若 residual 变大，tube 会重新变保守。
第四，A-KMPC 的 adaptive set update 不是学习。它不能修正错误的 Koopman dynamics，只能在已有 residual bound 框架内调节 tube。若数据覆盖不足、字典选错、外扰超出假设集合，理论保证不再成立。文中未充分说明 disturbance estimate ˆwo 如何获得，也未讨论 Wo/ˆWo 设定错误时的后果。
第五，性能增益归因虽然大体清楚，但仍缺少 ablation。比如 qs/qu、基础 RPI set 形状、γ/r 参数化、Lipschitz 常数选择都可能显著影响结果；目前无法判断增益有多少来自机制本身，多少来自仿真系统和参数选择较友好。
Takeaway
- 1. 对 Koopman MPC 来说，真正有价值的方向未必是继续追求更大字典，而是更精细地管理 finite-dimensional residual；局部/在线 uncertainty geometry 可能比全局 worst-case bound 更关键。
- 2. 时滞系统中 Koopman lifting 的一个实用折中是只显式 lift 当前状态和关键 delayed state，再用 tube 吸收其余误差。
- 这在低维系统上有效，但高维和多时滞场景需要更结构化的 delay representation。
- 3. A-KMPC 提醒了一个可迁移 insight：robust MPC 的 conservatism 很多来自固定集合，而不是 nominal optimizer；把集合大小作为 test-time decision variable 是一种有效的 de-conservatization 手段。
一句话总结
这篇论文是 robust Koopman MPC 向非线性时滞系统的一个结构化扩展，真正贡献在于把时滞 lifted predictor、Lyapunov-Krasovskii terminal MPC 和在线 tube/set 收缩结合起来，以减少固定 Koopman uncertainty set 带来的保守性。