Файл: Ларин В.Б. Синтез оптимальных линейных систем с обратной связью.pdf

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

Многие задачи теории дифференциальных игр по по­ становке близки к задачам синтеза оптимальных систем с обратной связью в теории автоматического регулирования. По-видимому, в связи с этим вариационные методы, эффек­ тивные при решении задач синтеза, оказываются эффектив­ ными II при решении соответствующих (близких по поста­ новке) задач теории дифференциальных игр. Действительно, математический аппарат классического вариационного ис­ числения (уравнения Эйлера—Лагранжа) позволил решить как задачу аналитического конструирования регуляторов [18], так и задачу линейной дифференциальной игры пре­ следования — уклонения [33]. Современные вариацион­ ные методы, связанные с именем Л. С. Понтрягина, Р. Велл­ мана, Н. Н. Красовского, возникшие при решении ряда задач автоматического управления, успешно используются и при решении соответствующих задач дифференциальных игр. Можно надеяться, что и изложенные выше вариацион­ ные методы синтеза, математическим аппаратом которых являются уравнения Винера-Хопфа, окажутся полезны­ ми при решении некоторых задач теории дифференциаль­ ных игр.

121

§ 1. « К О Н Ф Л И К ТН Ы Е С И ТУ А Ц И И » В З А Д А Ч Е А Н А ­

Л И ТИ Ч Е С К О ГО К О Н С ТР У И Р О В А Н И Я Р Е ГУ Л Я ­ ТО Р О В

При решении задач синтеза линейных систем с обратной связью в предыдущих главах, как и в [11, 18], предпола­ галось, что квадратичная форма функционала качества является определенно положительной. Однако можно ука­ зать класс задач, в которых это предположение не реали­ зуется [31]. Для иллюстрации этого утверждения иссле­

достигал минимума (наилучший регулятор их = Д (х)) или максимума (наихудший регулятор и2 = /2 (х)) при

Сформулированная изопериметрическая задача сводится к исследованию стационарной точки функционала

122

Экстремальные значения функционала (5.2), согласно (5.8), определятся равенством

(5.11)

т. е.

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

ь + К ■X, щ = b + Äm in -X.

123

Покажем, что %> О, если управление и минимизирует функционал (5.2), и К < 0, если и максимизирует этот функ­ ционал.

Известно [2], что Л = — а, согласно (5.11),

Следовательно, если управление и, стесненное изопериметрическим ограничением (5.4), минимизирует функцио­

в (5.5) является определенно положительной, при макси­ мизации — де является определенно положительной.

К аналогичному выводу можно прийти и в более общем случае, когда движение системы происходит под действием нескольких управлений, стесненных ограничениями типа (5.4), причем одни управления стремятся минимизировать, а другие — максимизировать функционал типа (5.2). Этот случай можно трактовать как дифференциальную игру двух игроков, один из которых стремится минимизировать, а дру­ гой — максимизировать функционал типа (5.2). Решение подобных задач сводится к исследованию стационарных то­ чек функционала типа (5.5), в котором квадратичная форма не является определенно положительной из-за наличия от­ рицательных множителей Лагранжа.

Отметим, что в предыдущих главах решение задач син­ теза оптимальных регуляторов также сводилось к отыска­

124

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

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

+ л*і«і + 'Фі. Г

(5.13)

х2 = А2х2 + М2и2+ ф2. I

Размерности векторов л^, х2, их и и2 равны пх, п2, тх и т2 соответственно, и ф2 — пх- и п2-мерные стационарные случайные процессы (внешние возмущения) с нулевыми ма­ тематическими ожиданиями и дробно-рациональными мат­ рицами спектральных плотностей S u (со) и 52а (со), Ах, А2, Мх и М2 — постоянные матрицы пх X пх, п2 х п2, пх х тх и п2 X /По соответственно. Задача заключается в определении законов управления

их = Wxx,

(5.14)

и2 = W2x

(х — [х'і, х2У) таких, чтобы динамическая система, описы­ ваемая уравнениями (5.13), (5.14), была физически1

1 Здесь и далее дифференциальные уравнения, описывающие дви­ жение системы, записываются в канонической форме. Это позволяет отож­ дествить решение задачи синтеза для системы (5.13), когда % — слу­ чайные возмущения с постоянной спектральной плотностью, с решением детерминированной (ф; = 0) задачи синтеза при ненулевых начальных условиях (см. гл. 2).

125

реализуема1, причем в установившемся режиме первый игрок стремится минимизировать, а второй — максимизировать функционал

т. е. е0 — среднеквадратическая взвешенная разность между первыми п0 координатами объектов.

Сформулированная задача сводится к исследованию ста­

(Aj и Л2 — диагональные матрицы, элементы которых —

-множители Лагранжа, причем все элементы матрицы Ах неотрицательны, а Л2 — неположительны) на классе физи­ чески реализуемых динамических систем.

Введем обозначения и = [нь и2У, Ф = [фь Ф^', ti = пх

+ П2,

Тогда уравнения (5.13), (5.14) и функционал (5.16) за­ пишутся так:

1 Под физической реализуемостью линейной системы, как и ранее, понимается равенство нулю ее весовой функции при t < 0. Примени­

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

126