
- •Методы оптимизации. Ответы на вопросы.
- •Конечномерные экстремальные задачи без ограничений.
- •Конечномерные экстремальные задачи с ограничениями.
- •Свойства выпуклых множеств.
- •Выпуклые оболочки.
- •Проекция точки на множество.
- •Отделимость выпуклых множеств.
- •Свойства выпуклых функций.
- •Критерии выпуклости функций.
- •Минимум выпуклой функции.
- •Функция Лагранжа и седловая точка.
- •Теорема Куна-Таккера.
- •Связь между основной и двойственной задачами.
- •Условия сходимости градиентных методов.
- •Условия сходимости метода Ньютона.
- •Условие сходимости метода штрафных функций.
- •Условие сходимости методов возможных направлений
- •Вариация функционала
- •Доказательство.
- •Простейшая задача вариационного исчисления.
- •Доказательство.
- •Уравнение Эйлера-Лагранжа
- •Условия Лежандра и Якоби
- •Доказательство.
- •Постановка вариационной задачи с подвижными границами.
- •Доказательство:
- •Задача Больца
- •Изопериметрическая задача.
- •Задача Лагранжа
- •Метод Ритца
- •Общая постановка задачи оптимального управления.
- •Достаточное условие существования решения задачи оптимального управления.
- •Принцип максимума л. С. Понтрягина. Необходимые условия.
- •Принцип Эйлера-Лагранжа и оптимальное управление
- •Необходимые условия в задаче теории оптимального управления
- •Принцип максимума Понтрягина для простейшей задачи оптимального управления
- •Задача линейного быстродействия.
- •Достаточные условия оптимальности в задаче линейного быстродействия.
- •Фундаментальная матрица и формула Коши.
- •Принцип Крейна.
-
Общая постановка задачи оптимального управления.
-
В задачах оптимального управления характерно наличие динамического объекта (меняющегося во времени).Положение его характеризуется в каждый момент времени фазовым вектором
. Предполагается, что вектором управляющих параметров
можно управлять (влиять) на движение объекта. Зависимость
от
отличается для различных объектов и может описываться, например, системой дифференциальных уравнений
-
, где
(1) описывает внутреннее устройство объекта и воздействие внешних факторов. Обычно предполагается, что
(2) в каждый момент времени,
- текущее время,
- заданное множество. Кроме (2) на
могут быть наложены ограничения на зависимость
от времени. Обычно
- замкнуто. Таким образом определяется класс допустимых уравнений: гладкие, непрерывные, кусочно-непрерывные, и т.д. функции.
-
Предполагается, что задан начальный момент
и множество
- допустимых начальных состояний объекта, и желательно так им управлять, чтобы в конечный момент
объект перешел на некоторое множество
заданных допустимых конечных состояний. Считаем, что допустимое управление
переводит объект из
в
на отрезке времени
, если соответствующее этому управлению
фазовое состояние объекта
удовлетворяет условиям
. (3)
-
Замечание.
может быть не фиксированным, а определяться из условия попадание вектора
на
.
-
Обычно предполагается, что каждому допустимому управлению
, заданному на
и соответствующей ему траектории объекта
сопоставлено некоторое число
, оценивающее качество пары
,
, т.е. задан некоторый функционал, или критерий, качества
, имеющий, например, вид
(4)
-
Замечание. Из
в
управляемый объект часто можно привести различными способами и желательно выбрать лучший в некотором смысле переход.
-
Задачу оптимального управления можно сформулировать так: среди допустимых управлений выбрать такое
и соответствующую ему траекторию объекта
, переводящую объект из множества начальных состояний
на множество конечных состояний
, что при этом функционал качества
принимает минимальное значение, т.е.
, где минимум берется по всевозможным допустимым управлениям
и соответствующим траекториям
, переводящим объект из
на
.
-
Достаточное условие существования решения задачи оптимального управления.
-
Сформулируем достаточные условия существования решения задачи оптимального управления следующего вида:
-
,
-
.
-
Относительно данных сделаем предположения:
-
1)
- компактно;
-
2) мн-во
компактно;
-
3) множество
выпукло для всех
;
-
4) существует константа
, для которой справедливо неравенство
.
-
Класс допустимых уравнений отождествляется с функциями, интегрируемыми по Лебегу на интервале управления.
-
Теорема 1. Пусть выполнены предположения 1) - 4) и множество
. Тогда существует четверка
, на которой функционал
достигает минимума.
-
Замечание 1. В теории оптимального управления часто применяют следующие обозначения. Если
некоторая функция, то
ее значение в точке
, а
- сама функция, как элемент функционального пространства.
-
Замечание 2. Если функционал качества управления имеет вид
, где
. Первое слагаемое называется интегральным, а второе терминальным, а сам функционал – функционалом Больца. Если
, то получаем функционал Майера, а в случае
- функционал Лагранжа.