精读笔记
Problem Setting
这篇论文处理的不是普通 structured control synthesis，而是更上层的 architecture co-design：哪些 sensor/actuator 被部署，哪些 sensor-to-actuator link 存在，每条 link 有多少采样周期延迟，以及这些选择如何影响动态输出反馈控制器的可达性能。
困难点不在于固定架构下如何合成控制器；固定架构下 OF-SLS 已经给了 affine feasible set 和 convex objective。真正困难是架构变量和控制器变量的耦合方式：如果直接在 K 上 impose support/delay，稳定化约束和 K 的非线性闭环映射会导致 mixed-integer nonconvex；如果为了凸性限制在 QI class，又会把很多实际可实现、但 controller-support 不 QI 的信息流排除掉。
关键矛盾是：工程上需要显式、离散、可审计的架构选择；控制理论上又希望保留凸合成和稳定性证书。以前的方法大多只能二选一：QI 有理论凸性但设计空间小；RFD/atomic norm 能诱导 sparsity 但没有硬预算和全局架构最优性；模板方法可解释但严重依赖人工先验。
Motivation
作者的核心观察是：SLS 的变量不是 controller transfer K，而是 closed-loop responses。架构限制如果表达在响应实现的局部性/延迟上，固定架构下仍然是 affine/convex 的；这比 controller-support QI 更宽，因为它约束的是实现某个响应所需的信息流，而不是直接要求 K 的传递矩阵支持满足 QI closure。
这篇论文要补的缺口很具体：已有 SLS 能合成，已有 QI 能判定某些 controller-support constraint 何时凸，已有 RFD 能给稀疏启发式；但缺一个可以把硬件激活、链路选择、延迟菜单、强制/禁止链路、预算/数量约束全部放进同一个优化问题，并且在有限菜单上返回 mixed-integer global certificate 的 formulation。
所以 motivation 不是“提出更好的控制器”，而是“把架构选择从 heuristic/模板/QI restriction 中解放出来，同时不牺牲固定架构下 OF-SLS 的凸性”。
Core Idea
核心思想是一次建模坐标系的切换：不要在 K 上直接联合优化离散信息结构，而是在 FIR OF-SLS response space 里优化闭环响应；离散架构只决定哪些响应块在某些时间之前必须为零。由于 OF-SLS 可实现性由 affine equations 描述，响应 mask 是线性/indicator 约束，性能如 H2 在响应变量上是 convex，于是剩下的非凸性只来自明确的 binary architecture choice。
这个建模带来的 inductive bias 是“implementation-local response locality”：一个 sensor-to-actuator delay matrix 不仅 mask L，还通过固定 state-block 到 actuator-side / measurement-side component 的 assignment 诱导 R、M、N 的可用性。这使架构代表的是 SLS realization 中信息在闭环响应实现里的可达性，而不是 K 的静态 support closure。它因此可以包含非 QI controller-support 架构，但仍保持固定架构的凸合成。
本质区别在于，QI 是为了让 controller-support constraint 在 Youla/K 坐标中凸化；本文则绕过 K-support 的非凸性，直接在 response coordinates 中选择可实现的信息局部性。这个差异不是简单工程编码，而是可行设计空间的改变。
Method
1. OF-SLS FIR response parameterization：它解决的是稳定输出反馈控制器合成的非凸性。通过 R/N/M/L 满足双边 SLS affine identities，内部稳定性和可实现性被编码进线性等式；性能映射 G_zeta w 对响应变量 affine。因此，在给定架构 mask 后，连续优化仍是 convex。FIR horizon 则把无限维问题截断成有限维问题，这是证书成立的前提也是主要近似来源。
2. Sensor-actuator delay architecture：架构原变量是 Delta_ij，表示 y_j 到 u_i 的最小可用延迟或不存在。重要的是，Delta 直接约束 L，但 R/M/N 的 mask 不是额外设计变量，而是由 implementation layout 中 state block 的 actuator-side 和 measurement-side assignment 诱导。这一步把一个 link-level architecture 映射成完整 SLS response locality constraint，是该方法区别于单纯 controller sparsity 的关键。
3. Cumulative binary encoding：每条 link 用 s_ij,t 表示“到延迟 t 是否已经可用”，并加单调性 s_t <= s_{t+1}。这比 one-hot 更贴合 latency 语义：选择低延迟自然意味着所有更晚时刻也可用。它让 delay-dependent cost、link activation、sensor/actuator activation、budget、cardinality、mandatory/forbidden link 都能以 MILP/MICP 形式表达。
4. Indicator response-mask constraints：如果 s_ij,t 为 0，则对应 FIR response block 在该时刻必须为零。这个机制负责把 binary architecture 和 continuous response 真正耦合起来。连续侧仍是 OF-SLS affine constraints；离散侧只决定哪些系数被强制为零。
5. QI reference model：同一套 cumulative encoding 也用来构造 controller-support QI baseline。区别是 QI baseline 只对 L/K-support 施加约束，并加入 delay-domain QI closure inequalities。这个设计使比较相对公平：同一 delay menu、同一 cost/admissibility，但一个是 response-local，一个是 QI controller-support。
Key Insight / Why It Works
最关键的有效性来源是 response-coordinate convexification。传统 architecture co-design 失败在 K 与 closed-loop map 的非线性关系；SLS 把可实现闭环响应直接作为变量，稳定性约束变成 affine。于是离散架构只需要选择一个 response support pattern，而不是选择一个会和 K 的稳定化条件非线性耦合的 controller support。
第二个关键 insight 是“非 QI 并不等于不可凸合成”。QI 是 controller-support convexity 的充分/必要框架之一，但它保护的是 K-space/Youla-space 中的凸性。若架构被理解为 SLS realization 的信息可达性，那么很多非 QI 的 controller-support pattern 仍可以通过 response-local constraints 得到凸的固定架构合成。论文 platoon 例子中 OF-SLS 选择的 y2 -> u1 link 被 QI 排除，但在 response-local formulation 中是合法且有性能价值的，这说明 QI restriction 的损失不是理论上的边角料，而会在具体信息传播任务中显现。
第三，cumulative binary 不是主要理论创新，但它是让 formulation 干净且可扩展到硬约束的工程关键。它把 latency menu 的偏序结构显式编码，使成本和可用性自然线性化。这里更多是 modeling engineering，而非新的控制理论。
最可能的核心贡献是“implementation-local OF-SLS architecture + exact finite MICP encoding”这一组合；其中 OF-SLS 的凸性来自既有理论，MICP global certificate 来自标准 mixed-integer convex optimization。论文的新意在于把两者拼接到 architecture co-design 上，并明确区分 response-local architecture 与 QI controller-support architecture。
需要注意：所谓 global optimality 是有限菜单内的 global optimality，不是原问题的 global optimality。性能增益也不是来自更强的动态控制器类，因为 SLS/Youla/K 在稳定控制器表达上等价；增益来自允许搜索更宽的信息架构集合，并能在其中做离散全局搜索。
Relation To Prior Work
最接近的谱系有三条：QI/Youla structured control、SLS/localized control、regularization for design。
相对于 QI，本文的本质差异不是换了求解器，而是换了约束对象。QI 要求 controller information pattern 在 plant propagation 下封闭，从而 K-support synthesis 可凸化；本文约束 SLS response blocks 的延迟局部性，因此固定架构下天然保持 affine SLS constraints，并能覆盖非 QI 架构。QI 在文中变成 reference problem，而不是设计空间的边界。
相对于 SLS 既有工作，本文没有发明 OF-SLS parameterization；实质新增在于把架构变量显式离散化，并把 link delay/activation cost 与 FIR response mask 做 exact finite coupling。换言之，它把 SLS 从“给定 locality pattern 后合成控制器”推进到“在有限候选 locality/delay patterns 上联合搜索”。
相对于 RFD/atomic norm delay co-design，本文牺牲了连续凸启发式的轻量性，换来硬约束表达和 mixed-integer optimality certificate。RFD 可以给 sparse support，但不能自然表达 exact budget、mandatory/forbidden link，也不能证明在给定架构菜单上的最优性。本文的路线更像 exact combinatorial design reference，而不是 scalable heuristic。
看似新的部分中，FIR 截断、H2 objective、indicator zeroing、budget MILP 都是已有工具的重组；实质创新是把它们组织成一个对 implementation-local OF-SLS architecture 精确等价的有限 MICP，并用同一编码给出 QI 对照。
Dataset / Evaluation
评估集中在 vehicle platoon case study。这个任务适合展示本文 claim，因为 platoon 有明确的物理传播方向、通信延迟、leader/follower information-flow template，也天然存在 QI closure 会排除某些直觉有用链路的情况。
实验确实验证了一个核心点：在同一成本水平和同一延迟菜单下，response-local OF-SLS 可以选出非 QI 架构，并且该架构优于最佳同成本 QI、RFD-derived support 和 canonical template。这个证据支持“QI-compatible architectures 只是 admissible architecture set 的很小子集，且会带来性能损失”。
但 evaluation 的覆盖有限。只有一个主要系统族，且核心定量结论来自 N=3 platoon；scalability probe 到 N=10 主要说明 MICP 还能跑但已经变贵，并没有展示大规模工程系统上的设计优势。没有真实车辆/硬件通信实现，也没有模型不确定性、延迟抖动、packet loss 或在线部署约束。benchmark 支持 formulation 的有效性，但不足以证明该方法作为通用 co-design 工具在复杂 CPS 中可扩展。
Limitation
1. 证书边界很窄：global optimum 只对固定 T_lat、T_FIR、admissible architecture set、candidate links 和 scalarization weight 成立。T_FIR 截断后的可行/最优响应与无限时域最优之间缺少系统性的 tail bound。文中用 TFIR=8/10/12 在一个成本点结果一致来支持选择，但这不是一般性保证。
2. scalability 是硬上限。MICP 二进制变量随 link 数、delay menu 和系统规模增长；连续变量随 FIR horizon 和响应矩阵维度增长。Table 2 已经显示 delay selection 明显拖慢求解。该方法更像小中规模设计空间的 certified reference，而不是大规模网络控制的直接 solver。
3. implementation-local mask 的物理解释依赖固定 layout maps a(k), mu(k)。这些 assignment 不是优化变量，且会影响 R/M/N mask 的含义和保守性。真实分布式实现中，计算节点、状态估计、通信调度和 controller realization 可能比这个 layout 更复杂；文中未充分说明不同 layout 选择对结果的敏感性。
4. 架构成本模型简化。成本被写成 sensor/actuator activation 加 delay-dependent link cost，并假设低延迟不便宜于高延迟。这适合 formulation，但真实系统里 bandwidth contention、shared buses、routing、compute load、synchronization 和 reliability 往往不是可分 link cost。
5. 增益归因仍有限。platoon 中的优势很可能来自该系统的传播延迟结构与 response-local mask 的匹配；是否在更一般的非链式网络、强耦合 MIMO plant 或不确定模型下仍显著，文中未充分说明。
6. 该方法没有消灭 combinatorial difficulty，只是把它转移到一个可证书的 MICP 中。对于设计空间很大时，仍需要 screening、decomposition、warm-start、cutting 或 heuristic；否则 exactness 的代价就是不可扩展。
Takeaway
- 1. 这篇最值得记住的不是某个 platoon 数字，而是一个建模原则：如果 controller-support 使 co-design 非凸，不一定要在 K-space 里硬拼；换到 closed-loop response space，很多架构约束会变成 mask + affine feasibility。
- 2. QI 应被看作 controller-support convexification 的边界，而不是 decentralized architecture design 的边界。
- response-local SLS 给了一个更宽的可凸合成设计空间，尤其适合延迟和局部实现是架构本体的场景。
- 3. MICP formulation 的价值主要是 reference/certificate：它适合用来建立小中规模问题上的 Pareto front、评估 heuristic/RFD/template 的损失、发现非直觉架构，而不一定适合作为最终大规模部署算法。
一句话总结
这篇论文把控制架构联合设计从 controller-support/QI 或正则化启发式推进到 response-local OF-SLS 上的有限 MICP 精确搜索，贡献是一个有清晰证书但规模受限的 architecture co-design reference formulation。