Проектирование структурированного регулятора на основе данных с использованием матричной S-процедуры

Основная информация

• 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 (математическая оптимизация и управление)
• Дата публикации: 14 октября 2025 г. (препринт, отправленный в 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-трудной задачей. Существующие методы подразделяются на методы на основе 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$ таких, что:

$\begin{bmatrix} P - GG^T - βI & 0 \\ 0 & -\begin{bmatrix} I \\ K \end{bmatrix} P \begin{bmatrix} I \\ K \end{bmatrix}^T \end{bmatrix} - \sum_{i=0}^{T-1} α_i Ψ_i ⪰ 0$

3. Техника линеаризации

Для структурированного управления ключевой вызов — невыпуклость ограничения $Y ⪯ P^{-1}$. Путём линеаризации $P^{-1}$ в окрестности точки $\tilde{P}$:

Y ⪯ P̃^{-1} - P̃^{-1}(P - P̃)P̃^{-1}

Схема алгоритма

Алгоритм 1: Проектирование оптимального регулятора без структуры

Вход: данные X, U, граница шума ε
Выход: регулятор K*, граница производительности γ*
1. Выбрать соответствующую задачу SDP в зависимости от типа
2. Решить SDP и получить L*, P*, γ*
3. Вернуть K* = L*P*^{-1}, γ*

Алгоритм 2: Проектирование оптимального структурированного регулятора

Вход: данные X, U, структурные ограничения I_S
Выход: регулятор K*, граница производительности γ*
1. Инициализировать λ, μ, δ, ε, P_0 = I, k = 0
2. Повторять:
   a. Решить SDP с P̃ = P_k и λ
   b. Обновить K_{k+1}, P_{k+1}, γ_{k+1}
   c. Если λ < δ, то λ = μλ
   d. k = k + 1
3. До сходимости
4. Вернуть K_k, γ_k

Экспериментальная установка

Случай управления $H_2$

Параметры системы:

A = [-0.4095  0.4036 -0.0874
      0.5154 -0.0815  0.1069
      1.6715  0.7718 -0.3376]

B = [ 0      0
     -0.6359 -0.1098
     -0.0325  2.2795]

Структурные ограничения: I_S = [1 1 0
                                  0 1 1]

Случай управления $H_\infty$

Параметры системы:

A = [0.8  0.2  0.1
     0.1  0.7 -0.3
    -0.3  0.5  0.9]

B = [1 0
     0 1
     1 1]

Структурные ограничения: I_S = [1 1 0
                                  1 1 0]

Метрики оценки

• Граница производительности $H_2$/$H_\infty$
• Время вычисления
• Сравнение производительности с методами-эталонами

Результаты экспериментов

Результаты управления $H_2$

Сравнение производительности при различных уровнях шума (T=20)

Сравнение производительности при различной длине данных (ε=0.1)

Результаты управления $H_\infty$

Сравнение производительности при различных уровнях шума (T=50)

Основные выводы

1. Преимущество производительности: Предложенный метод значительно превосходит метод-эталон 15 во всех тестовых сценариях
2. Монотонность: Метод гарантирует монотонное неубывание границы производительности с увеличением длины данных T, чего не имеет 15
3. Вычислительные затраты: Из-за итеративного процесса и большего числа переменных оптимизации время вычисления увеличивается

Связанные работы

Проектирование структурированного регулятора

• Методы LMI: Работы Polyak и др. 2, Fardad и др. 5
• Методы градиента: Метод увеличенного лагранжиана Lin и др. 3
• Методы внутренней точки: Новый алгоритм Yang и др. 6

Управление на основе данных

• Фундаментальная теория: Основная лемма Willems и др. 7
• Робастная стабилизация: Работы De Persis и Tesi 8, Berberich и др. 9
• Применение матричной S-леммы: Исследования van Waarde и др. 11, Bisoffi и др. 12,13

Заключение и обсуждение

Основные выводы

1. Предложено более точное представление множества матриц системы, снижающее консерватизм
2. Разработана эффективная техника линеаризации для обработки структурных ограничений
3. Доказаны теоретические преимущества метода и подтверждены численными экспериментами

Ограничения

1. Вычислительная сложность: Итеративный алгоритм и дополнительные переменные увеличивают вычислительную нагрузку
2. Сходимость: Отсутствуют теоретические гарантии сходимости алгоритма
3. Ограничения структурных ограничений: Эффективность метода зависит от разумности структурных ограничений

Направления будущих исследований

1. Теоретический анализ сходимости алгоритма
2. Дальнейшая оптимизация вычислительной эффективности
3. Обработка более сложных структурных ограничений

Глубокая оценка

Преимущества

1. Твёрдый теоретический вклад: Улучшенное представление системного множества и применение матричной S-процедуры имеют теоретическую ценность
2. Сильная инновационность метода: Техника линеаризации ловко решает невыпуклые ограничения
3. Достаточная экспериментальная верификация: Метод проверен в различных сценариях
4. Значительное улучшение производительности: Явное улучшение по сравнению с существующими методами

Недостатки

1. Значительные вычислительные затраты: Вычислительная стоимость итеративного алгоритма является препятствием для практического применения
2. Отсутствие гарантий сходимости алгоритма: Теоретический анализ неполный
3. Ограниченная область применения: Метод требует разумности структурных ограничений

Влияние

1. Академическая ценность: Предоставляет новую теоретическую базу для структурированного управления на основе данных
2. Практическая ценность: Имеет важные перспективы применения в сетевых системах управления
3. Воспроизводимость: Алгоритмы описаны ясно, что облегчает воспроизведение

Сценарии применения

• Крупномасштабные сетевые системы управления
• Распределённое управление с ограниченной коммуникацией
• Сценарии, где модель системы неизвестна, но доступны исторические данные
• Приложения с высокими требованиями к производительности управления

Список литературы

Статья цитирует 42 связанные работы, охватывающие структурированное управление, управление на основе данных, робастное управление и другие важные области, обеспечивая прочную теоретическую базу для исследования.