面向测量与异构通信时延的网络最优资源分配：分布式随机极值搜索与PI共识方法

《Axioms》：Distributed Stochastic Extremum Seeking for Optimal Resource Allocation over Networks with Time Delays

　　

本文研究多智能体网络中同时存在测量时延与通信时延的最优资源分配问题。研究人员针对具有异构常数通信时延的连通无向图提出一种分布式随机极值搜索（SES）算法。该算法仅使用局部目标值的时滞逐点测量；不向控制器馈入梯度或Hessian信息。它将强制供需平衡的比例–积分（PI）共识协议与补偿测量时延的一阶段序贯预测器相结合。收敛分析针对二次型局部目标展开；该限制由随机平均论证所要求，文中明确陈述并讨论。利用随机平均理论及用于时滞系统的Lyapunov–Krasovskii泛函，研究人员证明：对每一有限初始历史，估计值几乎必然收敛到最优点的任意小邻域（对每一固定容差成立），并导出常数通信时延的显式容许范围以及选择设计参数的序贯程序。采用三发电机微电网与六发电机微电网两个案例研究说明理论结果。

研究背景与问题。最优资源分配指在耦合约束下最小化各局部目标之和，在电力系统、交通、通信网络和供应链管理中具有基础地位。大规模网络中，集中式方法依赖单一决策者，存在计算复杂度高、通信开销大、隐私和单点故障等问题，因此分布式算法受到关注：各智能体保留局部决策与局部目标 f_i(·)，通过有限通信协调。已有等式约束方法、局部约束方法以及罚函数、投影、Lagrange乘子、次梯度、梯度、确定性极值搜索和原始–对偶等方法，但多数假设通信瞬时且完美。时延普遍且可能破坏稳定性；少数含时延工作虽给出严格时延界，却要求梯度信息。当目标未知或梯度获取昂贵时，该要求受限。极值搜索（ES；从目标函数测量与探索信号估计梯度）可避免显式梯度，但经典确定性方案依赖相位对齐的周期抖动，时延通信破坏对齐；随机极值搜索（SES；以遍历随机探索替代周期抖动）无需正交或相位协调，并可容忍噪声和时延通道。现有SES延迟结果针对单被控对象，不含网络、共识机制和耦合平衡约束；另一伴随工作要求共识约束而非供需平衡。因此，面向该设定尚缺少同时考虑测量时延与异构常数通信时延、具有显式容许时延界的无梯度分布式分配方案。

研究开展与结论意义。研究人员针对连通无向图、异构常数通信时延和同时存在的测量时延，提出分布式SES资源分配算法。算法仅使用局部目标值的时滞逐点测量，不向控制器馈入梯度或Hessian信息；将强制供需平衡的比例–积分（PI；比例项驱动乘子一致、积分通道强制供需平衡）共识协议与补偿测量时延的一阶段序贯预测器结合。平衡分析把PI共识平衡与资源分配问题的Karush–Kuhn–Tucker（KKT）点对应。基于随机平均理论和时滞系统的Lyapunov–Krasovskii（LK；用于时滞系统稳定性分析的泛函）泛函，在二次型局部目标假设（Assumption 4）下证明：对每一有限初始历史，当探索时间尺度参数趋于零时，估计几乎必然进入最优点的任意小邻域（对每一固定容差）；并导出常数通信时延的显式容许范围及设计参数的序贯选择程序。无延迟极限退化为已有分布式ES/PI共识设计，研究人员未对该特例主张新颖性。意义在于为同时含测量与通信时延、且梯度不可得或昂贵的网络资源分配提供可证明的时延感知无梯度框架。

关键技术与方法。方法核心为分布式随机极值搜索（SES）算法：以独立分量随机微分方程产生遍历探索信号，从延迟目标函数逐点测量解调梯度；用比例–积分（PI）共识协议实现乘子一致并以其积分通道强制供需平衡；用一阶段序贯预测器重建当前解调值以主动补偿测量时延；对通信时延不作主动补偿，而通过随机平均理论、时滞系统Lyapunov–Krasovskii泛函和Young不等式等导出容许上界与参数条件。仿真采用三发电机和六发电机微电网案例，均为连通无向完全图；未涉及样本队列来源。

研究结果。三发电机微电网：研究人员在具有对称常数通信时延和不同测量时延的三发电机完全图 K₃ 网络上验证算法，总需求为50 MW；按定理条件选取参数后，所有模拟通信时延位于理论容许范围内。结果显示发电机输出收敛到最优分配的小邻域，资源约束失配收敛到零附近，总输出稳定在总需求邻域，并存在抖动诱导残余，与定理和偏差–方差讨论一致。六发电机微电网：在六发电机完全图 K₆ 网络上，通信时延取三个不同常数值、测量时延取多个值，总需求为80 MW；设计条件均满足。约14000 s瞬态后输出进入最优分配邻域，最后2400 s内时间平均输出接近最优值，总输出围绕80 MW，瞬时波动由多个独立抖动引起。该案例表明网络规模翻倍并采用异构三值时方案仍有效。数值研究均以完全图为对象，属示例性验证，非系统时延敏感性研究，也未设置无时延基线或与基于梯度的方案比较。设计条件另经解析验证，并非重新运行被控对象；分析参数不进入控制器，故不改变轨迹。

讨论与结论翻译。讨论部分指出局限：定理1的收敛保证限于二次局部目标（Assumption 4），向一般强凸目标的扩展缺少Taylor余项论证，需要严格双时间尺度扰动分析，仍开放；时延界针对无向固定图上常数且对称通信时延（Assumption 3），非对称或时变时延需不同工具；最终平均步骤使用已有随机平均定理框架，未重新证明，二次限制在该步骤继承；数值范围仅两个完全图微电网及设计条件解析验证，经验支持为示例性而非全面。结论可翻译为：研究人员研究了连通无向图上同时存在测量时延和异构常数通信时延的最优资源分配问题，提出一种分布式随机极值搜索算法，将基于随机扰动的梯度估计与比例–积分共识协议相结合，且仅依赖个体目标函数的延迟局部测量；在二次目标假设下，利用随机平均和Lyapunov稳定性理论证明，当探索时间尺度参数消失时，闭环轨迹几乎必然收敛到最优分配的任意小邻域（实际意义）；导出了常数通信时延的显式容许范围以及设计参数的序贯选择程序。研究人员还指出，所提框架限于连通、无向、固定图及先验已知的常数对称时延；未来方向包括有向/时变拓扑、时变/非对称时延、异步通信、非完全或切换网络、与基于梯度的时延感知方案的系统数值比较，以及持续扰动下的输入–状态稳定性（ISS）分析。