Геометрическое ядро

Геометрическое ядро — это фундаментальное понятие в теории автоматического управления и робастного контроля, обозначающее множество состояний динамической системы, из которых можно достичь заданной цели (например, удержания в инвариантном подпространстве) при помощи обратной связи, несмотря на наличие неопределённостей или возмущений. В более широком смысле, геометрическое ядро — это подпространство пространства состояний, обладающее свойством инвариантности относительно действия системы и её управляющих воздействий. Термин активно используется в контексте геометрического подхода к анализу и синтезу систем управления, разработанного в 1970-х годах.

История возникновения

Понятие геометрического ядра было введено в научный оборот в рамках развития геометрической теории управления. Основоположниками этого направления считаются американские математики У. М. Вонэм (W. M. Wonham) и А. С. Морс (A. S. Morse), которые в 1970-х годах опубликовали серию работ, посвящённых инвариантным подпространствам и их роли в задачах управления. В частности, в 1974 году вышла монография Вонэма «Linear Multivariable Control: A Geometric Approach», где геометрическое ядро было формализовано как инструмент для решения задач слежения, стабилизации и подавления возмущений.

В СССР и России геометрический подход к управлению развивался в работах В. А. Якубовича, А. Л. Фрадкова и других учёных, однако термин «геометрическое ядро» приобрёл популярность в основном в западной литературе. В отечественной науке чаще использовались синонимы: «инвариантное подпространство», «управляемое подпространство» или «ядро системы».

Определение и формализация

Геометрическое ядро определяется для линейных стационарных систем вида:

\[ \dot{x} = A x + B u \]

где \( x \in \mathbb{R}^n \) — вектор состояния, \( u \in \mathbb{R}^m \) — вектор управления, \( A \) и \( B \) — матрицы соответствующих размерностей.

Определение. Подпространство \( \mathcal{V} \subset \mathbb{R}^n \) называется геометрическим ядром (или \( (A,B) \)-инвариантным подпространством), если существует такая матрица обратной связи \( F \), что для всех \( x \in \mathcal{V} \) выполняется:

\[ (A + B F) x \in \mathcal{V} \]

Иными словами, \( \mathcal{V} \) инвариантно относительно замкнутой системы с управлением \( u = F x \). Это свойство гарантирует, что если начальное состояние системы принадлежит \( \mathcal{V} \), то вся траектория остаётся в этом подпространстве.

Геометрическое ядро является частным случаем более общего понятия — \( (A,B) \)-инвариантного подпространства, которое может быть как управляемым, так и неуправляемым. В задачах управления особый интерес представляют максимальные геометрические ядра, то есть наибольшие по включению подпространства, обладающие указанным свойством.

Классификация геометрических ядер

Геометрические ядра можно классифицировать по нескольким признакам:

• По размерности: минимальные (нулевое подпространство), максимальные (всё пространство состояний) и промежуточные.
• По управляемости: управляемые ядра (достижимые из нуля за конечное время) и неуправляемые.
• По устойчивости: асимптотически устойчивые (собственные значения замкнутой системы в левой полуплоскости) и нейтральные.
• По отношению к возмущениям: инвариантные относительно внешних воздействий (например, \( (A,B) \)-инвариантные подпространства, устойчивые к аддитивным шумам).

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

Применение в теории управления

Геометрическое ядро является ключевым инструментом при решении следующих задач:

Подавление возмущений

Если система подвержена внешним возмущениям \( d(t) \), то геометрическое ядро позволяет выбрать обратную связь так, чтобы возмущения не влияли на выход системы. Это достигается за счёт того, что ядро содержит подпространство, инвариантное относительно возмущений.

Слежение за заданным сигналом

В задачах слежения (например, управление роботом по траектории) геометрическое ядро определяет множество состояний, из которых можно точно отслеживать желаемый сигнал, не выходя за пределы допустимых значений.

Стабилизация

Геометрическое ядро используется для построения регуляторов, обеспечивающих асимптотическую устойчивость системы в заданном подпространстве. Например, для систем с ограничениями на управление ядро позволяет гарантировать, что управляющие сигналы не выйдут за допустимые пределы.

Диагностика и реконфигурация

В системах с отказами (например, в авиационной технике) геометрическое ядро помогает определить, какие состояния остаются управляемыми после выхода из строя части исполнительных механизмов. Это позволяет реконфигурировать управление для сохранения работоспособности.

Примеры

Пример 1: Простая система второго порядка

Рассмотрим систему:

\[ \dot{x}_1 = x_2, \quad \dot{x}_2 = u \]

Матрицы: \( A = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \), \( B = \begin{pmatrix} 0 \\ 1 \end{pmatrix} \). Геометрическое ядро \( \mathcal{V} = \{ (x_1, x_2) \mid x_1 = 0 \} \) является \( (A,B) \)-инвариантным, так как при \( u = -k x_2 \) (с любым \( k \)) траектория остаётся на оси \( x_2 \). Это ядро соответствует нулевому положению по первой координате.

Пример 2: Система с возмущением

Для системы:

\[ \dot{x} = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} x + \begin{pmatrix} 0 \\ 1 \end{pmatrix} u + \begin{pmatrix} 1 \\ 0 \end{pmatrix} d \]

где \( d \) — возмущение, геометрическое ядро \( \mathcal{V} = \{ (x_1, x_2) \mid x_1 = 0, x_2 = 0 \} \) (только нулевое состояние) не позволяет полностью подавить возмущение. Однако если выбрать \( \mathcal{V} = \{ (x_1, x_2) \mid x_1 = 0 \} \), то при подходящей обратной связи возмущение не влияет на \( x_2 \).

Связь с другими понятиями

Геометрическое ядро тесно связано с:

• Управляемостью: ядро является подпространством управляемых состояний.
• Наблюдаемостью: в задачах оценки состояния ядро может быть интерпретировано как подпространство, неразличимое по выходу.
• Инвариантными многообразиями: в нелинейных системах аналогом геометрического ядра являются инвариантные многообразия.
• Робастным управлением: ядро используется для синтеза регуляторов, устойчивых к параметрическим неопределённостям.

Критика и ограничения

Несмотря на мощь геометрического подхода, у него есть ряд ограничений:

• Линейность: теория разработана в основном для линейных систем; для нелинейных систем обобщение требует значительных усилий (например, использование дифференциальной геометрии).
• Размерность: вычисление максимальных геометрических ядер для систем высокой размерности (более 1000 состояний) может быть вычислительно затратным.
• Чувствительность к шумам: в реальных системах с шумами измерений инвариантность ядра может нарушаться, что требует дополнительной фильтрации.
• Ограниченность обратной связи: не все задачи управления могут быть решены только за счёт выбора инвариантного подпространства; часто необходимы более сложные структуры регуляторов.

Источники

1. Wonham W. M. Linear Multivariable Control: A Geometric Approach. — Springer, 1974.
2. Morse A. S. Structural invariants of linear multivariable systems // SIAM Journal on Control. — 1973. — Vol. 11, No. 3. — P. 446–465.
3. Якубович В. А. Методы теории управления: учебное пособие. — Л.: ЛГУ, 1985.
4. Фрадков А. Л. Адаптивное управление в сложных системах. — М.: Наука, 1990.
5. Basar T., Bernhard P. H-Infinity Optimal Control and Related Minimax Design Problems. — Birkhäuser, 1995.
6. Isidori A. Nonlinear Control Systems. — Springer, 1995.