Экспоненциальная фильтрация

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

В общем случае указанная задача формулируется как задача разложения сигнала в ряд

Экспоненциальная фильтрация - student2.ru , (2.1)

где Экспоненциальная фильтрация - student2.ru ‑ базисные функции;

Экспоненциальная фильтрация - student2.ru ‑ спектральные составляющие.

Ошибка разложения (2.1)

Экспоненциальная фильтрация - student2.ru . (2.2)

Определим экспоненциально-среднюю ошибку разложения (2.1)

Экспоненциальная фильтрация - student2.ru . (2.3)

Здесь параметр Экспоненциальная фильтрация - student2.ru играет роль показателя старения данных, обратная величина Экспоненциальная фильтрация - student2.ru имеет смысл постоянной времени фильтра первого порядка, на основе которого усредняется величина квадрата ошибки.

Ставится задача: определить неизвестные спектральные составляющие Экспоненциальная фильтрация - student2.ru сигнала Экспоненциальная фильтрация - student2.ru из условия минимума экспоненциально-средней квадратичной ошибки (2.3):

Экспоненциальная фильтрация - student2.ru .

Необходимые условия минимума квадратичной функции (2.3)

Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru 0, 1, 2, ..., Экспоненциальная фильтрация - student2.ru . (2.4)

Система соотношений (2.4) представляет собой систему линейных алгебраических уравнений относительно неизвестных Экспоненциальная фильтрация - student2.ru :

Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru 0, 1, 2, ..., Экспоненциальная фильтрация - student2.ru . (2.5)

Здесь Экспоненциальная фильтрация - student2.ru ‑ базовые корреляционные коэффициенты,

Экспоненциальная фильтрация - student2.ru ; Экспоненциальная фильтрация - student2.ru 0, 1, 2, . . . , Экспоненциальная фильтрация - student2.ru ; Экспоненциальная фильтрация - student2.ru 1, 2, ..., Экспоненциальная фильтрация - student2.ru . (2.6)

Величины Экспоненциальная фильтрация - student2.ru являются моментами Экспоненциальная фильтрация - student2.ru -го порядка сигнала Экспоненциальная фильтрация - student2.ru :

Экспоненциальная фильтрация - student2.ru ; Экспоненциальная фильтрация - student2.ru 1, 2, ..., Экспоненциальная фильтрация - student2.ru . (2.7)

Запишем уравнения (2.5) в матричном виде

Экспоненциальная фильтрация - student2.ru μ Экспоненциальная фильтрация - student2.ru , (2.8)

где

Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru , μ Экспоненциальная фильтрация - student2.ru Экспоненциальная фильтрация - student2.ru .

Формальное решение уравнения (2.5):

Экспоненциальная фильтрация - student2.ru μ Экспоненциальная фильтрация - student2.ru , (2.9)

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

Таким образом, оптимальный анализатор спектра характеризуется матрицей корреляционных коэффициентов Экспоненциальная фильтрация - student2.ru , определяемой выбранной системой базисных функций Экспоненциальная фильтрация - student2.ru . Процедура анализа состоит в вычислении моментов (2.7) анализируемого сигнала Экспоненциальная фильтрация - student2.ru с последующими вычислениями по формуле (2.9). Число анализируемых составляющих ‑ Экспоненциальная фильтрация - student2.ru , где Экспоненциальная фильтрация - student2.ru ‑ порядок анализатора.

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

Экспоненциальная фильтрация - student2.ru ,

формула анализатора (9) предельно упрощается:

Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru 1, 2, ..., Экспоненциальная фильтрация - student2.ru . (2.10)

_____________________________

Рассмотрим вариант построения анализатора спектра на основе степенных функций[1].

Предположим, что задано базисное множество степенных функций:

Экспоненциальная фильтрация - student2.ru 1, Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru , ..., Экспоненциальная фильтрация - student2.ru Экспоненциальная фильтрация - student2.ru . (2.11)

Для построения анализатора спектра необходимо вычислить корреляцонные коэффициенты базисных функций в соответствии с соотношениями (2.7):

Экспоненциальная фильтрация - student2.ru Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru . (2.12)

Далее, соответствующие моменты входного сигнала будут равны

Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru . (2.13)

Произведем замену переменных в соотношении (2.13):

Экспоненциальная фильтрация - student2.ru .

Тогда выражение моментов входного сигнала (2.13) может быть представлено в другом эквивалентном виде

Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru . (2.14)

Дифференцируя выражение (2.14) по времени Экспоненциальная фильтрация - student2.ru , получим систему дифференциальных уравнений

Экспоненциальная фильтрация - student2.ru (2.15)

Система дифференциальных уравнений (2.15) описывает фильтр, формирующий на своем выходе моменты Экспоненциальная фильтрация - student2.ru входного сигнала Экспоненциальная фильтрация - student2.ru . В совокупности соотношения (2.9), (2.12), (2.15) описывают работу анализатора спектра в базисе степенных функций. Структура анализатора спектра представлена на рис. 4.1.1.

Экспоненциальная фильтрация - student2.ru
μ Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru
Фμ
Экспоненциальная фильтрация - student2.ru
Рис. 4.1.1. Структура анализатора спектра.

Здесь Фμ – формирующий фильтр моментов входного сигнала, Экспоненциальная фильтрация - student2.ru ‑ обратная матрица коэффициентов корреляции.

Построим уравнения формирующего фильтра (2.15) в дискретном виде. С этой целью воспользуемся процедурой дискретизации дифференциальных уравнений по неявному методу Эйлера.

Как известно, неявный метод Эйлера основывается на следующем дискретном представлении дифференциальных уравнений:

Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru ,

(2.16)

где Экспоненциальная фильтрация - student2.ru ‑ шаг интегрирования.

С использованием соотношения (2.16) систему дифференциальных уравнений (2.15) можно преобразовать в систему разностных уравнений

Экспоненциальная фильтрация - student2.ru (2.17)

Система разностных уравнений (2.17) определяет дискретный формирующий фильтр ‑ анализатор спектра.

Рассмотрим статистическую интерпретацию построенного анализатора.

С этой целью обратим внимание, что произведение Экспоненциальная фильтрация - student2.ru в соотношениях (2.17) имеет смысл числа, обратного текущему числу статистических наблюдений:

Экспоненциальная фильтрация - student2.ru , (2.18)

где Экспоненциальная фильтрация - student2.ru ‑ постоянная времени фильтра,

Экспоненциальная фильтрация - student2.ru ‑ число статистических наблюдений, содержащихся в интервале времени, равном постоянной времени Экспоненциальная фильтрация - student2.ru , при дискретизации наблюдений с шагом Экспоненциальная фильтрация - student2.ru .

С учетом (2.18) первое уравнение системы (2.17) можно представить в виде

Экспоненциальная фильтрация - student2.ru . (2.19)

С другой стороны, текущее статистическое среднее величины Экспоненциальная фильтрация - student2.ru :

Экспоненциальная фильтрация - student2.ru , (2.20)

в рекуррентной форме совпадает с выражением (2.19):

Экспоненциальная фильтрация - student2.ru . (2.21)

Таким образом Экспоненциальная фильтрация - student2.ru . Аналогичные рассуждения можно провести и для остальных уравнений системы (2.17). В итоге можно показать, что анализатор спектра, построенный в соответствии с соотношениями (2.11), (2.12), (2.17), эквивалентен текущей аппроксимации процесса Экспоненциальная фильтрация - student2.ru полиномом:

Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru ; (2.22)

обычным методом наименьших квадратов.

Далее, можно показать, что построенный анализатор спектра эквивалентен наблюдателю переменных состояний динамической системы.

Действительно, рассмотрим текущее разложение сигнала Экспоненциальная фильтрация - student2.ru в ряд Тэйлора

Экспоненциальная фильтрация - student2.ru , (2.23)

где Экспоненциальная фильтрация - student2.ruЭкспоненциальная фильтрация - student2.ru -ая производная сигнала Экспоненциальная фильтрация - student2.ru .

Сравнение выражений (2.1), (2.11), и (2.23) позволяет определить равенства

Экспоненциальная фильтрация - student2.ru Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru

откуда

Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru . (2.24)

Известно, что вычисление производных выходных реакций системы служит одним из способов определения состояний динамической системы. Отсюда следует, что построенный анализатор спектра можно рассматривать также как наблюдатель состояния динамических систем. При этом для иных форм представления состояний динамической системы, например, в базисе собственных функций, форма анализатора спектра соответствующим способом также меняется. Здесь в качестве базисных функций анализатора необходимо использовать собственные функции линейной динамической системы.

________________________________

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

Например, при выработке сигнала управления, пропорционального величине, интегралу и производной ошибки (ПИД-закон регулирования), может быть использован анализатор спектра на основе экспоненциальной фильтрации в полиномиальном базисе. Построенный анализатор спектра можно использовать для построения ПИД регулятора в соответствии с соотношениями

Экспоненциальная фильтрация - student2.ru (2.21)

Здесь Экспоненциальная фильтрация - student2.ru ‑ интеграл текущей ошибки регулирования; Экспоненциальная фильтрация - student2.ru ‑ нулевая составляющая спектра ошибки, фактически ‑ значение ошибки после экспоненциального фильтра, Экспоненциальная фильтрация - student2.ru ‑ производная ошибки, вычисленная в экспоненциальном фильтре с обратным знаком, Экспоненциальная фильтрация - student2.ru – настраиваемые коэффициенты. Кроме того, к настраиваемым параметрам относится также постоянная времени экспоненциального фильтра Экспоненциальная фильтрация - student2.ru .

Аналогично рекуррентное соотношение для экстраполирующего регулятора будет иметь вид

Экспоненциальная фильтрация - student2.ru (2.22)

где Экспоненциальная фильтрация - student2.ru ‑ интервал экстраполяции. Здесь выражение при коэффициенте Экспоненциальная фильтрация - student2.ru представляет собой интеграл ошибки регулирования на текущем интервале экстраполяции [ Экспоненциальная фильтрация - student2.ru ].

В общем случае рекуррентное соотношение для регулятора будет иметь вид

Экспоненциальная фильтрация - student2.ru (2.23)

Наблюдатели состояния

Для построения управления на основе пространства состояний необходимо проводить оценку в реальном времени вектора состояния объекта управления. Этой цели служат специальные наблюдатели состояния динамических систем.

Для линейных динамических систем:

Экспоненциальная фильтрация - student2.ru , (2.24)

базовым является наблюдатель состояния

Экспоненциальная фильтрация - student2.ru , (2.25)

где Экспоненциальная фильтрация - student2.ru ‑ матрица коэффициентов наблюдателя.

Вычитая уравнение (2.25) из (2.24), получаем дифференциальное уравнение ошибки восстановления Экспоненциальная фильтрация - student2.ru :

Экспоненциальная фильтрация - student2.ru . (2.26)

Если матрица коэффициентов наблюдателя Экспоненциальная фильтрация - student2.ru подобрана таким образом, чтобы разность Экспоненциальная фильтрация - student2.ru имела собственные числа с отрицательными вещественными частями, то решение уравнения (2.26) будет асимптотически устойчивым и ошибка восстановления Экспоненциальная фильтрация - student2.ru будет стремиться к нулю. Соответствующим выбором матрицы Экспоненциальная фильтрация - student2.ru можно добиться также определенных качественных показателей переходного процесса Экспоненциальная фильтрация - student2.ru по ошибке восстановления.

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

Так, при случайных возмущениях и помехах решение задачи наблюдения по критерию минимума среднеквадратической ошибки на основе оптимального выбора матрицы коэффициентов наблюдателя Экспоненциальная фильтрация - student2.ru получено Р. Калманом[2]. В этом случае матрица коэффициентов усиления наблюдателя Экспоненциальная фильтрация - student2.ru определяемого по критерию минимума среднеквадратической ошибки наблюдения на фоне помех, определяется соотношением

Экспоненциальная фильтрация - student2.ru = Экспоненциальная фильтрация - student2.ru , (2.27)

где знакоопределенная положительная матрица Экспоненциальная фильтрация - student2.ru удовлетворяет уравнению

Экспоненциальная фильтрация - student2.ru . (2.28)

Здесь Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru ‑ матрицы корреляционных моментов (дисперсий) случайных процессов ‑ шумов при измерении выхода системы Экспоненциальная фильтрация - student2.ru и внешних возмущающих воздействий Экспоненциальная фильтрация - student2.ru соответственно. При соотношениях (2.27), (2.28) наблюдатель (2.25) называется фильтром Калмана.

Практическая реализация фильтра Калмана основывается на модификациях его структуры в зависимости от конкретных условиях решаемой задачи. Обзор методов построения фильтров Калмана приводится в работе[3].

Оптимальное управление

Постановка задачи

Рассмотрим постановку задачи оптимального управления.

Пусть задан многомерный объект управления, динамические процессы которого описываются уравнениями

Экспоненциальная фильтрация - student2.ru (1.1)

Здесь, как и выше, Экспоненциальная фильтрация - student2.ru ‑ вектор переменных состояния, Экспоненциальная фильтрация - student2.ru ‑ вектор управлений, Экспоненциальная фильтрация - student2.ru ‑ вектор входных возмущающих воздействий, Экспоненциальная фильтрация - student2.ru ‑ вектор выходных реакций.

Качество процессов управления в общем случае оценивается интегральным показателем, который может быть представлен как функционал потерь

Экспоненциальная фильтрация - student2.ru , (1.2)

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

Ставится задача: найти управление Экспоненциальная фильтрация - student2.ru динамическим объектом (1.1) из условия минимума интегрального функционала потерь (1.2).

Решение указанной задачи можно выполнить на основе двух подходов.

Первый подход основывается на двух этапах решения поставленной задачи. При этом на первом этапе, исходя из инженерного опыта, интуиции, знаний, определяется структура системы управления. На втором этапе осуществляется оптимизация управления в рамках заданной структуры.

Второй подход основывается на аналитической оптимизации самого управления Экспоненциальная фильтрация - student2.ru . В этом случае используется математический аппарат нахождения экстремума функционала (1.2) при наличии ограничений (1.1).

Рассмотрим в начале первый подход к решению задачи оптимизации управления.

Предположим, например, что структура системы управления задана в виде системы с отрицательной обратной связью, представленной нарис. 4.2.1.

ур
+
Δy
Экспоненциальная фильтрация - student2.ru
у
у
Δх
u
z
Экспоненциальная фильтрация - student2.ru u
x
Фн
К
f
Экспоненциальная фильтрация - student2.ru
g
Рис. 4.2.1. Структура системы управления по отклонению с наблюдателем

Здесь Фн – наблюдатель разности желаемого и текущего состояния объекта управления, построенный тем или иным способом. Будем полагать, что наблюдатель является линейной динамической системой. В силу линейности наблюдателя для него будут справедливы соотношения:

х = Фн(у), хр= Фнр),

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

Отсюда следует

Δх = хр– х.

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

Экспоненциальная фильтрация - student2.ru , (1.3)

где Экспоненциальная фильтрация - student2.ru ‑ расчетное состояние, Экспоненциальная фильтрация - student2.ru ‑ матрица коэффициентов, в общем случае нестационарных.

Подставляя (1.3) в (1.1), (1.2), получим соотношения для решения задачи оптимизации:

Экспоненциальная фильтрация - student2.ru (1.4)

Экспоненциальная фильтрация - student2.ru (1.5)

Одним из подходов к решению задачи (1.4), (1.5) является следующий.

Создается экспериментальная физическая модель либо вычислительная модель системы управления, состоящая из модели объекта управления (1.5), регулятора (1.3) и подсистемы вычисления функционала потерь качества управления (1.4). В итоге функционал потерь будет обычной функцией Экспоненциальная фильтрация - student2.ru многих переменных Экспоненциальная фильтрация - student2.ru , которые составляют матрицу коэффициентов Экспоненциальная фильтрация - student2.ru .

Задача (1.4) решается в общем случае итерационными методами. В качестве примера итерационных методов рассмотрим ниже основную идею градиентного метода поисковой оптимизации.

Пусть на Экспоненциальная фильтрация - student2.ru -ом шаге решения задачи определено некоторое значение матрицы Экспоненциальная фильтрация - student2.ru . На основе экспериментов с вычислительной моделью задачи (1.4), (1.5) строится линейная аппроксимация

Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru ; (1.6)

где Экспоненциальная фильтрация - student2.ru ‑ матрица коэффициентов аппроксимации.

Уточненное значение матрицы Экспоненциальная фильтрация - student2.ru на шаге Экспоненциальная фильтрация - student2.ru определяется соотношением

Экспоненциальная фильтрация - student2.ru , (1.7)

где Экспоненциальная фильтрация - student2.ru ‑ коэффициент релаксации.

Коэффициент релаксации Экспоненциальная фильтрация - student2.ru определяется из условия

Экспоненциальная фильтрация - student2.ru . (1.8)

Задача (1.8) представляет собой задачу минимизации функции Экспоненциальная фильтрация - student2.ru по одному параметру ‑ Экспоненциальная фильтрация - student2.ru . Такая задача решается достаточно просто. Для ее решения существуют эффективные алгоритмы, например, упорядоченного перебора вариантов.

В результате решения задачи (1.8) будет получено уточненное значение матрицы Экспоненциальная фильтрация - student2.ru и решение может быть итеративно продолжено.

Итерационный процесс решения задачи (1.4), (1.5) сходится при выполнении условия

Экспоненциальная фильтрация - student2.ru . (1.9)

Практическим условием сходимости является

Экспоненциальная фильтрация - student2.ru , (1.10)

где Экспоненциальная фильтрация - student2.ru ‑ достаточно малое положительное число.

В итоге будет получено решение задачи (1.4), (1.5).

_______________________________________________

Второй подход к решению задачи минимизации функционала (1.2) при ограничении (1.1) состоит ваналитическом определении оптимального управления Экспоненциальная фильтрация - student2.ru .

Решение поставленной задачи можно найти математическими методами, так как она представляет собой типовую задачу определения экстремума функционала при наличии ограничений.

Классический подход к нахождению экстремума функционала (1.2) при ограничении (1.1) является сведение задачи на условный экстремум к задаче нахождения безусловного экстремума на основе неопределенных множителей Лагранжа. Соответствующий функционал с множителями Лагранжа для интегральной составляющей функционала потерь:

Экспоненциальная фильтрация - student2.ru , (1.11)

здесь λ – вектор неопределенных множителей Лагранжа,

Экспоненциальная фильтрация - student2.ru ‑ скалярное произведение векторов.

Введем обозначение

Экспоненциальная фильтрация - student2.ru . (1.12)

Из вариационного исчисления[4] известно, что необходимые условия минимума функционала (1.12) определяются соотношениями

Экспоненциальная фильтрация - student2.ru , (1.13)

Экспоненциальная фильтрация - student2.ru , (1.14)

Экспоненциальная фильтрация - student2.ru . (1.15)

Уравнения (1.13) ‑ (1.15) представляют собой уравнения Эйлера, определяющие необходимые условия минимума функционала Лагранжа (1.11). Здесь Экспоненциальная фильтрация - student2.ru ‑ градиент скалярной функции по векторной переменной (т. е. вектор частных производных).

Уравнение (1.13) определяет необходимые условия минимума функционала (1.11) при незакрепленных граничных условиях. При задании конечных условий данные уравнения дополняются соотношениями

Экспоненциальная фильтрация - student2.ru

или

Экспоненциальная фильтрация - student2.ru . (1.16)

Уравнения (1.13)‑( 1.16) представляют собой исходные уравнения для аналитического решения задач оптимального управления.

При решении задач оптимального управления уравнения Эйлера часто записываются в форме, аналогичной уравнениям Гамильтона в аналитической механике. Это выполняется путем определения соответствующей функции Экспоненциальная фильтрация - student2.ru аналогично так называемому гамильтониану

Экспоненциальная фильтрация - student2.ru . (1.17)

Здесь вектор Экспоненциальная фильтрация - student2.ru отличается от вектора множителей Лагранжа в уравнении (12) тем, что имеет нулевую составляющую равную единице: Экспоненциальная фильтрация - student2.ru . Подобным образом векторное представление Экспоненциальная фильтрация - student2.ru в уравнении (1.17) отличается от соответствующего векторного представления правых частей уравнений динамики объекта тем, что имеет нулевую составляющую, равную подынтегральному выражению Экспоненциальная фильтрация - student2.ru , функционала (1.17):

Экспоненциальная фильтрация - student2.ru .

Таким образом, вектора Экспоненциальная фильтрация - student2.ru теперь являются расширенными на нулевую составляющую и имеют размерность Экспоненциальная фильтрация - student2.ru .

В связи с изложенным первое необходимое условие оптимальности в случае «незакрепленных» конечных условий для переменных состояния можно записать посредством Экспоненциальная фильтрация - student2.ru в виде

Экспоненциальная фильтрация - student2.ru , (1.18)

Экспоненциальная фильтрация - student2.ru , (1.19)

Экспоненциальная фильтрация - student2.ru . (1.20)

при граничных условиях Экспоненциальная фильтрация - student2.ru и Экспоненциальная фильтрация - student2.ru . При задании конечных условий для Экспоненциальная фильтрация - student2.ru последнее граничное условие заменяется: Экспоненциальная фильтрация - student2.ru .

Уравнения (1.18)‑( 1.20) называются уравнениями Эйлера-Гамильтона в канонической форме. Решение указанных уравнений позволяет найти управляющее воздействие Экспоненциальная фильтрация - student2.ru , которое минимизирует функционал потерь.

Интерпретация постановки задачи оптимизации в терминах аналитической механики следующая. Гамильтониан Экспоненциальная фильтрация - student2.ru характеризует полную энергию механической системы, а Экспоненциальная фильтрация - student2.ru и Экспоненциальная фильтрация - student2.ru аналогичны соответственно моменту и обобщенным координатам. Так как Экспоненциальная фильтрация - student2.ru представляет полную энергию системы, Экспоненциальная фильтрация - student2.ru следует выбирать из условия минимума (максимума) в каждый момент времени функции Экспоненциальная фильтрация - student2.ru . Это условие дает уравнение (1.19). Уравнения (1.18), (1.19) представляют собой уравнения движения системы в аналитической механике Гамильтона.

Понтрягиным Л.С.[5] в терминах уравнений аналитической механики была дана постановка задачи оптимального управления, которая сводит задачу к оптимизации некоторой координаты. В соответствии с принципом оптимальности Понтрягина, вводится нулевая координата

Экспоненциальная фильтрация - student2.ru ,

так что Экспоненциальная фильтрация - student2.ru . Оптимизация Экспоненциальная фильтрация - student2.ru в момент времени Экспоненциальная фильтрация - student2.ru соответствует оптимизации показателя потерь (качества), так как

Экспоненциальная фильтрация - student2.ru ,

что соответствует оптимизации исходного функционала потерь (качества).

Третий вариант аналитического решения поставленной задачи дает принцип оптимальности Беллмана[6].

В этом случае формулируется так называемая функция Беллмана

Экспоненциальная фильтрация - student2.ru (1.21)

Функция Беллмана представляет собой показатель потерь, минимизированный выбором оптимального вектора управления на произвольном интервале времени Экспоненциальная фильтрация - student2.ru . Функция Экспоненциальная фильтрация - student2.ru , являющаяся решением уравнений

Экспоненциальная фильтрация - student2.ru (1.22)

на интервале Экспоненциальная фильтрация - student2.ru , определяется ее начальным состоянием Экспоненциальная фильтрация - student2.ru и управлением Экспоненциальная фильтрация - student2.ru при Экспоненциальная фильтрация - student2.ru . Поскольку оптимальное управление минимизирует функционал потерь, то устраняется зависимость правой части (1.21) от вектора управления Экспоненциальная фильтрация - student2.ru , тем самым функция Беллмана зависит только от аргументов Экспоненциальная фильтрация - student2.ru и Экспоненциальная фильтрация - student2.ru . При этом обратим внимание, что при Экспоненциальная фильтрация - student2.ru функция Беллмана будет иметь значение

Экспоненциальная фильтрация - student2.ru (1.23)

Представим (1.21) в виде

Экспоненциальная фильтрация - student2.ru (1.24)

Согласно принципу оптимальности Беллмана управление на каждом из последующих участков времени должно быть оптимальным независимо от состояния системы на предыдущих интервалах, т.е. при оптимально управлении функционал потерь должен быть минимальным и на участке Экспоненциальная фильтрация - student2.ru . Это порождает рекуррентное соотношение для функции Беллмана, записанной в виде (1.24). Принимая условие, что отрезок времени Экспоненциальная фильтрация - student2.ru достаточно мал, можно на основе эквивалентных математических преобразований и предельных переходов получить уравнение для функции Беллмана

Экспоненциальная фильтрация - student2.ru , (1.25)

имеющее граничное условие (1.23). Решая уравнение (1.25), можно определить оптимальное управление, которое минимизирует функционал потерь.

Особенность рассмотренных аналитических подходов (1.21)‑( 1.25) состоит в том, что здесь постановки задач оптимального управления не содержат в качестве исходного требования отрицательной обратной связи по выходу объекта. Это связано с тем, что исходной базовой схемой управления здесь является не структурная схема с отрицательной обратной связью, принятая в инженерной практике, а теоретическая схема решения экстремальных задач с ограничениями, принятая в вариационном исчислении. Вследствие этого задачи оптимального управления здесь ориентированы на поиск прямого управления объектом без обратной связи. Решения задач управления с обратной связью здесь получаются лишь в случае, если удается в явном виде выразить зависимость управления от состояния объекта. Однако подобные решения могут оказаться непрактичными.

Типовые задачи

10. Оптимальные линейные задачи

Предположим, что поведение объекта управления описывается уравнениями

Экспоненциальная фильтрация - student2.ru , (2.1.1)

показатель потерь

Экспоненциальная фильтрация - student2.ru ,

где

Экспоненциальная фильтрация - student2.ru . (2.1.2)

Здесь Экспоненциальная фильтрация - student2.ru ‑ желаемое поведение системы; Экспоненциальная фильтрация - student2.ru ‑ симметричные положительно-определенные матрицы, характеризующие веса предпочтений по минимизации ошибки движения системы Экспоненциальная фильтрация - student2.ru и ее состояния Экспоненциальная фильтрация - student2.ru ; Экспоненциальная фильтрация - student2.ru ‑ симметричная положительно-определенная матрица весовых коэффициентов, ограничивающих мощность управления.

В соответствии с уравнением (2.17)

Экспоненциальная фильтрация - student2.ru . (2.1.3)

Из второго уравнения (2.19) имеем Экспоненциальная фильтрация - student2.ru . Тогда

Экспоненциальная фильтрация - student2.ru . (2.1.4)

Выражение для оптимального управления (2.1.4) записано для вектора Экспоненциальная фильтрация - student2.ru . Необходимо выразить управление через вектор состояния Экспоненциальная фильтрация - student2.ru .

Согласно уравнению (1.18) Экспоненциальная фильтрация - student2.ru . Из уравнения (2.1.1) после подстановки уравнения (2.1.4) имеем Экспоненциальная фильтрация - student2.ru . Последние два уравнения можно переписать в виде

Экспоненциальная фильтрация - student2.ru . (2.1.5)

Уравнение (2.1.5) состоит из Экспоненциальная фильтрация - student2.ru линейных дифференциальных уравнений первого порядка, содержащих Экспоненциальная фильтрация - student2.ru неизвестных Экспоненциальная фильтрация - student2.ru ; Экспоненциальная фильтрация - student2.ru . Они подчинены Экспоненциальная фильтрация - student2.ru граничным условиям при Экспоненциальная фильтрация - student2.ru : Экспоненциальная фильтрация - student2.ru = Экспоненциальная фильтрация - student2.ru , а также Экспоненциальная фильтрация - student2.ru граничным условиям на конце интервала времени: либо Экспоненциальная фильтрация - student2.ru , либо Экспоненциальная фильтрация - student2.ru в зависимости от постановки задачи. Решение уравнения (2.1.5) позволяет получить оптимальное управление Экспоненциальная фильтрация - student2.ru в интервале времени Экспоненциальная фильтрация - student2.ru .

Решение уравнения (2.1.5) невозможно осуществлять в реальном времени, так как оно зависит от граничных условий в двух точках: начальной и конечной. Более того, оптимальное управление зависит от значений вектора состояния, которые в соответствии с уравнением (2.1.5) необходимо знать с упреждением. Подобное управление физически нереализуемо. Поэтому данное решение следует рассматривать как решение задачи планирования управления. Полученный план оптимального управления в дальнейшем можно использовать для разомкнутого управления реальным объектом либо использовать стратегию модельно-упреждающего управления.

Рассмотрим вопрос разделения двухточечной краевой задачи, которую представляет собой задача (2.1.5) в две одноточечные задачи, из которых одна решается в реальном времени, а вторая с упреждением во времени[7].

С этой целью введем линейную связь между векторами Экспоненциальная фильтрация - student2.ru и Экспоненциальная фильтрация - student2.ru , обусловленную уравнением (2.1.5)

Экспоненциальная фильтрация - student2.ru , (2.1.6)

где Экспоненциальная фильтрация - student2.ru ‑ квадратная матрица коэффициентов усиления, в общем случае переменных; Экспоненциальная фильтрация - student2.ru ‑ переменный вектор.

Подстановка соотношения (2.1.6) во второе уравнение (2.1.5) дает

Экспоненциальная фильтрация - student2.ru .

Далее, подстановка Экспоненциальная фильтрация - student2.ru из первого уравнения (2.1.5) с учетом соотношения (2.1.6) приводит к уравнению

Экспоненциальная фильтрация - student2.ru .

Так как это выражение должно выполняться для всевозможных Экспоненциальная фильтрация - student2.ru , то условием этого служат уравнения

Экспоненциальная фильтрация - student2.ru (2.1.7)

Здесь первое уравнение представляет систему нелинейных дифференциальных уравнений первого порядка типа Риккати. Второе уравнение (2.1.7) является системой линейных дифференциальных уравнений первого порядка, сопряженной к уравнениям системы, замкнутой по управлению. В случае отсутствия ограничений на Экспоненциальная фильтрация - student2.ru в конечной точке Экспоненциальная фильтрация - student2.ru краевое условие принимается Экспоненциальная фильтрация - student2.ru . Тогда граничные условия, накладываемые на Экспоненциальная фильтрация - student2.ru и Экспоненциальная фильтрация - student2.ru в соответствии с уравнением (2.1.6), состоят в равенстве нулю элементов Экспоненциальная фильтрация - student2.ru и Экспоненциальная фильтрация - student2.ru в конечной точке Экспоненциальная фильтрация - student2.ru .

Определив Экспоненциальная фильтрация - student2.ru и Экспоненциальная фильтрация - student2.ru , можно получить закон управления оптимальной системы в результате подстановки уравнения (2.1.6) в уравнение (2.1.4):

Экспоненциальная фильтрация - student2.ru . (2.1.8)

Преобразуем полученную систему управления к типовому виду системы управления с обратной связью.

С этой целью произведем замену переменных во втором уравнении (2.1.7)

Экспоненциальная фильтрация - student2.ru , (2.1.9)

где Экспоненциальная фильтрация - student2.ru ‑ расчетное значение вектора состояния Экспоненциальная фильтрация - student2.ru .

При заданном Экспоненциальная фильтрация - student2.ru соотношение (2.1.9) представляет собой систему линейных алгебраических уравнений. Если определитель системы уравнений (2.1.9) отличен от нуля, то система уравнений имеет однозначное решение

Экспоненциальная фильтрация - student2.ru . (2.1.10)

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

При определенных Экспоненциальная фильтрация - student2.ru и Экспоненциальная фильтрация - student2.ru закон управления оптимальной системы получается в результате подстановки соотношения (2.1.9) в (2.1.8):

Экспоненциальная фильтрация - student2.ru . (2.1.11)

На рис. 4.2.2 представлена структура полученной оптимальной системы управления.

+ +
+ Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru
Экспоненциальная фильтрация - student2.ru
Оптимальное планирование
Оптимальный регулятор
Объект управления
Рис. 4.2.2. Структура оптимальной системы управления

Интерпретация построенной структуры оптимальной системы управления следующая.

При решении задачи оптимального управления на стадии оптимального планирования осуществляется расчет матрицы коэффициентов усиления Экспоненциальная фильтрация - student2.ru и расчетного вектора состояний Экспоненциальная фильтрация - student2.ru . Оптимальное планирование сводится к решению краевых задач (2.1.10) в обратном времени от Экспоненциальная фильтрация - student2.ru к Экспоненциальная фильтрация - student2.ru при заданных конечных условиях.

После того как получены оптимальная матрица коэффициентов усиления Экспоненциальная фильтрация - student2.ru и расчетный вектор состояний Экспоненциальная фильтрация - student2.ru , в реальном времени «вперед» от Экспоненциальная фильтрация - student2.ru к Экспоненциальная фильтрация - student2.ru решается задача оптимального регулирования состояния объекта управления с обратной связью по ошибке регулирования.

Таким образом, задача оптимального управления распадается на две последовательные стадии решения задачи: оптимального планирования и оптимального регулирования. Отметим, что полученный здесь формальный результат находится в полном соответствии с общей логикой решения задач системными методами: планирование операции (L2) и реализация операции (L3), если под операцией здесь понимать операцию по управлению объектом. Как и в общем случае, планирование операции управления здесь осуществляется в обратном времени, реализация операции – в реальном времени.

20. Решение линейных задач методом динамического программирования

Рассмотрим синтез терминального управления линейным объектом

Экспоненциальная фильтрация - student2.ru , (2.2.1)

где Экспоненциальная фильтрация - student2.ru ‑ вектор состояния, Экспоненциальная фильтрация - student2.ru ‑ вектор управления, Экспоненциальная фильтрация - student2.ru ‑ вектор возмущений; Экспоненциальная фильтрация - student2.ru ‑ соответствующие матрицы коэффициентов, в общем случае переменных во времени.

Функционал потерь рассматриваемой задачи имеет вид

Экспоненциальная фильтрация - student2.ru (2.2.2)

На основе общего уравнения для функции Беллмана (1.25) с использованием соотношений (2.2.1), (2.2.2) получим уравнение для функции Беллмана в рассматриваемом случае

Экспоненциальная фильтрация - student2.ru (2.2.3)

Вынесем за знак операции минимума члены, не зависящие от Экспоненциальная фильтрация - student2.ru :

Экспоненциальная фильтрация - student2.ru (2.2.4)

Поскольку Экспоненциальная фильтрация - student2.ru не содержится в первых двух слагаемых, минимум рассматриваемого выражения можно отыскать, продифференцировав последнее слагаемое по вектору Экспоненциальная фильтрация - student2.ru и приравняв нулю результат дифференцирования. Тогда

Экспоненциальная фильтрация - student2.ru ,

где

Экспоненциальная фильтрация - student2.ru (2.2.5)

представляет собой вектор оптимального управления.

Подставляя вектор оптимального управления в выражение функции Беллмана (2.2.4), получим

Экспоненциальная фильтрация - student2.ru (2.2.6)

Решение уравнения (2.2.6) ищется в классе квадратичных форм

Экспоненциальная фильтрация - student2.ru , (2.2.7)

где Экспоненциальная фильтрация - student2.ru ‑ симметричная матрица коэффициентов, Экспоненциальная фильтрация - student2.ru ‑ вектор-функция, Экспоненциальная фильтрация - student2.ru ‑ скалярная функция.

Из (2.2.7) следует

Экспоненциальная фильтрация - student2.ru . (2.2.8)

Подстановка квадратичной формы (2.2.7) в выражение (2.2.6) позволяет получить уравнения относительно неизвестных Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru :

Экспоненциальная фильтрация - student2.ru ; (2.2.9)

Экспоненциальная фильтрация - student2.ru . (2.2.10)

Граничные условия для уравнений (2.2.9), (2.2.10) можно получить на основании общего требования к граничным условиям функции Беллмана (1.23). Из (1.23) и (2.2.2) получаем

Экспоненциальная фильтрация - student2.ru . (2.2.11)

Сравнивая при Экспоненциальная фильтрация - student2.ru выражения (2.2.7), (2.2.11), получим

Экспоненциальная фильтрация - student2.ru ; (2.2.12)

Экспоненциальная фильтрация - student2.ru . (2.2.13)

С учетом (2.2.5) и (2.2.8) вектор оптимального управления для линейного объекта (2.2.1) при наличии измеряемых возмущений Экспоненциальная фильтрация - student2.ru представляется в виде

Экспоненциальная фильтрация - student2.ru . (2.2.14)

Здесь Экспоненциальная фильтрация - student2.ru и Экспоненциальная фильтрация - student2.ru определяются уравнениями (2.2.9), (2.2.10).

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

Экспоненциальная фильтрация - student2.ru . (2.2.15)

С учетом (2.2.15) оптимальное управление будет иметь вид

Экспоненциальная фильтрация - student2.ru . (2.2.16)

Рассмотрим вопрос устойчивости оптимальной системы.

С этой целью определим полную производную функции Беллмана по времени

Экспоненциальная фильтрация - student2.ru . (2.2.17)

Обратимся к уравнению (2.2.3). Если Экспоненциальная фильтрация - student2.ru , Экспоненциальная фильтрация - student2.ru ‑ соответственно оптимальные управляющие воздействия и отвечающие им траектории координат объекта, то это уравнение можно представить в виде

Экспоненциальная фильтрация - student2.ru (2.2.18)

Подставляя (2.2.18) в (2.2.17) получим

Экспоненциальная фильтрация - student2.ru . (2.2.19)

Так как Экспоненциальная фильтрация - student2.ru ‑ положительно определенная квадратичная форма, следовательно, Экспоненциальная фильтрация - student2.ru ‑ отрицательно определенная квадратичная форма. Поэтому функция V стремится с течением времени к минимуму. Данное условие является условием асимптотической устойчивости замкнутой системы управления. При этом функция Экспоненциальная фильтрация - student2.ru выступает здесь как функция Ляпунова, которая лежит в основе метода Ляпунова оценки устойчивости динамических систем.

30. Структура оптимального регулятора

Рассмотренные выше оптимальные законы управления линейным объектом построены на знании вектора состояния объекта. Однако в действительности вектор состояния непосредственно не наблюдаем, поэтому необходимо использовать специальные устройства – наблюдатели состояния, которые восстанавливают состояние объекта по результатам наблюдения. Таким образом, конструкция регулятора состоит из собственно регулятора + наблюдатель состояния.

Для построенной указанным образом системы регулирования справедливо следующее[8].

Пусть даны уравнения объекта, уравнение системы оценки его состояния и закон управления

Экспоненциальная фильтрация - student2.ru (2.3.1)

Тогда характеристический многочлен Экспоненциальная фильтрация - student2.ru замкнутой системы регулирования (2.3.1) в целом удовлетворяет уравнению

Экспоненциальная фильтрация - student2.ru . (2.3.2)

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

Экспоненциальная фильтрация - student2.ru (2.3.3)

Характеристический многочлен Экспоненциальная фильтрация - student2.ru является характеристическим многочленом матрицы, представляющей уравнения (2.3.3)

Экспоненциальная фильтрация - student2.ru . (2.3.4)

Наши рекомендации