Метод переменных состояния¶

Метод переменных состояния — это метод анализа динамических систем, основанный на представлении системы в виде совокупности дифференциальных уравнений первого порядка, записанных относительно переменных состояния. Переменные состояния — это минимальный набор величин, знание которых в начальный момент времени и знание входных воздействий позволяет однозначно определить поведение системы в любой последующий момент времени. Метод широко применяется в теории автоматического управления, электротехнике, механике, экономике и других областях для моделирования, анализа и синтеза систем.

¶История

Основы метода переменных состояния были заложены в середине XX века. В 1960-х годах, с развитием вычислительной техники и теории управления, метод получил строгое математическое обоснование. Ключевой вклад внесли американские математики и инженеры Рудольф Калман, Ричард Беллман и другие. Калман в 1960 году предложил формализацию понятий управляемости и наблюдаемости, которые непосредственно связаны с представлением системы в пространстве состояний. В СССР метод активно развивался в работах А. А. Фельдбаума, Я. З. Цыпкина, В. А. Якубовича и других учёных. Первоначально метод применялся в основном для линейных систем, но впоследствии был распространён на нелинейные и дискретные системы.

¶Основные понятия

¶Переменные состояния

Переменные состояния (обозначаются обычно как x₁, x₂, …, xₙ) образуют вектор состояния x. Размерность вектора состояния n называется порядком системы. Выбор переменных состояния не является единственным, но их количество для данной системы фиксировано и равно порядку дифференциального уравнения, описывающего систему. В электротехнике в качестве переменных состояния часто выбирают напряжения на конденсаторах и токи через катушки индуктивности. В механике — координаты и скорости (или импульсы) материальных точек.

¶Уравнения состояния

Поведение системы во времени описывается системой дифференциальных уравнений первого порядка, называемых уравнениями состояния. В общем виде для непрерывной системы:

ẋ(t) = f(x(t), u(t), t)

где:

• ẋ(t) — вектор производных переменных состояния по времени;
• x(t) — вектор состояния;
• u(t) — вектор входных воздействий (управлений);
• t — время;
• f — вектор-функция, описывающая динамику системы.

Для линейных стационарных систем (с постоянными параметрами) уравнения состояния принимают матричную форму:

ẋ(t) = A·x(t) + B·u(t)

где:

• A — матрица системы (размером n×n), описывающая внутренние связи между переменными состояния;
• B — матрица управления (размером n×m), описывающая влияние входов на переменные состояния.

¶Уравнения выхода

Выходные переменные системы (то, что измеряется или наблюдается) описываются уравнениями выхода. Для линейных систем:

y(t) = C·x(t) + D·u(t)

где:

• y(t) — вектор выходных переменных;
• C — матрица выхода (размером p×n);
• D — матрица прямой связи (размером p×m), часто равна нулю.

¶Классификация систем в пространстве состояний

¶По типу переменных

• Непрерывные системы: переменные состояния изменяются непрерывно во времени, описываются дифференциальными уравнениями.
• Дискретные системы: переменные состояния изменяются в дискретные моменты времени, описываются разностными уравнениями. Для линейных дискретных систем: x[k+1] = A_d·x[k] + B_d·u[k], где k — номер такта.

¶По линейности

• Линейные системы: уравнения состояния линейны относительно переменных состояния и входов. Для них применим принцип суперпозиции.
• Нелинейные системы: уравнения состояния содержат нелинейные функции. Анализ таких систем сложнее, часто требует линеаризации в окрестности рабочей точки.

¶По стационарности

• Стационарные системы: параметры матриц A, B, C, D не зависят от времени.
• Нестационарные системы: параметры матриц изменяются во времени (например, A(t), B(t)).

¶Применение метода

¶Моделирование и анализ

Метод переменных состояния позволяет единообразно описывать системы различной физической природы (электрические, механические, гидравлические, тепловые) в виде системы дифференциальных уравнений первого порядка. Это удобно для численного моделирования на компьютере, так как большинство численных методов (например, метод Рунге-Кутты) предназначены именно для решения систем ОДУ первого порядка.

¶Анализ устойчивости

Устойчивость линейной стационарной системы определяется собственными числами матрицы A. Система устойчива, если все собственные числа имеют отрицательные вещественные части. Для нелинейных систем используется метод Ляпунова, основанный на построении скалярной функции состояния (функции Ляпунова).

¶Управляемость и наблюдаемость

• Управляемость: система называется управляемой, если существует такое управление u(t), которое может перевести её из любого начального состояния x(0) в любое конечное состояние x(T) за конечное время. Критерий управляемости Калмана: матрица управляемости Q_c = [B, A·B, A²·B, …, Aⁿ⁻¹·B] должна иметь полный ранг.
• Наблюдаемость: система называется наблюдаемой, если по измерению выхода y(t) на конечном интервале времени можно однозначно восстановить начальное состояние x(0). Критерий наблюдаемости Калмана: матрица наблюдаемости Q_o = [Cᵀ, (C·A)ᵀ, …, (C·Aⁿ⁻¹)ᵀ]ᵀ должна иметь полный ранг.

¶Синтез регуляторов

Метод переменных состояния является основой для синтеза современных регуляторов, таких как:

• Линейно-квадратичный регулятор (LQR) — оптимальное управление, минимизирующее квадратичный функционал качества.
• Наблюдатель состояния (фильтр Калмана) — алгоритм, восстанавливающий недоступные измерению переменные состояния по зашумлённым измерениям выхода.
• Модальное управление — размещение полюсов замкнутой системы в желаемых точках комплексной плоскости путём обратной связи по состоянию.

¶Электротехника и электроника

В электротехнике метод переменных состояния используется для анализа переходных процессов в электрических цепях. Переменными состояния обычно являются напряжения на конденсаторах и токи через катушки индуктивности. Метод позволяет записать уравнения цепи в стандартной форме и решить их численно или аналитически.

¶Механика и робототехника

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

¶Экономика и биология

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

¶Пример: RLC-цепь

Рассмотрим последовательный RLC-контур с источником напряжения u(t). В качестве переменных состояния выберем ток через катушку i(t) и напряжение на конденсаторе u_c(t). Уравнения цепи:

• L·di/dt = u(t) - R·i(t) - u_c(t)
• C·du_c/dt = i(t)

В матричной форме:

ẋ = [di/dt; du_c/dt] = [ -R/L, -1/L; 1/C, 0 ] · [i; u_c] + [1/L; 0] · u(t)

Выходом может быть, например, напряжение на конденсаторе: y = [0, 1] · [i; u_c].

¶Связь с передаточными функциями

Для линейных стационарных систем метод переменных состояния тесно связан с классическим частотным методом анализа на основе передаточных функций. Передаточная функция W(s) может быть получена из матричного описания:

W(s) = C·(sI - A)⁻¹·B + D

где s — комплексная переменная Лапласа, I — единичная матрица. Обратно, по передаточной функции можно построить реализацию в пространстве состояний (например, в канонической форме управляемости или наблюдаемости).

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

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

¶Интересные факты

• Метод переменных состояния является основой для современной теории управления и используется в пакетах программного моделирования, таких как MATLAB/Simulink, Scilab/Xcos, OpenModelica.
• Понятие «пространство состояний» заимствовано из теоретической физики, где оно используется для описания динамики механических систем в фазовом пространстве.
• В 1960 году Рудольф Калман опубликовал статью, в которой впервые строго сформулировал критерии управляемости и наблюдаемости, что стало революцией в теории управления.