Оптимизация динамических систем с краевыми условиями тема диссертации и автореферата по ВАК РФ 01.00.00, кандидат физико-математических наук Васильева, Ольга Олеговна

• Васильева, Ольга Олеговна
• кандидат физико-математических наук
• 1997

Оглавление диссертации кандидат физико-математических наук Васильева, Ольга Олеговна

1 Введение

2 Краевая задача. Существование решения и численные методы интегрирования

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

2.2 Условие разрешимости линейной краевой задачи.

2.3 Аналог формулы Коши.

2.4 Методы численного интегрирования для нелинейных краевых задач

2.4.1 Алгоритм первого порядка.

2.4.2 Алгоритм второго порядка.

3 Необходимые условия оптимальности в управляемом динамическом процессе с краевыми условиями

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

3.2 Формула приращения целевого функционала первого порядка.

3.3 Принцип максимума.

3.4 Доказательство принципа максимума.

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

4.1 Метод последовательных приближений.

4.2 Одна модификация метода последовательных приближений.

4.3 Двухиараметрический итерационный процесс.

4.4 Численные и наглядные примеры.

5 Особые управления

5.1 Предварительные результаты.

5.2 Формула приращения целевого функционала второго порядка.

5.3 Вариация второго порядка и критерий оптимальности для особых управлений

5.4 Применение критерия оптимальности второго порядка.

6 Метод квадратичной аппроксимации в задачах управления с краевыми условиями

6.1 Линейно-квадратичная задача.

6.2 Линейно-квадратичная задача переменной структуры.

6.3 Практический пример.

Введение диссертации (часть автореферата) на тему «Оптимизация динамических систем с краевыми условиями»

в каждом разделе науки и техники существуют управляемые системы, т.е. такие системы, которые можно заставить вести себя но разному в зависимости от воли оператора.Каждый раз, когда операто]) системы прини.мает решение, т.е. выбирает распределение параметров, которые управляют системой, он производит изменение в распределении состоящей, в которых пребывает система и, следовательно, изменяет конечное состояние.Поэтому, возникает естественный вопрос: среди всех допустимых управлений конкретно какое управление приведет систему в определенное состояние? Например, какое управление мини.\шзирует разницу между конечным и начальным значением произвольной функции, зависящей от состояния систе.мы. Область пауки, исследующая такого типа задачи, называется теорией оптимального управления.Мате.матическая теория оптимального управления начала развиваться пятьдесят лет назад как специальный раздел в рамках предмета дифференииальные уравнения. Оптимальное управление берет свои истоки в вариационном исчислении 17 века (Ферма, Ньютон, Лейбниц и братья Бериулли). Оно имеет дело с нахождением функций, которые минилщзируют целевой функционал, подчиненный системе дифферепциальпых уравнений.Вариационное исчисление также имеет дело с функциями более чем одной переменной и используется для постулирования вариациоппых принципов в физике.Метод Эйлера, метод множителей Лагранжа, и их комбинированное необходимое условие первого порядка для стационарного решения (известное как уравнение Эйлера-Лагранжа) дали толчок для дальнейшего развития вариациоипого исчисления в 19 веке Лежанлром, Якоби, Га.\П1льтоном и Всйерп1трассом. В начале 20 века Больца и Блисс дали вариационному исчислению его современную строгую математическую структуру [16, 18, 19, 22, 33, 51].Динамическое программирование как продолжение и новый взгляд на теорию Галпшьтона-Якоби было разработано Р. Беллманом и его коллегами начиная с 1950-х годов. [11, 12, 13]. Оно имеет дело с семействами экстремальных траекторий, удовлетворяюПН1Х конкретным конечным условиям. Оптимальная функция возврата определялась как величина целевого функционала, начинающегося в текущем состоянии и \юментс времени и приближающегося оптимально к заданным конечным условиям. Так как функция управления здесь представляется в виде обратной связи па текущее состояние и момент времени, динамическое программирование часто определяется как нелинейное оптимальное управление по обратной связи. Беллман распространил теорию Гамильтона-Якоби на дискретные динамические системы и комбинаторные системы. Частные производные оптимальной функции возврата но переменным состояния идентичны множителям Лагранжа, поэтому вывод уравнений Эйлера-Лагранжа может быть сделан очень просто с использованием метода дипалтческого програмлтрованпя [22].Очень редко имеется возможность решить уравнения в частных производных Гамильтона-Якоби-Белл.мана для нелинейной системы, имеющей какое-либо практическое значение, поэтому развитие явных управляемых схем обратной связи для нелинейных систем обычно недостижимо. Однако, если пространство состояний ограничено областью, б.'шзкой к оптимальной траектории, задача динамического нрограм.чшрования люжет хорошо аппроксимироваться линейной квадратичной задачей, т.е. задачей с линейной диналшкой и квадратичным целевым функционалом [1, 19, 23, 25, 36, 37, 50].Принцип максимума представляет собой o6o6meinie необходимых условий Эйлера-Лагранжа и Вейерштрасса на случай, когда функции управления ограгшчены [33]. Он был разработан Л.С. Понтрягиным и его школой в СССР [6-1]. В терминологии оптимального управления этот принцип утверждает, что мщщмизирующая траектория должна удовлетворять уравнениям Эйлера-Лагранжа, где функция управления MaKcnNni3HpycT гамильтониан в пределах своей ограниченной области в каждой точке вдоль траектории. Таким образом, задача вариационного исчисления трансфорлшруется в задачу нелинейного программирования в каждой точке вдоль траектории.Принцип максимума оперирует одной экстремалью в конкретный люмент времени, тогда как динамическое программирование оперирует семействами экстремалей. Принцип максимума является неотъемлемой частые динамического программирования, так как решение уравнений Га.\н1льтона-Якоби-Беллмана включает также нахождение управлений (по возможности ограниченных), которые максимизируют гамильтониан в каждой точке пространства состоя1нп'1.Первоначально доказанный для линейных задач быстродействия, принцип максиму.ма был получен в обще.м линейном случае В.Г. Болтянским в [17]. Введение игольчатых вариаций и применение теоремы отделилюсти для выпуклых множеств гюзволило преодолеть трудности, связанные с замкнутостью области управлений. Аналогичный подход был использован Р.В. Гамкрелидзс, чтобы доказать принцип максимума для задач с фазовтлми ограничениями по состоянию [31, 32]. С тех пор больнюе число публикаций, посвященных принципу максимума и его различным приложениям, изданы и издаются, и круг задач, ренше.мых этим методом, расширяется каждый год.Однако, принцип максимума Понтрягина не даст никакой информации об особых оптимальных управлениях, т.е. он не может определить особое экстремальное управление в терминах фазовой, сопряженной и независимой переменных. Хотя некоторые обобщения необходимых условий оптимальности, как и некоторые методы численного решения особых задач были найдены, точное решение все еще вызывает сложности. Первоначальный вклад был сделан Л.И. Розоноером, А. Миэлс, Г. Келли и соавторами в [45, СО, G6] которые ввели новый тип вариаций вместо игольчатой вариации, используе.мой Л.С. Поитрягиным. Дальнейшее обобщение необходимых условий оптимальности особых управлений, соировождае.\юе численными методами решения появилось в [9, 10, 19, 20, 26, 27, 28, 29, 30, 42, 46, 58].Первые практические задачи оптимального управления были связаны с оптимизацией нелинейных динамических систем для авиастроения, создания космических аппаратов и роботов. Какова должна быть реактивная тяга, чтобы ракета с заданной .массой топлива достигла максимальной высоты? Так как эта конкретная задача сегодня всесторонне исследована, ее можно использовать, чтобы наглядно продемонстрировать цель данной диссертации.Рассмотрим вертикальный взлет ракстрл (Fig. 1.0.1). Пусть t = to - вре.мя старта, Xi{t) - вертикальная координата, т.е. высота ракеты в каждый момент времени t > to.Для процесса с фиксированной продолжительностью f 6 Т" = [fo, ^i], естественно ввести ограничение хг{и) > то , . (1.0.4) которое подразумевает, что масса топлива, на борту не должна опускаться ниже массы оболочки ракеты. Если m > a{ti — to), ограничением (1,0.4) можно пренебречь.В зависимости от различных целей управления можно сформулировать различные типы задач оптимального управления. Три задачи,- лриведенные ниже, общепризнанны основными.1. Предположим, что ограничением (1.0.4) можно пренебречь. В течение определенного времени ti — to, какова должна быть сила реактивной тяги, чтобы ракета достигала максимальной высоты? В терминах целевого функционала J{u) = xi{ti) -> max, u{t)GU; (1.0.5) или, например, при каком выборе управления ракета сможет достичь определенной высоты h в момент времени ti, затратив при этом наименьшее количество топлива? В этом случае J (и) = Piix i{ti) - h)^ + Р2 f \{t)dt-^ mm, u{t)eU, (1.0.6) •'to где Pi, P2 - определенные приоритетные коэффициенты.Это задача с ограниченны.м управлением (1.0.1) и неограниченным состояние.м, поэтому ее иногда называют задачей со свободным правым концом.2. Предположим, что ограничение (1.0.4) существенно. Тогда для ракеты достичь максимальной высоты математически означает J{u) = x{ti) -> max, u{t) € U, X3{ti) > niQ. (1.0.7) Задачи (1.0.5) и (1.0.7) не являются одинаковыми. Также ясно, что в задаче (1.0.7) ограничение типа неравенства (1.0.4) фактически может быть за.менено на ограничение-равенство xsiti) = riio, так как естественно рассматривать, что все топливо будет истрачено к моменту времени ij .Эта задача называется задачей оптимального управления с фазовыми ограничениями, потому что и управление, и состояние здесь ограничены.Используя метод П1трафных функций, задачу (1.0.7) можно свести к ряду задач со свободным правым концом: Jk{u) = -xi{tx) -Ь 7'(^з(^1) - mo)^ 4 > О, Ок 5к+1 < 4 , к =1,2,..., lim 5к = 0.А:-юо 3. Предположим, что конечный момент времеш^ i^ заранее не определен. Сформулируем задачу следующим образом: Какова должна быть сила реактивной тяги, чтобгл ракета достигла высоты h за кратчайнюе время? В этом случае / • ' • J{u) = / (It —> min, u{t) G и, xi{ti) = li, X3{ti) = т^. (1.0.8) Jto Эта задача называется задачей быстродействия.Все три типа задач, приведенных выше, хорошо известны каждому, кто знаком с теорией оптимального управления. Они являлись объектом аналитического и числешюго решения в течение всего времени сушествования теории оптимального управле1П1я.Следует заметить, что во всех трех типах задач начальное состояние динамического процесса задастся пачальпыми условиями (1.0.3). Что же происходит, когда одна группа переменных состояния задана в начальный момент времени ^о, а другая группа задана в конечный момент времени? Например, пусть Xi{to) = О, X2{to) = О, X^ih) = 7770. (1.0.9) Тогда можно сформулировать другую задачу оптимального управления. Какова должна быть сила реактивной тяги, чтобы ракета достигла высоты Л, израсходовав при этом все топливо? В терминах целевого функционала это запишется как J(tO = (х,(^,) - Л)^ ^ min, ii{t)eU. (1.0.10) В данной постановке начальная масса тои;п1ва 777 не 0П1)еделена заранее, а определяется после того, как закон оптимального управления установлен: 777 = хз(/о) — "7о.Если мы зададим другую группу краевых условий a l^(/o) = О, X2{ti) = О, Хз(/1) = 7770 (1.0.11) для динамической системы (1.0.2), то для того же самого целевого функционала (1.0.10) цель оптимального управления можно сформулировать следующим об[)азом. Найти закон оптимального управления, при котором ракета достигнет высоты /г, израсходовав при этом все топливо, и на этой высоте зависнет (0:2(^1) = О ).Задачам тина (1.0.2), (1.0.9) или (1.0.11) с фазовыми ограничениями или без них исследователями уделялось намного мсньню внимания, чем задачам, в которых начальное состояние динамического процесса определено, хотя они и могут рассматриваться как обобп1снны11 случай задач со свободным правым концом и поэтому называются задачами оптимального упрамепия с краевыми условиями. Здесь динамический процесс подчинен краевой задаче, которая, как известно, является обобщением задачи с начальными условиями или задачи Копп .^ Цель данной диссертации как раз и состоит в тп1ательиом и подробном изучении задач управления с краевыми условиями.Следует отметить, что лишь малая часть современных технических задач может решаться исключительно аналитическими методами [15, 16, 19, 22, 33, 35, 52, 53, 61, 64].Следовательно, существует необходимость в разработке численных алгоритмов, позволяЮНЦ1Х решать задачи оптимального управления на компьютере. Здесь можно выделить две группы численных алгоритмов: методы первого и методы второго порядка. Методы первого порядка (или градиентные методы) оперируют производными не выше первого порядка от рассматриваемых функций, а методы второго порядка (или методы квазилинеаризации) опе1)ируют производни.ми не выше второго порядка от рассматриваемых функций. Применение принципа максимума ведет к так называемым методам последовательных приближений, кото1)ые используют понятие игольчатой вариации, чтобы улучшить значения имеющегося допустимого управления.Изначально задачи оптимального управления сводились к двухточечной краевой задаче но аналогии с вариационным исчислешю'М. Тогда, естественно было применять для их решения численные методы решения краевых задач, такие как метод частных penieний [34, С2], метод комплиментарных функций и сопряженных переменных [G5], методы стрельбы [3, 43]. Эти методы заключаются в "угадывании"начальных значений сопряженных переменных (т.е. множителей Лагранжа), интегрировании вперед уравнений ЭйлераЛагранжа и зате.м интерполяции по сопряженным элементам вплоть до удовлетворения конечных условий. Иногда уравнения Эйлера-Лагранжа .могут становиться нестабильными для интегрирования вперед и назад, что вызывает потерю числсгнюй точности для компьютерного решения.Градиентные методы, предложенные в [7,44, 63], исключают проблему нестабильности методов стрельбы, но они требуют выбора начальных приближений, достаточно близких к решению задачи. Сначала исходная динамическая система интегрируется вперед, и Ho:iyченная траектория сохраняется. Зате.м, сопряженная система интегрируется назад вдоль этой траектории, что, по сути, является стабильным интегрированием. Это определяет ихи1ульсную реакцию целевого функционала и ограничений па правом конце на возмущение неременных унравлегшя. После этого значения переменных управления изменяются в направлении, противоположном направлению градиента, и вся процедура повторяется до тех пор, пока копсчгпле условия не будут удовлетворяться в пределах заданной точности, и целевой функционал не будет болыпе убывать.Существуют также методы квазилииеарнзации [И], разработанные в качестве одной из реализаций абстрактного метода Ньютопа-Рафсона в банаховых пространствах [40, 41].По сути дела квазилинеаризация включает в себя линеаризацию нелинейных уравнений вблизи ренюния, удовлетворяющего заданным краевым условиям, и решение последовательности линейных двухточечных краевых задач, где решение А:-той задачи берется в качестве начального для решения {к+ 1)-ой задачи. Данная методика требует значительно больше программирования, чем градиентные методы, а также не то*1ько хороших начальных приближений, по и аналитических выражений для первой и второй производной функций правых частей исходной системы и краевых условий.Методы, основанные иа принципе максимума (т.е. .методы последовательных приближений), впервые были предложены И.А. Крыловым и Ф.Л. Чериоусько [47, 48] и далее были разработаны други.ми отечественны.ми .математиками [30, 55, 56, 57, 72, 73, 74, 75, 76].Методы принципа макси.му.ма развиваются как одна из реализаций метода прирашений.Метод последовательных приближешн"! состоит в интегрировании исходной динамической систе.\пл вперед и сопряженной системы назад па выбранном допустимом управлении и нахождении экстремального управления согласно принципу Л1акспму.ма. Далее, это доп\'стимое управление улучшается посредством его игольчатой вариации с экстремальны.м управлегшем в некоторой малой окрестности, определяе.уюй вариационным пара.метро.м.После этого производится параметрическая минимизация приращения целевого функционала, ведущая к нахождению значения вариационного параметра. В конечном счете, улучшенное управление, соответствующее найденному значению вариационного параметра, берется в качестве следующего приближения, и вся процедура повторяется до тех пор, пока принцип максимума не будет удовлетворяться. Этот метод дает хорошие результаты для задач с ограниченным управлением, особенно для задач с точечными ограничения.ми на управление. Однако, пара.метрическую минилшзацию иногда трудно осуществить, поэтому сейчас разрабатываются некоторые успешные комбинации методов последовательных приближений с градиентными методами [74].Все вышеиерсчислспные методы (метод1Л стрельбы, градиентные алгоритмы, квазилинеаризация и методы последовательных приближений) были 1)азработаны для задач оптимального управления со свободным или закрепленным правым концом, с ограничениями на управление или без таковых, с фиксированной или незаданной продолжительностью управляемого процесса. Во всех этих задачах начальное состояние динамического процесса было всегда задано, т.е. начальные условия для фазовых переменных были всегда определены.В данной диссертации принципиальное внимание уделено численным методам penieния, основанным на принципе максимума, и их комбинациям с градиентными алгоритмами для задач оптимального управления с краевыми условиями вместо начальных.Как было отмечено ранее, задачи управления с краевыми (вместо начальных) условиями не наи1ли должного внимания в науке. Всего лишь несколько работ па эту тему были опубликованы к настоящему времени. Работа [21] изучает условия оптимальности задачи, где состояние исходной системы должно остановиться на границе. Здесь также показано, что решение обобщенных уравнений Гамильтоиа-Якоби-Беллмаиа является единственным в классе {)егулярнглх функций. Задача управления рспюнием уравнения теплопроводности с согласованными ограниченными условиями и коэффициентами теплообмена в качестве управления рассмотрена в [54]. Выпуклая задача оптимального управления для линейной системы с двухточечными краевылш условия.\п1 аптипериодического тина изучена в [S].Работа [21] исследует принцип оптимальности Пеллмана, тогда как в данной диссертации в1П1мание будет уделено принципу максимума Поптрягина.Диссертация построена следующим образом. В Главе 2 приводится общая формулировка краевой задачи. Здесь выводится легко ироверяелюе условие, при котором линейная краевая задача имеет единственное решение, а также приводится аналитическая формула представления решения линейной краевой задачи, напоминаюпщя по форме и являющаяся обобщением формулы Коши для представления решения линейной задачи Коти. В этой главе также описываются алгоритмы решения первого и второго порядка для нелинейной краевой задачи, являющиеся по сути дела аналогами градиентных методов и квазилинеаризации. Для выводов использован метод приращений и другие .методики, общепризнанные в теории управления.Задача оптимального управления с краевыми условиялш поставлена в Главе 3. Три различных типа формулы прирап1епия целевого функционала получены с применением линеаризации и теории первой вариащш. необходимые условия оптимальности в форме принципа максимума сформулированы и доказаны с использованием аналога формулы Коши, который был получен в Главе 2.Глава 4 посвящена численным методам поиска оптимального управления, которые основаны на принципе максимума. Здесь рассматривается традициошн^п! метод последовательных приближений и его модификация на основе нетрадиционной формулы приращения, иолученной в главе 3, а также комбинация этих методов с градиентными алгоритмами. Несколько примеров решены с применением ко.\шыотерной обработки для того, чтобы продемонстрировать потенциальные возможности рассмотренных алгоритмов.В Главе 5 рассмотрена особая ситуация, когда принцип максимума более не применим (возникновение так называемых особых управлений). Здесь получены необходимые условия оптимальности особых управлений второго порядка на основе формул приращения второго порядка с использованием метода приращений теории второй вариации и линеаризации. Также объясняется, каким образом необходимые условия опти.мальности второго порядка могут применяться на практике.Линейно-квадратичная задача с краевыми условиями рассматривается в Главе G как частный случай упрощения методики последовательных приближе1Н1Й на основе необходимых условий оптимальности второго порядка, которые могут применяться для нахождения как особых, так и неособых экстремальных управлений. Чтобы продемонстрировать практическую ценность и научную важность всех результатов, полученных в данной диссертации, в заключение приводится постановка и решение конкретной практической задачи оптимального управления с краевыми условиями.В завершение, в Главе 7 дается сжатое изложешю всей проделанной работы и намечаются несколько направлений возможных дальнейгиих исследований.Глава 2 Краевая задача. Существование решения и численные методы интегрирования

Заключение диссертации по теме «Физико-математические науки», Васильева, Ольга Олеговна

Эта глава резюмирует диссертацию в целом, подчеркивает основные результаты и наме чает направления дальнейшего исследования.Глава 1 - вводная. В ней приводятся исторические аспекты задачи управления с кра евыми условиями, т.е. задачи, которая рассматривается в течение всей диссертации, а также дастся обзор современных исследований задач этого типа.Глава 2 посвящена краевым задачам. Значительными результатами данной главы счи таются легко проверяемое условие (2.2.7), при котором линейно-квадратичная задача име ет единственное решение, и аналитическое представление решения линейной краевой зада чи (2.3.1), наиоминаюшсе представление репхения краевой задачи с начальнылш условиями (так называемая формула Коши). Также показано, как обобщенную нелинейную краевую задачу мож1Ю свести к задаче минимизации выпуклой функции (2.4.3), характеризующей отклонение от краевых условий, чтобы иметь воз.можность применять вычислительные алгоритмы первого и второго порядка для ее решения. Для этого получены явные форму лы градиента и гессиана.В Главе 3 приводится общая постановка задачи оптимального управления с краевыми условиями, различные виды формул приращения целевого функционала и доказательство необходимых условий оптимальности в виде принципа максимума. Пстрадиционнг^ге фор мулы прирапхепия (3.2.15)-(3.2.1б), полученные с помощью подхода линеаризации [2, 67], считаются важным результатом, т.к. они дают более "глубокое"и более информативное приращение целевого функционала по сравнению с традиционной формуаюй и Ц1)иводят к более эффективным численным алгоритмам с более "глубокой"итерацией, описанны.м в Главе 4. Особенный упор делается па доказательство принципа максимума, которое проводится с использованием аналога формулы Коши, полученном в Главе 2.Глава 4 описывает алгоритмы поиска оптимального управления, основанные на прин ципе максимума. Сначала традиционная схема метода последовательных приближений подстраивается под задачи оптимального управления с краевыми условиями, затем вво дится модификация этого метода с более "глубокой"итерацией, и наконец, комбинация метода последовательных приближений и градиентного метода приводит к двухпараме трическому итерационному процессу. Обсуждаются достоинства и недостатки каждого метода, доказывается сходимость первого (Алгоритм 4.1) и последнего (Алгоритм 4.3) методов (второй метод является частным случае.м первого), потенциальные возможности каждого метода демонстрируются на примерах. Калчдый алгоритм имеет салюстоятсль ную значимость.Глава 5 посвящена исследованию особых управлений. В ней дается обзор частных слу чаев, в которых не применим припцип максимума и существует необходимость в других условиях оптимальности. Такие условия оптимальности второго порядка (5.3.15) впервые получены на основе формул приращения второго порядка, с использованием метода при ращений, обобщения теории второй вариации и подхода линеаризации в простой аналогии с условиями оптимальности первого порядка (т.е. собственно принципом максимума). В Главе 5 подчеркивается значение этих условий в качестве орудия обнаружения и прове])-

ки кандидатов на особое управление и как условий, имеюпщх большой потенциал для численного поиска оптимальных управлений.В Главе б рассматривается линейно-квадратичная задача с краевыми условиями как частный случай общей нелинейной задачи. Метод квадратичных аппроксимаций приводит к значительному упрощению метола последовательных приближений на основе условий оптимальности второго порядка. Этот метод подходит для поиска как особых, так и псо собых управлений. Он считается значительным результатом Главы б. Чтобы подвести итог результатов всей исследовательской работы, проведенной в данной диссертации, в последнем разделе Главы б рассмотрена и решена одна практическая задача управления с краевыми условиями, что и завершает основную часть диссертации. Даже если этот пример не совсем профессионален, он ясно показывает, что задачи управления с краевгл ми условиями не просто выдумка математиков, они имеют практическую значимость, и поэтому должны исследоваться далее.Таким образом, в качестве научных достижений и научных результатов диссертации можно выделить: • условие разрешимости и аналитическое представление решения линейной краевой задачи; • нетрадиционные формулы приращения и доказательство принципа максимума; • численные алгоритмы поиска оптимальных управлений; • необходимгле условия оптимальности второго порядка для особых управлений; • метод квадратичной аппроксимации и его приложения.Теперь, когда установлена значимость задач оптимального управления с краевыми условиЯх\П1 для современной науки, их дальнейиюе исследование может принести ценные результаты. Можно указать несколько направлений их дальнейшего изучения. Очевидно, что для краевых задач характерны различные неопределенности и особенности, следова тельно, они являются неотъемлемой частью и задач управления с краевы.чш условиями.Таким образом, было бы неплохо провести детальный анализ параметрических и динами ческих неопределенностей, рассмотреть вопрос о стабильности и, воз\южно, установить свойства робастности, даже если только для частных случаев.В теории, стоит попробовать получить необходимые условия опти.мальности для осо бых управлений в общем, нелинейном, случае. В данной диссертации они доказаны только для задач управления с линейными краевыми условиями.На практике, хорошо бы подогнать и улучнщть компьютерную программу математи ческих вычислений с по.\юншю новой, только выходящей версии Mathematica 3.0, которая включает, как обещают, пакет прикладных программ для решения краевых задач. Ком пьютерные программы, использованные в данной диссертации, написаны на Fortraii-77 и скорее рассматриваются как образовательный и тсстируюнщй инструмент, чем как про фессиональный инженерный пакет.

Список литературы диссертационного исследования кандидат физико-математических наук Васильева, Ольга Олеговна, 1997 год

1. Anderson, B.D. and Moore, J.В. Linear Optimal Control.- Englewood Cliffs, N.J.: Prentice-Hall, 1971.

2. Антонин В.Г., Срочно В.А. К вопросу решения задачи оптимального управления па основе линеаризации // Ж. Вычисл. мат. и матем. физики, 1992.-Т.31.- №7.- С.979-991.

3. Ascher, U.M., Mattheij, R.M., and Russell, R.D. Numerical Solution of Boundary Value Problems for Ordinary Differential Equations.- Englewood Cliffs, N.J.: Prentice-Hall, 1988.

4. Бабе Г.Д., Гусев ЕЛ. Оптимизация многослойных структур распространения волн// ДАН СССР.- 1983.- Т.286.- №6.- С.1354-1358.о. Бабе Г.Д., Гусев E.JI. Методы математической оптимизации интерференционных фильтров.- Новосибирск: Наука, 1987.

5. Бабе Г.Д., Каниболоцкий М.А., Уржумцев Ю.С. Оптимизация многослойных конструкций при периодическом термовлиянии// ДАН СССР.- 1983.- Т.269.- №2.- С.311-314.

6. Balakrishnan, A.V., Neustadt, L.W., and Zadeh, L.A., Editors, Computing Methods in Optimization Problems.- Berlin, Germany: Springer-Verlag, 1969.

7. Barbu, V., and Pavel, N.H. Optimal Control Problems with Two-Point Boundary Conditions!I Journal of Optimization Theory and Applications.- 1993.- Vol.77.- No.l.-p.51-78.

8. Bell, D.J. Optimality Conditions at Junctions of Singular and Nonsingular Controls// Journal of Optimization Theory and Applications.- 1993.- Vol.78.- No.l.- p.1-8.

9. Bell, D.J., Jacobson, D.II. Singular Optimal Control Problems.- New York: Academic Press, 1975.

10. Bellman, R.E. Dynamic Programming- Princeton, N.J.: Princeton University Press, 1957.

11. Bellman, R.E. Mathematical Optimization Techniques.- Berkeley, C.A.: University of California Press, 1963.

12. Bellman, R.E. and Dreyfus, S.E. Applied Dynamic Programming.- Princeton, N.J.: Princeton University Press, 1962.

13. Bellman, R.E. and Kalaba, R.E. Quasilincarization and Nonlinear Boundary Value Problems.- New York: American Elsevier, 1965.

14. Berkovitz, L.D. Variational Methods in Problems of Control and Programming// Journal of Mathematical Analysis and Applications.- 1961.- Vol.3.- p.145-169.

15. Bliss, G.A. Lectures on the Calculus of Variations Phoenix Science Series.- Chicago: The University of Chicago Press, 1961.

16. Болтянский В.Г. Принцип максимума в теории оптимальных процессов// ДАН СССР.- 1958.- Т. 119.- С.1070-1073.

17. Bolza, О. Lectures on the Calculus of Variations- New York: Dover Publications, Inc., 1961.

18. Bryson, Л.Е., IIo, Y.C. Applied Optimal Control.- New York: Wiley, 1975.

19. Clements, D.J., Anderson, B.D. Singular Optimal Control: The Linear Quadratic Problem.- Ser.: Lecture Notes in Control and Information Sciences, edited by A.V.Balakrishnan.- Springer-Verlag, 1978.

20. Dempster, M.A. and Ye, J.J. Generalized Bellman-Hamilton-Jacobi Optimality Conditions for a Control Problem with a Boundary Condition// Journal of Applied Mathematics & Optimization.- 1996.- Vol.33.- No.3.- p.211-225.

21. Dreyfus, S.E. Dynamic Programming and the Calculus of Variations.- New York: Academic Press, Inc., 1966.

22. Dyer, P. and McReynolds, S.R. The Computation and Theory of Optimal Control- New York: Academic Press, 1970.

23. Федоренко, P.II. Приближенное решение задач оптимального управления.- М.: Наука, 1978. ■

24. Fraser-Andrews, G. Numerical Methods for Singular Optimal Control// Journal of optimization Theory and Applications.- 1989.- Vol.61.- p.377-401.

25. Габасов Р.Ф. О необходимых условиях оптимальности особых управлений // Известия АН СССР, Сер. Техническая кибернетика.- 1968.- No.5.- С.34-43.

26. Габасов Р.Ф., Кириллова Ф.М. Необходимые условия оптимальности особых управлений .- М.: Наука, 1973.

27. Gabasov, R.F. and Kirillova F.M. The Qualitative Theory of Optimal Processes.- New York: Marcel Dekker, Inc., 1976.

28. Гамкрелндзе P.В. Об общей теории оптимальных процессов// ДАН СССР.- 1958.-Т.123.- С.223-226.

29. Гамкрелидзе Р.В. Процессы оптимального управления с ограниченными фазовыми координатами // Известия АН СССР, Сер. Математика.- I960.- Т.24.- С.315-356.

30. Gelfand, I.M. and Fomin, S.V. Calculus of Variations.- Englewood Cliffs, N.J.: Prentice-Hall, Inc., 1963.

31. Heideman, J.C. Use of the Method of Particular Solutions in Nonlinear Two-Point Boundary Value Problems// Journal of Optimization Theory and Applications.-1968.-Vol.2.- No.6.

32. Ilestenes, M.R. Calculus of Variations and Optimal Control Theory.- New York: Wiley, 1966.

33. Jacobson, D. and Mayne, D. Differential Dynamic Programming.- New York: American Elsevier, 1970.

34. Kalman, R.E. The Theory of Optimal Control and the Calculus of Variations.- in the book "Mathematical Optimization Techniques", edited by R.Bellrnan.- Berkeley, C.A.: University of California Press, 1963.

35. Камке E. Справочник no обыкновенным дифференциальным уравнениям.- M.: Наука, 1976.

36. Канторович JI.В., Крылов В.И. Приближенные методы высшего анализа.- М.: Гостех-издат, 1949.

37. Kazemi-Dehkordi, М.А. Necessary Condition for Optimality of Singular Controls// Journal of Optimization Theory and Applications.- 19S4.- Vol.43.- p.629-637.

38. Keller, II.B. Numerical Method for Two-Point Boundary Value Problems.- Waltham, Massachusetts: Blaisdell Publishing Company, 1968.

39. Kelley, II.J. Method of Gradients.- in "Optimization Techniques", edited by G.Leitmann.-New York: Academic Press, 1962.

40. Kelley, H.J., Kopp, R.E., and Moyer, II.G. Singular Extremals.- Ser.: Topics in Optimization, edited by G.Leitinann.- New York: Academic Press, 1967.

41. Krener, A.J. The High-Order Maximum Principle and Its Application to Singular Extermals/f SIAM Journal on Control and Optimization.- 1977.- Vol.15.- p.256-293.

42. Крылов И.А., Чериоусько Ф.Л. О методе последовательных приближений для решения задач оптимального управления/J Ж. вычислит, мат. и матем. физики.- 1962.-Т.2.- Ш.- С.1132-1138.

43. Крылов И.Л., Черноусько Ф.Л. Алгоритм метода последовательных приближений для задач оптимального управления// Ж. вычислит, мат. и матем. физики.- 1972.-T.il.- №1.- С.14-34.

44. Кузнецов A.B. Справочник по термодинамиг:е.- М.: Наука, 197G.

45. Kwakernaak, Н. and Sivan, R. Linear Optimal Control Systems.- New York: Wiley-Interscience, 1972.

46. Lee, E.B., Markus, L. Foundations of Optimal Control Theory.- New York: Wiley, 1967.

47. Leitmann, G., Editor, Optimization Techniques.- New York: Academic Press, 1962.

48. Leitmann, G., An Introduction to Optimal Control- New York: McGraw-Hill Book Company, 1966.

49. Lenhart, S., and Wilson, D.G. Optimal Control of a Ileat Transfer Problem with Convective Boundary Condition!I Journal of Optimization Theory and Applications.- 1993.- Vol.79.-No.3.- p.5S 1-597.

50. Любушин A.A. Модификация и анализ сходимости метода последовательных приближений для задач оптимального управления// Ж. вычислит, мат. и матем. физики,- 1979.- Т. 19.- №6.- С.1414-1421.

51. Любушин A.A. Применение одной модификации метода последовательных приближений для вычисления оптимального управления// Известия АН СССР, Сер. Техиич. Кибернетика.- 1982.- Т.22.- №1.- С.30-35.

52. Любушин A.A., Черноусько Ф.Л. Метод последовательных приближений для вычисления оптимального управления (Обзор)// Известия АН СССР, Сер. Технич. Кибернетика.- 1983.- №2.- С.147-159.

53. Maurer, Н. Numerical Solution for Singular Control Problems Using Multiple Shooting Techniques// Journal of Optimization Theory and Applications.- 1976.- Vol.18.- p.235-257.

54. Mayne, D.Q., Polak, E. First Order Strong Variation Algorithm for Optimal Control// Journal of Optimization Theory and Applications.- 1975.- Vol.16.- No.3-4.- p.277-301.

55. Miele, A. Method of Particular Solutions for Linear Two-Point Boundary Value Problems!I Journal of Optimization Theory and Applications.- 1968.- Vol.2.- No.4.

56. Miele, A. Gradient Methods in Optimal Control Theory.- in "Optimization and Design", edited by M.Avriel, M.J.Rijckaert, and D.J.Wilde.- Englewood Cliffs, N.J.: Prentice-IIall,1973.

57. Pontryagin, L.S., Boltyanskii, V.G., Gainkrelidze, R.V., and Mischenko, E.F. The Mathematical Theory of Optimal Processes.- New York: Wiley, 1962.

58. Roberts, S.M. and Shipman, J.S. Two-Point Boundary Value Problems: Shooting Methods.- New York: American Elsevier Publishing Company, Inc., 1972.

59. Розонер JI.И. Принцип максимума JI.С. Понтрягина о теории оптимальных систем, Части I—III// Автоматика и Телемеханика, 1959.- Т.20.- С.1320-1334, 1411-1458, 15611578.

60. Srochko, V.A. Method of Second-Order Approximations in Problems of Optimal Control// Proceedings of 3rd European Control Conference.- Rome, 1995.- p.3275-327S.

61. Васильев Ф.П. Методы решения экстремальных задач М.: Наука, 19S1.

62. Васильев Ф.П. Лекции по методам решения экстремальных задач.- М.: Изд-во МГУ,1974.

63. Васильев Ф.П. Численные методы решения экстремальных задач 2-е изд.- М.: Наука, 1988.

64. Васильев О.В. Методы оптимизации о функциональных пространствах.- Иркутск: Изд-во ИГУ, 1979.

65. Васильев О.В. Методы последовательных приближений, основанные на необходимых условиях оптимальности типа принципа максимума В книге "Методы решения задач математического программирования и оптимального управления".- Новосибирск: Наука, 1984, С.161-199.

66. Vasiliev O.V. Optimization methods, .-USA, World Federation Publishers. Inc., Atlanta. 1996.

67. Васильев О.В., Бельтюков II.Б., Терлецкий В.А. Алгоритмы оптимизации для динамических систем, основанных па принципе максимума.-В книге "Кибернетика: модели и анализ задач большой размерности".- М.: Паука, 1991, С. 17-38.

68. Васильев О.В., Терлецкий В.А. Итерационные методы решения задач оптимального управления в системах с распределенными параметрами, основанные па принципе максимума.- В книге "Оптимизация: модели, методы, решения".- Новосибирск: Наука, 1992, С.35-53.

69. Васильев О.В., Тятюшкин А.И. Об одном методе решения задач оптимального управления, основанном па принципе максимума// Ж. вычислит, мат. и матем. физики.-1981.- Т.21,- №6.- С.1376-1384.

70. Vasilieva О., Mizukami, К. Convergence of Improve Successive Approximation Method for Optimal Control Problem// in the Proceedings of the First Asian Control Conference (ASCC), Tokyo, 1994.- Vol.2.- P.901-901.

71. Васильева О., Мизуками К. Оптимальное управление краевой задачей// Известия вузов, Сер. математика, 1991.- No.12 (391).-C.33-41.

72. Vasilieva О.О., Mizukami, К. One Modification of Successive Approximation Method for Optimal Control Problem// Proceedings of Joint Conference of Electric and Information Engineering Associations of Japan (Central Section).- Hiroshima, 1993.- p.251.

73. Vasilieva O.O., Mizukami, K. One Convergent Modification of Successive Approximation Algorithm// Proceedings of Joint Conference of Electric and Information Engineering Associations of Japan (Central Section) .- Okayama, 1991.- p.185.

74. Vasilieva О.О., Mizukami, К. Dynamic Process with Boundary Conditions: Optimizational Approach// Труды X Международной Байкальской конференции но методам оптимизации и их приложениям .- Иркутск, 1995,- С.171-172.

75. Vasilieva О.О., Mizukami, К. Linear Problem of Variable Structure: Optimizational Approach// Proceedings of Joint Conference of Electric and Information Engineering Associations of Japan (Central Section) .- Fukuyama, 1995.- p.298.

76. Vasilieva O.O., Mizukami, K. Optimal Design in Linear-Quadratic Problems with Boundary Conditions// Proceedings of Joint Conference of Electric and Information Engineering Associations of Japan (Central Section).- Tottori, 1996.- pp.316-317.

77. Vasilieva O.O., Mizukami K., Optimality Criterion of Singular Controller and Its Application// Proceedings of the 2nd Asian Control Conference.- Seoul, 1997.- Vol.l.-pp.589-592.

78. Vasilieva O.O., Mizukami K. Optimality Criterion for Singular Controller: Linear Boundary Conditions// Journal of Mathematical Analysis and Applications.-1997.- Vol. 213, No. 2.- pp.620-641.