精读笔记
Problem Setting
【A Generalized Plant Perspective on Linear-Convex Feedback Optimization】（arXiv preprint / 2026）
这篇论文处理的是 linear-convex optimal steady-state control / feedback optimization：给定 LTI plant，目标不是 tracking 一个预先算好的 setpoint，而是通过实时输出反馈让 plant 的 steady-state 输入输出收敛到凸 OSS 问题的解。表面上这是“把梯度流接到 plant 上”，但真正困难在于梯度算法看到的是动态 plant output，而不是静态 steady-state map；因此 optimization dynamics 和 plant transient 形成一个非平凡 Lur’e interconnection。
以前主流做法靠 timescale separation：把 optimizer gain ε 取得足够小，让 plant 看起来像静态 DC gain。这条路线的问题很明确：它把稳定性买在慢速 transient 上，并且通常要求 plant 已经 Hurwitz / pre-stabilized。更重要的是，它没有给出系统化算法设计，只是在固定 GFC/PPD-GFC 结构里调一个 gain。
本文要解决的关键矛盾是：feedback optimization 需要 fast adaptation 来应对扰动和改善 transient，但已有稳定性理论又要求 low gain；同时，如果 plant 本身不稳定，仅靠“慢优化器”甚至不是合适的问题表述。
Motivation
作者的动机不是再提出一个新的 gradient-flow 变体，而是认为 linear-convex setting 已经足够结构化，应当使用 robust control 的完整工具链。已有文献虽然已经有 IQC 或 H∞ 视角，但还没有把几个关键问题放进同一个框架：稳定 margin、性能指标、controller synthesis、模型不确定性、输入/等式约束。
核心缺口有三点。第一，timescale separation 和 robust-control synthesis 之间缺少形式上的桥接，导致低增益文献和动态控制综合文献像两条线。第二，以往 feedback optimization 的性能设计很弱，通常只证明收敛，不设计 disturbance-to-optimality residual 的 transient gain。第三，对梯度 oracle 的建模太粗：sector/static multiplier 或 norm-bounded uncertainty 没有充分利用 smooth convex gradient 的 slope-restricted structure。
所以作者选择 Zames–Falb IQC 并不是装饰，而是为了把“梯度是 monotone/slope-restricted operator”这个优化结构以更少保守性的方式嵌进控制设计。
Core Idea
真正核心是把 feedback optimization 闭环重写成 generalized plant：线性 plant + optimality model 构成 P，梯度和 normal cone 构成 Δ，optimization algorithm 是 controller K(s)。在这个坐标下，传统 GFC 只是 K(s)=-εI 的静态 P-controller；projected primal-dual gradient flow 也是某个静态控制器的特例。这样，算法设计从“选择一个 optimization-inspired dynamics 并证明它稳定”转成“对 generalized plant 做 robust output-feedback synthesis”。
这个改变很关键，因为它重新组织了信息流：optimality residual η 成为 controller 可用信号，plant transient 显式保留，oracle uncertainty 用 IQC 描述，而不是被 quasi-static approximation 消掉。理论上有效的原因是 linear-convex FO 问题天然就是 Lur’e system；Zames–Falb multiplier 比静态 sector 更精确地刻画 slope-restricted nonlinearity，因此稳定性和性能证书会更不保守。
和 prior 的本质区别：prior 多数是在固定 optimizer 结构上证明闭环收敛；本文则把 optimizer 本身提升为可综合对象。它引入的 inductive bias 是“robust control synthesis over an optimality model”，不是“更聪明的梯度更新”。
Method
方法上最重要的不是矩阵堆叠，而是几个机制性选择。
第一，构造 optimality model。作者把 OSS 的一阶条件积分成 \dot η = ∇Φ1(u)+Π_yu^T∇Φ2(y)。η 不是原优化问题的变量，而是 first-order residual 的动态记忆。它的作用是把优化目标变成一个需要稳定化的线性状态扩展，从而能接入 K(s)。没有这一步，GFC 只能被看成启发式动态。
第二，对 oracle 做 centered/shifted 表示。围绕最优点平移后，∇Φ1 的强凸部分 mu q 被抽到线性 plant 里，剩余部分成为 sector [0,Lu-mu] 的 slope-restricted operator；∇Φ2 是 [0,Ly]。这一步把强凸性转化为 nominal plant 的 stabilizability，减少非线性通道的负担。
第三，用 Zames–Falb IQC 证明稳定。给定 K 后，P⋆K 从 oracle output 到 oracle input，串接 Ψ multiplier 后用 dissipativity LMI 证收敛。这里的关键是 multiplier 可动态化，因此不是只检查点态 sector，而是利用 operator 的时域结构。
第四，把 performance channel 接入 generalized plant。作者选择扰动变化到 optimality residual η 的 L2 gain 作为代表性性能指标。这个选择合理：稳定性只能说 constant disturbance 下最终收敛，但 re-optimization transient 才是 feedback optimization 的实际价值。
第五，controller synthesis。固定 multiplier 时，对 K 做标准 output-feedback LMI synthesis；固定 K 时，优化 multiplier。交替优化不是全局凸，但给出了一条工程上可执行的算法设计路径。
第六，约束问题通过 normal cone oracle 进入同一框架。normal cone 是 monotone operator，可用 [0,∞] Zames–Falb IQC。作者由两个 optimality model 推出两种 Dyn-PPD：projection 在 filter 后得到 hard constraint，projection 在 dynamics 内得到 smooth action。这是 constrained 部分最有结构感的地方。
Key Insight / Why It Works
最核心的 insight 是：feedback optimization 的保守性主要来自错误的闭环视角，而不是梯度法本身太弱。把 plant 当成静态 map 再跑 optimizer，会自然导向 timescale separation；把 plant transient 和 optimality residual 一起放入 generalized plant，则可以让 controller 同时处理 stabilization 和 optimization。
方法有效的主要原因有三层。第一，linear-convex 结构把非线性全部压缩到 slope-restricted oracle channel，这正好是 IQC 最擅长处理的 Lur’e 形式。第二，Zames–Falb multiplier 比 static sector 更少丢信息，因此稳定 margin 放宽是预期内结果，不是偶然实验现象。第三，dynamic K(s) 增加了闭环 shaping 自由度：它可以在 plant unstable/slow modes 上做控制意义上的补偿，而不是只通过降低 ε 避免激发 plant transient。
最实质的贡献我认为是 generalized plant formulation + timescale separation as static-IQC special case。这个连接把传统 low-gain guarantee 的保守来源解释清楚：它对应一个固定证书、静态 multiplier 和 Cauchy–Schwarz 松弛。相比之下，后面的 synthesis/performance/uncertainty/constraints 更像是这个建模一旦成立后 robust-control toolbox 的自然展开，虽然有用，但创新性更多来自组织方式。
动态 controller 的性能提升不应简单归因于“更好的优化算法”。它本质上是 control synthesis：用模型知识和性能权重做 closed-loop shaping。某些增益可能来自 controller order、measurement augmentation、性能输出选择，而不完全来自 Zames–Falb multiplier。文中未充分做 ablation，因此增益来源不完全清楚。
这不是 scaling/data/retrieval 类工作；核心是 better inductive bias 和 latent structure reparameterization：把 optimization residual 作为控制状态，把 convexity/smoothness 作为 uncertainty geometry，把 algorithm design 变成 robust stabilization/performance synthesis。
Relation To Prior Work
最接近的谱系有三条：一是 feedback optimization / online optimization as feedback control 中的 GFC、PPD-GFC、timescale separation；二是 linear-convex OSS control 和 H∞ output-feedback synthesis；三是 optimization algorithm IQC 分析，尤其 Lessard-Recht-Packard 和后续 Zames–Falb multiplier 工作。
相对 GFC/PPD-GFC，本文的本质差异是把这些算法降格为静态控制器特例，而不是把它们当成基本对象。相对 singular perturbation，它不是再改一个更松的 ε bound，而是证明该 bound 是 IQC LMI 的保守投影。
相对早期 IQC feedback optimization 工作，真正新增的是 dynamic Zames–Falb multiplier 和 generalized-plant synthesis 的统一化。静态 sector IQC 只能说明“比 singular perturbation 稍好”；Zames–Falb 才真正利用 gradient oracle 的 slope restriction。相对 Lawrence/Mallada/Simpson-Porco 的 H∞ synthesis，本文将梯度非线性从 norm-bounded uncertainty 改成更贴合 convex oracle 的 IQC 描述，并进一步把约束 normal cone 纳入同一 oracle channel。
有些看似新其实是 robust control 的标准工具重组：performance LMI、uncertainty channel、alternating IQC synthesis 都不是新技术。实质创新在于把 feedback optimization 的 optimality structure 翻译成这些工具可以直接消费的 generalized plant。
Dataset / Evaluation
evaluation 是典型控制论文式 proof-of-concept，而不是广覆盖 benchmark。实验包括一个 academic LTI example 和 satellite rendezvous。它们覆盖了 unconstrained、constrained、model uncertainty、unstable/marginally stable dynamics 等几个 claim-relevant 场景，足以说明框架可用，但不能支撑“广泛工程可部署”的强结论。
最有价值的 evidence 不是轨迹图，而是稳定裕度对比：singular perturbation < static IQC < dynamic Zames–Falb IQC，并且 dynamic multiplier 接近真实 margin。这直接验证了作者关于保守性的理论判断。性能 synthesis 的例子也显示 dynamic K 比 tuned GFC 更好，但该结果并不意外，因为 controller class 更大、可用模型更多、测量也可扩展。
satellite rendezvous 例子说明了非 Hurwitz / imaginary-axis plant 下预稳定假设可以被绕开，同时 hard input projection 可工作。但它仍是仿真，不是真机；扰动、约束、执行器非理想、采样实现、模型误差都比较干净。benchmark 没有真正测试大规模系统、强不确定性、非线性 plant 或在线变化目标。
Limitation
第一，理论前提比较重：LTI plant、凸 smooth cost、可用 steady-state map Π_yu、强凸输入项或额外处理非强凸情形、oracle slope bounds 已知。离开 linear-convex setting 后，generalized plant 形式还能不能保持 tractable，文中只给方向，没有实质结果。
第二，scalability 上限主要在 LMI/IQC synthesis。动态 multiplier、full-order output-feedback controller、uncertainty channel 和 normal-cone channel 都会增加维度。对于大规模网络系统，这可能比调 ε 难得多。论文没有展示结构化/分布式求解。
第三，synthesis 是 alternating procedure，本质不是全局凸优化。初始化、multiplier parametrization、controller order 对结果的影响文中未充分说明。这里存在明显 engineering 成分：调哪些 filters、给多高 controller order、性能权重如何选，都会改变结论。
第四，model uncertainty 处理默认不确定性可被合理 IQC upper bound 且 steady-state map 保持或已知。如果 DC gain 本身错了，optimizer 收敛到的 OSS 目标就会偏；这个问题没有被真正解决，只是把动态模型误差吸收到 uncertainty channel。
第五，约束扩展主要覆盖 input convex set 和线性 equality constraints。state constraints、safety constraints、time-varying constraints、非凸可行域都不在框架内。Dyn-PPD I 的 smoothness 以 hard feasibility 为代价；Dyn-PPD II 保证 hard input constraint 但可能引入非光滑控制，这在真实 actuator 上不一定无害。
第六，性能指标选择仍带主观性。以 η 为 residual 很自然，但不同 z、不同权重会产生不同 controller；论文没有给出如何选择 performance output 的原则。
Takeaway
- 1. 最值得记住的是建模转换：feedback optimization algorithm 可以看成 generalized plant 上的 controller，而不是只能看成 optimization dynamics。
- 这个视角会把很多“算法稳定性”问题转成 robust synthesis 问题。
- 2. Timescale separation 不是 fundamental requirement，而是 static multiplier + conservative certificate 的产物。
- 对 linear-convex LTI 问题，继续只谈 low gain 已经不够精细。
一句话总结
这篇论文把 linear-convex feedback optimization 从低增益梯度流分析推进到 generalized-plant/IQC synthesis 视角，其真正贡献是说明 timescale separation 是保守特例，并用 Zames–Falb oracle 描述把稳定、性能、不确定性和约束统一到 robust control 设计框架中。