Data-Driven Structured Controller Design Using the Matrix S-Procedure

基本信息

• 论文ID: 2503.14949
• 标题: Data-Driven Structured Controller Design Using the Matrix S-Procedure
• 作者: Zhaohua Yang, Yuxing Zhong, Nachuan Yang, Xiaoxu Lyu, Ling Shi
• 分类: math.OC (数学优化与控制)
• 发表时间: 2025年10月14日 (Preprint submitted to Automatica)
• 论文链接: https://arxiv.org/abs/2503.14949

摘要

本文专注于离散时间线性时不变(LTI)系统的数据驱动最优结构化控制器设计，同时考虑$H_2$性能和$H_\infty$性能。具体研究三种场景：(i)基于模型的结构化控制，(ii)数据驱动的非结构化控制，(iii)数据驱动的结构化控制。对于$H_2$性能，主要研究场景(ii)和(iii)，因为场景(i)已在文献中得到广泛研究。对于$H_\infty$性能，考虑所有三种场景。针对结构化控制，引入了一种线性化技术，将原始非凸问题转换为半定规划(SDP)问题，并基于此开发了迭代线性矩阵不等式(ILMI)算法。

研究背景与动机

问题背景

1. 网络化控制系统的挑战：在大规模网络化控制系统中，集中式控制策略会带来巨大的通信负担，因此需要设计具有稀疏结构的控制器。
2. 结构化控制器设计的困难：带有结构约束的控制器设计具有NP-hard的复杂性，现有方法主要分为基于LMI和基于梯度的方法。
3. 数据驱动控制的需求：在实际应用中，许多系统的动力学模型往往无法获得，这促使了数据驱动控制的研究。

现有方法的局限性

1. 传统方法依赖已知模型：现有的结构化控制器设计方法假设系统模型已知。
2. 数据驱动方法的保守性：现有数据驱动方法如Miller等15的工作存在以下问题：
   • 将瞬时有界噪声过度近似为能量有界噪声序列，引入额外保守性
   • 仅在非凸可行域的凸子集内设计结构化控制器
   • 缺乏性能单调性保证

核心贡献

1. 改进的数据驱动框架：
   • 将所有可能系统矩阵的集合表示为每个数据点集合的交集，比15中的集合更小
   • 利用矩阵S-过程处理所有可能的系统矩阵，证明了可行域包含15中的可行域
   • 证明了性能相对于数据长度的单调非递减性
2. 新颖的线性化技术：
   • 开发了将原始非凸问题转换为SDP问题的线性化技术
   • 提出了ILMI算法来计算结构化控制器
   • 能够探索比15更大的可行域
3. 全面的$H_\infty$控制研究：
   • 首次对基于模型的结构化控制、数据驱动非结构化控制和数据驱动结构化控制进行了全面研究

方法详解

任务定义

考虑离散时间LTI系统：

x_{k+1} = Ax_k + Bu_k + Gd_k
y_k = Cx_k + Du_k + Hd_k

其中$x_k \in \mathbb{R}^{n_x}$是系统状态，$u_k \in \mathbb{R}^{n_u}$是控制输入，$y_k \in \mathbb{R}^{n_y}$是控制输出，$d_k \in \mathbb{R}^{n_d}$是外部扰动。

使用状态反馈控制器$u_k = Kx_k$，其中$K \in \mathbb{R}^{n_u \times n_x}$需要满足结构约束$K \in S$。

数据收集机制

假设矩阵$A, B$未知但确定，矩阵$C, D, G, H$已知。收集的数据包括：

X = [x_0, x_1, ..., x_T] ∈ ℝ^{n×(T+1)}
U = [u_0, u_1, ..., u_{T-1}] ∈ ℝ^{m×T}

关键假设：过程噪声有界，即$\|w_k\|_2 \leq \epsilon$。

核心技术创新

1. 改进的系统矩阵集合表示

基于第$i$个时间步的数据$(x_i, u_i, x_{i+1})$，定义：

Σ_i = {(A,B) | x_{i+1} = Ax_i + Bu_i + w_i, w_i w_i^T ⪯ ε²I}

所有与数据一致的系统矩阵集合为：

Σ = ∩_{i=0}^{T-1} Σ_i

这比15中的集合更精确，减少了保守性。

2. 矩阵S-过程的应用

对于$H_2$控制，利用矩阵S-过程，条件(5a)对所有$(A,B) \in Σ$成立的充分条件是存在非负的$α_0, α_1, ..., α_{T-1}$和$β > 0$使得：