[论文解读] On Topological and Metrical Properties of Stabilizing Feedback Gains: the MIMO Case

Jingjing Bu, Afshin Mesbahi+1 more|arXiv (Cornell University)|Apr 4, 2019

Control and Stability of Dynamical Systems参考文献 17被引用 16

一句话总结

本文研究了多输入多输出（MIMO）线性时不变（LTI）系统在连续时间和离散时间下的稳定反馈增益的拓扑与度量性质。结果表明，稳定状态反馈增益的集合是开集、无界且可缩的，而输出反馈增益是开集但不一定是连通的。关键的是，本文构建了离散时间MIMO系统，其结构化稳定增益表现出指数数量的连通分支——与连续时间下的已知结果相一致——凸显了梯度基学习算法在控制综合中面临的根本性挑战。

ABSTRACT

In this paper, we discuss various topological and metrical aspects of the set of stabilizing static feedback gains for multiple-input-multiple-output (MIMO) linear-time-invariant (LTI) systems, in both continuous and discrete-time. Recently, connectivity properties of this set (for continuous time) have been reported in the literature, along with a discussion on how this connectivity is affected by restricting the feedback gain to linear subspaces. We show that analogous to the continuous-time case, one can construct instances where the set of stabilizing feedback gains for discrete time LTI systems has exponentially many connected components.

研究动机与目标

• 分析多输入多输出（MIMO）线性时不变（LTI）系统在连续时间和离散时间下稳定反馈增益集合的拓扑与度量结构。
• 研究反馈增益结构约束（如稀疏性、线性子空间）对稳定集合连通性与几何性质的影响。
• 将SISO系统中已知结果扩展至MIMO系统，特别是关于稳定增益集合中连通分支数量的问题。
• 对状态反馈与输出反馈下的稳定增益集合提供严格的拓扑表征（开性、可缩性、有界性）。
• 证明离散时间MIMO系统在结构化稳定增益集合中可表现出指数数量的连通分支——与连续时间现象一致。

提出的方法

• 利用微分拓扑与矩阵稳定性理论，分析使闭环系统为赫尔维茨（连续时间）或舒尔（离散时间）稳定的反馈增益集合。
• 应用盖尔范德公式（Gelfand’s formula）于谱半径，证明在特定结构约束下，增益空间中沿凸路径的路径连通性。
• 通过嵌入 $k$ 个独立的2×2子系统，构造块对角MIMO系统，每个子系统贡献两个连通分支，从而实现 $2^k$ 个连通分支。
• 利用线性约束（如 $u_{12} = -a^2 u_{21}$）对结构化反馈增益进行参数化，推导舒尔稳定性所需特征值模的条件。
• 利用谱半径 $\rho(A - BK) < 1$ 在增益空间中定义开集的事实，确保稳定集合的开性。
• 利用块对角系统的笛卡尔积结构，证明连通分支数量在各块之间相乘，从而在 $k$ 个块时得到 $2^k$ 个连通分支。

实验结果

研究问题

• RQ1 连续时间与离散时间MIMO LTI系统中，稳定反馈增益集合的拓扑性质（如连通性、可缩性）有何不同？
• RQ2 在结构化反馈约束下，离散时间MIMO系统的稳定反馈增益集合是否可表现出指数数量的连通分支，如同在连续时间系统中所见？
• RQ3 对反馈增益矩阵施加线性子空间约束，对稳定集合的连通性与几何性质有何影响？
• RQ4 系统矩阵 $A$ 与 $B$ 的结构如何影响稳定增益集合中连通分支的数量？
• RQ5 由于稳定增益集合具有非凸性和非连通性，梯度基控制综合学习算法在多大程度上受到限制？

主要发现

• 离散时间MIMO LTI系统的稳定状态反馈增益集合在欧氏拓扑下是开集、无界且可缩的。
• 稳定输出反馈增益集合是开集，但不一定是连通的，且可有界或无界。
• 对于由线性子空间定义的结构化反馈增益，稳定集合中连通分支的数量可随状态数呈指数增长。
• 通过构造 $k$ 个2×2块子系统，每个满足 $|a_j| > 2$，可使离散时间MIMO系统的稳定增益集合恰好具有 $2^k$ 个连通分支。
• 该结果将连续时间系统中已知现象扩展至离散时间MIMO系统，表明指数连通性并非仅限于连续时间。
• 谱半径条件 $\rho(A - BK) < 1$ 在增益空间中定义了一个开集，且在特定结构假设下，增益空间中凸路径可保持稳定性，从而证明了约束情形下的连通性。