精读笔记
Problem Setting
这篇论文解决的是 nonlinear data-driven output-feedback stabilization with guarantees：系统动力学未知，只能采集输入-输出数据，不能访问状态，但希望设计能稳定原始非线性状态的反馈控制器。
真正困难点是闭环保证通常要在某个状态空间上建立 Lyapunov 下降或 robust invariance，而 output-feedback 数据只给历史 u,y。对于线性系统，Willems fundamental lemma / subspace identification 能提供行为刻画；对非线性系统，这种输入输出行为空间没有简单线性结构。Koopman 路线可以 lift dynamics，但现有带闭环保证的 Koopman control 基本需要 state measurements 来构造 Ψ(x) 和反馈。
关键矛盾是：控制器实际只能用 input-output history，但稳定性证明需要一个足够像 state 的变量；同时这个变量上的 learned model 还必须有可进入 robust design 的误差结构。论文的主线就是把历史输入输出 ξ 变成一个非最小但可控的扩展状态，并在这个状态上使用 bilinear Koopman surrogate。
Motivation
已有路线不够主要有两点。第一，linear EDMDc 型 Koopman-with-control 在受控非线性系统上结构性不足；它把输入当加性项，通常无法承载 controlled Koopman family 的真实输入-状态耦合，因此闭环 guarantee 很难成立。第二，已有 Koopman closed-loop guarantee 依赖 state data；这在 output-feedback setting 中直接失效。
作者的核心观察是：delay-coordinate embedding 在预测中已经说明历史输出可以承载状态信息，但过去大多只用作 predictor 或 engineering trick；如果加入 uniform observability 作为硬假设，就可以把 delay embedding 提升为真正的 extended state representation。这样，output-feedback control 不需要显式 observer，而是直接在历史输入输出空间设计 state feedback。
关键缺口不是“如何预测输出”，而是“如何把 input-output-only representation 接到一个有误差界、有 robust synthesis、有原状态收敛证明的闭环链条上”。论文的贡献基本围绕这个缺口展开。
Core Idea
核心思想可以概括为：用有限窗口的输入输出历史 ξ_k=[u_{k-L:k-1},y_{k-L:k-1}] 作为系统的替代状态；在 uniform observability 下，这个 ξ 足以唯一、稳定地恢复过去状态，因此原非线性系统可以被一个 ξ 上的 shift-type nonlinear system 精确解释。随后不再学习 x-space 的 Koopman 模型，而是学习 ξ-space 的 bilinear Koopman surrogate。
这一步的本质区别在于改变了信息流：prior Koopman control 是 x→Ψ(x)→controller；本文是 past I/O→ξ→Ψ(ξ)→controller。新的 inductive bias 有两个：delay embedding 假设历史输入输出含有状态信息，bilinear Koopman 假设受控 lifted dynamics 的主要结构是 u 与 observable 的乘性交互。这比线性 EDMDc 更符合 controlled nonlinear systems 的结构，也让已有 robust bilinear-controller machinery 可以复用。
理论上它可能有效，是因为论文没有试图从输出直接估计当前状态再控制，而是把“估计状态”内化为 extended-state representation：只要 ξ 稳定到 0，历史输入输出都收敛；再利用 observability 的 bi-Lipschitz 关系，把 ξ 收敛转化为原始 x 收敛。
Method
1. Extended-state input-output representation：它解决不可测状态的问题。通过 Assumption 3.1 的 quantitative observability，论文证明任意输入输出轨迹都可由 ξ 上的非线性系统解释。这个机制的核心变化是：把 output-feedback 问题转成 extended-state feedback 问题，而不是设计显式 observer。
2. Koopman lifting on ξ：它解决 extended-state dynamics 仍未知且非线性的问题。选择包含 ξ 本身的 observable Ψ(ξ)，保证 Ψ 与 ξ 有范数上下界关系，这对从 lifted stability 回到 ξ stability 必要。受控动力学采用 bilinear form AΨ+B₀u+ẼB(u⊗Ψ)，避免 EDMDc 的线性输入结构限制。
3. Least-squares identification with residual accounting：它解决从有限 input-output data 学 surrogate 后误差如何进入控制设计的问题。论文把误差拆成 Koopman approximation residual rΨ 和由 least-squares 拟合偏差产生的 rΔ，并给出与数据矩阵最小奇异值相关的比例误差界。这里的核心不是 LS 本身，而是把 identification error 转成可被 robust control 消化的 uncertainty channel。
4. Robust SOS feedback：它解决 surrogate 不精确时的闭环稳定性问题。控制器是 lifted rational feedback μ(ξ)=u_d(Ψ(ξ))^{-1}L_n(Ψ(ξ))P^{-1}Ψ(ξ)，SOS 条件确保在两个 residual channel 下 Lyapunov 下降。这个模块本质上复用作者此前 bilinear Koopman robust feedback 体系，本文的新意在于把它接到 input-output extended state 上。
5. Stability transfer：它解决“稳定 ξ 是否真的稳定 x”的问题。由于 Ψ 包含 ξ 且有范数界，lifted stability 给出 ξ 指数稳定；再用 observability map 的 bi-Lipschitz / inverse bound，将历史输出和输入趋零转化为原系统状态趋零。
Key Insight / Why It Works
最关键的 insight 是：output feedback 不一定要先构造 observer；如果系统足够 uniformly observable，过去输入输出本身就是一个可用于控制的状态坐标，尽管是非最小且高维的。这个坐标变换把不可测状态问题规约成高维可测状态问题。
方法真正有效的原因主要来自 representation alignment，而不是 scaling。ξ 与控制器可用信息完全对齐：在线时控制器需要的就是过去 u,y，不需要 hidden state 或 encoder state；理论证明也直接在 ξ 上闭合。相比 learned observer/latent encoder，这种对齐减少了一个不可认证的估计误差来源。
第二个核心是 bilinear inductive bias。controlled Koopman family 对固定输入是线性的，但随输入变化通常不是简单加性线性；bilinear term u⊗Ψ(ξ) 是受控非线性系统中最低阶、最自然的输入-状态耦合表达。实验里 EDMDc+LQR 失败并不意外，因为它的模型类本身错误。这里的增益更可能来自正确的 bilinear structure，而不是数据量或优化技巧。
第三个核心是 residual shaping。论文没有声称 finite-dimensional Koopman exact，而是把 approximation error 和 regression error 都压成 proportional bounds。这个形式正好适配 robust Lyapunov/SOS synthesis。换句话说，闭环保证不是因为模型很准，而是因为误差被组织成控制器能承受的结构。
但需要直接指出：实验中的 residual constants 是假设的，实际如何从数据可靠获得文中未充分说明。因此理论链条最脆弱的地方不是 SOS 推导，而是误差界和 observability 条件的可验证性。closed-loop guarantee 在很大程度上是 conditional guarantee，不是从 raw data 自动推出的 guarantee。
Relation To Prior Work
这篇属于 Koopman-based nonlinear control with guarantees 与 nonlinear input-output data-driven control 的交叉谱系。最接近的 prior 有三类。
第一类是 state-based bilinear Koopman control，例如 SafEDMD、kEDMD、SOS/MPC Koopman designs。本文基本继承其 bilinear surrogate + proportional residual + robust feedback 的骨架；真正新增的是把建模域从 x-space 换成 input-output delay space ξ，从而去掉 state measurement requirement。
第二类是 nonlinear output-feedback data-driven control，如 Dai et al. 这条线。它们也从输入输出构造动态反馈并给局部稳定保证，但常依赖已知 basis 表示辅助输入输出模型。本文的区别是用 Koopman lifting 给出一个更系统的 surrogate construction，并连接到 bilinear robust design；但 dictionary/lifting 的选择问题并没有根本消失，只是从“已知辅助表示”变成“选择 Ψ 且假设 residual 可界”。
第三类是 delay-coordinate Koopman / Hankel DMD。本文借用了 delay embedding 的思想，但用途不同：不是做无保证预测，而是把 delay coordinates 提升为闭环控制的状态变量，并给稳定性回推原状态的证明。这个点是实质创新。
看似新的地方中，LS bilinear fitting、SOS robust feedback、delay embedding 都不是新组件；新意在于把它们以可证明链条连接起来，尤其是 input-output representation → bilinear Koopman residual bound → output-feedback stability transfer 这条路线。
Dataset / Evaluation
评估覆盖很窄：一个二维非线性连续时间系统离散化后的数值例子，单输出单输入，无真实噪声闭环实验，无高维系统、无真实硬件、无跨系统泛化。实验设置主要验证理论构造在小规模下可执行。
open-loop prediction 对比 EDMDc 显示 bilinear surrogate 更稳，这支持“linear lifted input model 不够”的 claim；closed-loop 对比 EDMDc+LQR 失败，支持“robust bilinear SOS controller 比 naive Koopman-LQR 更可靠”的 claim。但这个 benchmark 并不能验证方法在实际 output-feedback nonlinear systems 上的可扩展性，也不能验证 residual bounds 在真实数据下是否可获得。
更重要的是，闭环实验中选择 L=1 和二阶多项式 lifting，是受 SOS 可计算性限制而非理论最优；这反而暴露了方法的实际瓶颈。实验没有系统分析 delay length、dictionary richness、data conditioning、noise level 对 guarantee feasibility 的影响，因此 evidence 更像 proof-of-concept，而不是完整 empirical validation。
Limitation
最核心限制是 Assumption 3.1 很强：要求 observability map 对所有 admissible input sequences 都有统一的定量 injectivity。真实非线性系统中这既难验证，也可能不成立；即便局部可观，也不意味着 uniform over U^L 且 well-conditioned。论文把 state measurement 难题转移到了 strong delay observability assumption。
第二个限制是 residual bound 的可获得性。Assumption 4.2 需要 Koopman bilinear residual 满足 proportional bound，控制设计还需要具体常数 cΨ,ξ,cΨ,u。文中理论上引用既有结果说明这种形式合理，但在本问题中如何从纯 input-output data 给出非保守、可信的常数并未充分说明。实验直接设小常数，增益来源不清。
第三个限制是 scaling。ξ 的维度是 L(m+p)，Ψ 维度随字典增长，bilinear term 是 mN，SOS 条件维度更高。论文自己也承认复杂度严重，实际只能在小 N 下跑。为了保证 observability 往往需要较大 L，为了逼近 Koopman 需要较大 Ψ，而控制合成恰好不能承受这两者；这是方法内部的关键张力。
第四，噪声处理不完整。Remark 给出 noisy successor 对 LS mismatch 的影响，但没有形成 noisy output-feedback closed-loop theorem，也没有考虑历史输出噪声通过 O_L^{-1} / delay state 累积放大的实际问题。
第五，region of attraction 受 Ω(c*)、输入约束 U、数据覆盖 E 限制，本质上是局部/集合内保证。泛化到未覆盖区域没有理由成立；所谓 data-driven guarantee 仍强依赖数据矩阵 condition 和 lifted approximation quality。
Takeaway
- 1. 这篇真正推动的是：把 Koopman closed-loop guarantees 从 state-feedback setting 推向 input-output-only setting，并给出一条完整的条件性证明链条。
- 2. 最可迁移的 insight 是：对 output-feedback nonlinear control，与其学习一个不可认证 observer，不如在 delay-coordinate extended state 上直接做 robust control；这可能也适用于 SOS polynomial control、data-enabled predictive control、bilinear MPC 等非 Koopman 框架。
- 3. bilinear Koopman structure 是 controlled nonlinear systems 中比 EDMDc 更合理的低阶 inductive bias；如果要做有保证控制，线性 lifted input model 很可能是错误起点。
- 4. 未来真正值得做的不是再换一个 lifting，而是解决三个硬问题：observable delay embedding 的数据化验证、Koopman residual constants 的 finite-sample/noisy estimation、以及可扩展的 robust synthesis/model reduction。
一句话总结
这篇论文是 Koopman-based control with guarantees 向 input-output/output-feedback 场景的一次条件性扩展：核心贡献不是新预测模型，而是把 delay-coordinate observability、bilinear Koopman residual 和 robust feedback synthesis 连接成一条可证明的闭环稳定链条。