[论文解读] Anti-Windup Approximations of Oblique Projected Dynamics for Feedback-based Optimization

Adrian Hauswirth, Florian Dörfler+1 more|arXiv (Cornell University)|Mar 1, 2020

Advanced Wireless Network Optimization参考文献 23被引用 10

一句话总结

本文提出了一种基于高增益积分控制与饱和特性的反风车（anti-windup）近似方法，用于仿射投影动力系统（PDS）的反馈优化。随着反风车增益的增加，该方法建立了统一收敛性与半全局实用稳定性，并在向量场为强单调时实现了鲁棒渐近收敛，从而在无需显式了解输入约束的情况下实现优化。

ABSTRACT

In this paper we study how high-gain anti-windup schemes can be used to implement projected dynamical systems in control loops that are subject to saturation on a (possibly unknown) set of admissible inputs. This insight is especially useful for the design of autonomous optimization schemes that realize a closed-loop behavior which approximates a particular optimization algorithm (e.g., projected gradient or Newton descent) while requiring only limited model information. In our analysis we show that a saturated integral controller, augmented with an anti-windup scheme, gives rise to a perturbed projected dynamical system. This insight allows us to show uniform convergence and robust practical stability as the anti-windup gain goes to infinity. Moreover, for a special case encountered in autonomous optimization we show robust convergence, i.e., convergence to an optimal steady-state for finite gains. Apart from being particularly suited for online optimization of large-scale systems, such as power grids, these results are potentially useful for other control and optimization applications as they shed a new light on both anti-windup control and projected gradient systems.

研究动机与目标

• 建立反风车控制与约束优化中投影动力系统（PDS）之间严格的理论联系。
• 通过放宽凸性假设并允许非凸的近端正则可行集，推广先前的研究工作。
• 将框架扩展至带有黎曼度量的斜PDS，以支持更广泛的动态形式，如投影牛顿流。
• 分析在有限与无限增益下，反风车近似方法的收敛性与稳定性，尤其关注自主优化的情境。
• 在实际系统（如电力系统）中展示其适用性，其中输入约束为物理强制且未知。

提出的方法

• 将反风车近似（AWA）建模为带有高增益反风车增强的饱和积分控制器，以模拟投影动力系统。
• 利用黎曼度量定义的斜投影，将标准投影流推广至包含牛顿型动态的更广形式。
• 将所得扰动系统视为因投影与饱和而产生不连续性的微分包含。
• 证明当反风车增益 $K \to \infty$ 时，AWA轨迹一致收敛于极限PDS的解。
• 证明PDS在反风车扰动下具有半全局实用鲁棒性，即使解可能存在有限逃逸时间。
• 对于强单调向量场，证明有限 $K$ 下的鲁棒渐近稳定性，超越仅在极限情况下的渐近结果。

实验结果

研究问题

• RQ1 是否能严格证明在高反风车增益极限下，反风车控制方案可近似斜投影动力系统？
• RQ2 当可行集为非凸但近端正则时，所提框架是否仍能保持收敛性与稳定性？
• RQ3 对于有限增益，反风车近似是否能保持原始投影梯度或牛顿流的收敛速率？
• RQ4 在何种条件下，反风车近似能对有限增益实现最优解的鲁棒渐近稳定性？
• RQ5 如何利用物理饱和特性，在不显式知晓输入约束的情况下实现反馈优化？

主要发现

• 证明了当反风车增益 $K \to \infty$ 时，反风车近似轨迹一致收敛于极限斜投影动力系统的解。
• 证明了在反风车扰动下，投影动力系统的半全局实用鲁棒性，即使解不唯一或存在有限逃逸时间。
• 对于强单调向量场，有限反风车增益下即可实现鲁棒渐近稳定性，而不仅限于极限情况。
• 通过反例表明，近端正则性是收敛性的必要条件，无法进一步放宽。
• 在仿真中，饱和控制输入 $P_{\mathcal{U}}(u)$ 与对偶变量收敛至最优解，即使内部状态 $u$ 本身未收敛。
• 观察到反风车梯度方案的收敛速率似乎与反风车增益无关，暗示一种出人意料的鲁棒性特征，有待进一步分析。