Оптимизация управления стохастических систем с запаздыванием
Изучение существующих математических методов оптимизации нелинейных стохастических систем. Обоснование возможности получения единой методики поиска оптимального управления систем, описываемых стохастическими дифференциально-разностными уравнениями.
Рубрика | Математика |
Вид | автореферат |
Язык | русский |
Дата добавления | 28.03.2018 |
Размер файла | 255,8 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
На правах рукописи
АВТОРЕФЕРАТ
диссертации на соискание ученой степени
кандидата физико-математических наук
ОПТИМИЗАЦИЯ УПРАВЛЕНИЯ СТОХАСТИЧЕСКИХ СИСТЕМ С ЗАПАЗДЫВАНИЕМ
Специальность: 05.13.01 - системный анализ, управление и обработка информации (механика)
АЮКАСОВ РУСТАМ АНАТОЛЬЕВИЧ
Казань - 2011
Работа выполнена в Казанском государственном техническом университете им. А.Н. Туполева.
Научный руководитель:
Роднищев Николай Егорович, доктор технических наук, доцент.
Официальные оппоненты:
Балоев Арнольд Андреевич, доктор техн. наук, профессор;
Лазарев Александр Алексеевич, доктор физ.-мат. наук, профессор.
Ведущая организация: Казанский государственный технологический университет, г. Казань.
Защита состоится 27 мая 2011 года в 15 часов на заседании диссертационного совета Д 212.079.01 при Казанском государственном техническом университете им. А.Н. Туполева по адресу: 420111, г. Казань, ул. К. Маркса, 10, зал заседаний Учёного совета.
С диссертацией можно ознакомиться в библиотеке Казанского государственного технического университета им. А.Н. Туполева по адресу: 420111, г. Казань, ул. К. Маркса, 10. Автореферат диссертации размещен на сайте Казанского государственного технического университета им. А.Н. Туполева www.kai.ru.
Автореферат разослан "23" апреля 2011 г.
Ученый секретарь диссертационного совета, доктор физ.-мат. наук, профессор Данилаев П.Г.
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность проблемы. Системы, описываемые стохастическими дифференциально-разностными уравнениями, играют значительную роль в исследовании многих прикладных задач. Такие уравнения появляются там, где свойства объекта определяются эффектом последействия, и служат математическими моделями различных процессов: автоматического регулирования и управления техническими и механическими системами, развития экономических и социальных систем; генерации сигналов, горения в жидкостно-реактивных двигателях, замедления нейтронов, влияния излучений, линий задержки; радиолокации и радионавигации, процессов в авиационных силовых установках и т.д.
Запаздывание в системах приводит к новым эффектам, например, самовозбуждению колебаний, увеличению перерегулирования и неустойчивости объектов управления и др.
Существующие в настоящее время условия оптимальности управления формулировались в основном на использовании принципа максимума Понтрягина. Использование такого подхода требует численного решения стохастических дифференциальных уравнений с запаздыванием для всего множества возможных реализаций компонент фазового вектора, что в общем случае является практически неразрешимой задачей ввиду бесконечного множества возможных реализаций компонент фазового вектора. Также следует отметить, что практическое использование принципа максимума Понтрягина, ввиду большой сложности, трудно применимо к задачам большой размерности (больше 3) для нелинейных стохастических систем.
Все вышесказанное позволяет сделать вывод об актуальности развития методов оптимизации управления систем, описываемых стохастическими дифференциальными уравнениями с запаздыванием.
Цель работы. Целью данной работы является развитие существующих методов оптимизации стохастических систем с целью получения единой методики поиска оптимального управления систем, описываемых стохастическими дифференциально-разностными уравнениями.
Предметом исследования является определение условий оптимальности управления стохастических систем с запаздыванием и численные методы их поиска.
Объектами исследования являются математические модели процессов и систем, текущее состояние которых зависит как от предыстории, так и от случайных составляющих.
Задачи работы. Исследование условий оптимальности управления нелинейными стохастическими системами с запаздыванием;
разработка численных и приближенных методов решения задач оптимизации нелинейных стохастических систем с запаздыванием.
Методы исследования. В качестве методов исследования в работе применяются современный аппарат функционального анализа, общая теория экстремальных задач, теория оптимального управления, вариационное исчисление, математическое программирование, теория вероятностей и математическая статистика, теории случайных процессов, теории стохастических дифференциальных уравнений, методов вычислений, численных методов оптимизации и т.д.
Научная новизна. Формулирование необходимых условий оптимальности управления стохастических систем с запаздыванием. Создание алгоритмов и программного обеспечения для решения задач поиска оптимального управления стохастических систем с запаздыванием.
Положения, выносимые на защиту. В диссертации выносятся на защиту следующие основные положения:
Условия существования управления непрерывных стохастических систем с запаздыванием.
Необходимые условия слабого и сильного экстремума непрерывных стохастических систем с запаздыванием.
Численные и приближенные методы поиска оптимального управления непрерывных стохастических систем с запаздыванием.
Практическая ценность. Разработана единая методика для решения задач оптимизации управления стохастических систем с запаздыванием. Основное внимание в работе уделяется исследованию условий экстремума, позволяющих не только устанавливать необходимые условия оптимальности систем, но и строить на их основе численные методы поиска оптимального управления.
Апробация работы. Основные положения, выводы и результаты работы докладывались на международных и всероссийских конференциях: на всероссийском семинаре, посвященном 100-летию Кузьмина П.А. в г. Казань в 2008 году, международном семинаре IFAC в г. Самара в 2009 г, Российской школе-конференции "Математика, информатика, их приложения и роль в образовании" с международным участием 14-18 декабря 2009 года.
Публикации. По материалам диссертации опубликовано 5 научных работ, в том числе 2 статьи и 3 тезиса докладов.
Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, приложений, списка литературы. Материал изложен на 102 страницах, список литературы состоит из 110 наименований.
ОСНОВНОЕ СОДЕРЖАНИЕ ДИССЕРТАЦИИ
Во введении дается краткий обзор причин появления звеньев с запаздыванием при моделировании объектов и систем, и научной литературы, посвященный данной проблеме, рассматриваются основные подходы к решению задач оптимизации стохастических систем с запаздыванием.
В первой главе в первом разделе дается общая постановка задачи оптимизации управления нелинейной стохастической системы с запаздыванием в виде:
(1)
Второй раздел первой главы посвящен сведению исходной стохастической задачи к детерминированной. Известно, что процесс, описываемый уравнениями (1), в общем случае не является Марковским и к нему не применим аппарат уравнений Колмогорова-Фоккера-Планка (КФП - уравнений). Поэтому для сведения процесса (1) к Марковскому и применения к нему аппарата КФП - уравнений, в работе рассматривается стохастический аналог классического метода шагов к определению управления , которое обеспечивает минимум функционалу (1). Для этого рассматриваемый отрезок времени покрывается счетной сеткой с шагом равным величине запаздывания и узлами
,
где номер интервала , - количество интервалов,
.
Обозначая через текущее время на интервале , запаздывание исключается посредством расширения фазового пространства образующего цепочку стохастических дифференциальных уравнений по последовательно примыкающим интервалам .
Так, на первом интервале при значении вектор состояния системы
описывается уравнениями:
(2)
В уравнении (2) верхний индекс (и далее в уравнениях на последующих интервалах) указывает на номер интервала, а нижний на номер компоненты вектора состояний на этом интервале. На первом интервале компоненты фазового вектора удовлетворяют системе дифференциальных уравнений с начальными условиями (2) без запаздывания.
На втором интервале при значении вектор состояния системы
описывается уравнениями относительно расширенного вектора состояний:
Далее, на последнем интервале для расширенного вектора состояний
,
система описывается стохастическими дифференциальными уравнениями:
……………………………………………………………….
Таким образом, на любом интервале , рассматриваемого отрезка времени , состояние системы определяется стохастическими дифференциальными уравнениями, которые описывают диффузионный Марковский процесс вида:
где
Такой подход позволяет свести исходную задачу оптимизации (1) к детерминированной задаче с распределенными параметрами относительно плотности распределения вероятностей вектора состояний системы, удовлетворяющего уравнению Колмогорова-Фоккера-Планка.
, (3)
(4)
(5)
В третьем разделе первой главы формулируются и доказываются условия управляемости в форме леммы 1:
Лемма 1 (условия невырожденности). Задача (3) ? (5) не вырожденная, если совокупность касательных вариаций к множеству:
в точке есть подпространство
.
Здесь линейный оператор, определяемый выражением:
.
Вторая глава работы посвящена установлению необходимых условий существования оптимального управления. В первом разделе главы сформулированы необходимые условия оптимальности управляемой стохастической системы с запаздыванием в форме принципа минимума:
Теорема 1 (слабый принцип минимума). Пусть ? оптимальное решение задачи (3) ? (5). Тогда существует не равная тождественно нулю функция
такая, что
а) удовлетворяет решению задачи Коши
(6)
б) для почти всех и всех
.
Здесь ? линейный оператор, сопряженный к оператору , т.е.:
Следствие. Оптимальное управление удовлетворяет соотношению:
.
Во втором разделе формулируются и доказываются необходимые условия существования сильного экстремума задач оптимизации (3)-(5).
Теорема 2 (сильный локальный минимум). Пусть ? оптимальное решение задачи (3)-(5), тогда существует не равная тождественно нулю функция такая, что удовлетворяет решению краевой задачи (6); при почти всех оптимальном у управлению соответствует минимум по переменной , где:
Третий раздел второй главы посвящен установлению необходимых условий оптимальности управления с обратной связью. Здесь оптимальное управление
определяется как локальное управление, связанное в каждый момент времени и соответствующим ему состоянием
с программным управлением
относительно фиксированной начальной точки соотношением:
.
В качестве оценки эффективности управления рассматривается критерий:
, (7)
представляющий собой функцию точки
фазового пространства системы в момент времени , который характеризует эффективность управления на отрезке времени , при условии, что в момент времени изображающая точка в фазовом пространстве находилась в состоянии
.
Функционал (7) относительно точки и плотности вероятности перехода рассматривается при этом как условное математическое ожидание в момент времени при условии, что в момент времени система находилась в состоянии
.
Необходимые условия оптимальности управления
устанавливает теорема 3.
Теорема 3. Пусть
- оптимальное управление, доставляющее при каждом минимум критерию (7). Тогда существует такая, не равная тождественно нулю функция
,
что функция удовлетворяет уравнению Беллмана
оптимальное управление
при всех удовлетворяет условию
Четвертый раздел второй главы посвящен синтезу оптимального управления линейных стохастических систем с запаздыванием вида:
(8)
В качестве критерия оптимальности управления системы (8) рассматривается минимум квадратичного функционала вида:
(9)
Используя подход, рассмотренный в первой главе, исходная задача поиска оптимального управления сводится к задаче в расширенном фазовом пространстве, описывающей марковский процесс. Для поиска оптимального управления используются результаты теоремы 3.
Оптимальное управление определяется из уравнения Беллмана и имеет вид:
(10)
В выражении (10) матрицы
,
.
представляет собой квадратичную форму по фазовым переменным вида:
,
где - некоторая симметричная матрица порядка , - вектор-столбец n-го порядка, - некоторая функция времени, которые удовлетворяют следующим дифференциальным уравнениям:
граничные условия для которых имеют вид:
Третья глава работы посвящена рассмотрению численного метода решения задач оптимизации управления стохастических систем с запаздыванием. Который представляет собой естественное обобщение градиентного метода.
Суть вычислительного алгоритма заключается в варьировании управления в направлении подходящих вариаций , обеспечивающих убывание целевого функционала задачи (3):
на невырожденном конусе касательных вариаций, определенного соотношением:
.
Алгоритм численного решения задачи (3)-(5) представляет собой следующую последовательность операций:
С исходным приближением управления решается задачи Коши для уравнения Колмогорова-Фоккера-Планка (4) и определяется исходное приближение и значение целевого функционала .
Решается задача Коши для уравнения (6) с целью определения и градиента . оптимизация стохастическая дифференциальное уравнение
Вычисляется направление
Вычисляются значения нового приближения к оптимальному управлению:
Осуществляется проверка приближения к оптимальному управлению. Если , то решение задачи (3)-(5) с точностью прекращается. В противном случае решение продолжается исходя из нового приближения.
Для численного метода оптимизации, приведенного выше, в рамках второго раздела третьей главы сформулирована и доказана теорема сходимости и показано, что полученное управление удовлетворяет необходимым условиям оптимальности, сформулированным во второй главе.
Теорема 4. Если целевой функционал (1.11) ограничен снизу по и его производная удовлетворяет условию Липшица по на всяком ограниченном по множестве, т.е.
линейно ограничен:
,
то для последовательности:
справедливы утверждения:
В четвертой главе рассмотрен приближенный метод решения задач оптимизации управления нелинейных стохастических систем с запаздыванием, базирующегося на разложении плотности вероятности в функциональный ряд по семиинвариантам случайного процесса на основании гауссова распределения с точностью до совпадения плотности вероятности компонент вектора состояний смешанных центральных моментов до второго порядка и семиинвариантов компонент вектора состояний выше второго порядка. Это обусловлено необходимостью решения уравнения Колмогорова-Фоккера-Фоккера-Планка и сопряженного с ним параболического уравнения Беллмана при рассмотрении условий оптимальности и использовании численных методов оптимизации.
Определение плотности вероятности сводится, таким образом, к нахождению семиинвариантов, которые определяются решением укороченной системы бесконечной цепочки обыкновенных дифференциальных уравнений относительно семиинвариантов, полученных из уравнения Колмогорова-Фоккера-Планка для логарифма характеристической функции и имеют вид
Здесь - семиинварианты (верхние индексы указывают номера компонент вектора состояний, а нижние - порядок семиинвариантов), - коэффициенты сноса, - коэффициенты диффузии; - число сочетаний из по .
При представлении плотности распределения вектора состояний через семиинварианты, исходная задача оптимизации (3)-(5) с точностью до определения плотности распределения сводится к задаче
с дифференциальными связями для обыкновенных дифференциальных уравнений порядка
относительно семиинвариантов случайного процесса . Здесь:
,
а - количество семиинвариантов выше второго порядка.
Данная задача представляет собой задачу теории оптимальных процессов со смешанными ограничениями типа неравенств. Для ее решения можно использовать сочетание численных методов проекций градиента и обобщенного дифференциально-градиентного метода Эрроу-Гурвица.
Четвертый раздел четвертой главы содержит решение задачи оптимального управления рулем высоты самолета с целью минимизации отклонения от заданной высоты при выполнении "коробочки" при заходе на посадку с характеристиками самолета ИЛ-96-300 при допущении о быстром гашении собственных колебаний относительно поперечной оси. Самолет в исходном положении сбалансирован по моментам, т.е. . На движение самолета оказывает влияние турбулентности атмосферы ("болтанки").
Учет влияния ветровых возмущений на динамику летательного аппарата (ЛА) осуществляется путем введения дополнительных ветровых составляющих в воздушную скорость
и угол атаки
.
Уравнения движения в безразмерной форме при стабилизации рулем высоты имеет вид:
.
Здесь - изменение угла наклона траектории, - безразмерные изменения воздушной скорости и высоты самолета соответственно, - случайные воздействия, обусловленные порывами ветра.
В результате были получены следующие результаты решения задачи оптимального управления горизонтальным полетом самолета, соответствующие оптимальному управлению рулем высоты, с целью минимизации отклонения высоты полета самолета от заданных 250 метров.
На рисунке 1 приведен график математического ожидания высоты полета. На рисунке 2 приведены графики среднеквадратического отклонения изменения высоты полета при малых (), средних () и сильных () значениях интенсивности турбулентности атмосферы. Анализ графиков среднеквадратических отклонений показывает, что для уменьшения роста среднеквадратического отклонения изменения высоты полета необходимо вводить ограничения на изменение среднеквадратического отклонения (дисперсии) изменения высоты.
На рисунке 3 приведен график оптимального управления положением руля высоты.
Рисунок 1. Математическое ожидание изменения высоты полета самолета
Рисунок 2. Среднеквадратическое отклонение безразмерного изменения высоты полета самолета
Рисунок 3. Оптимальное управление рулем высоты
ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ
1. Сформулирована задача оптимального управления непрерывных стохастических систем с постоянным запаздыванием относительно компонент вектора состояний.
2. Показано, что решение данной задачи может быть получено на основе теории диффузионных марковских процессов, позволяющей свести решение исходной стохастической задачи оптимизации с запаздыванием к детерминированной задаче с распределенными параметрами относительно уравнения Колмогорова-Фоккера-Планка. Исследованы условия существования управления непрерывных стохастических систем с запаздыванием.
3. На основе общей теории экстремальных задач Дубовицкого-Милютина получены необходимые условия слабого и сильного экстремума непрерывных стохастических систем с запаздыванием.
4. Для случая полного и точного наблюдения вектора состояний системы сформулированы необходимые условия оптимальности стохастических систем с запаздыванием для управления с обратной связью.
5. Описана процедура синтеза управления линейной стохастической системы с запаздыванием в смысле минимума квадратичного функционала качества.
6. Предложены численные методы поиска оптимального управления стохастических систем с запаздыванием.
7. Разработаны приближенные методы решения задач оптимизации управления нелинейных стохастических систем с запаздыванием с точностью до аппроксимации плотности распределения компонент вектора состояний.
ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ
Публикации в изданиях, рекомендованных ВАК России:
1. Аюкасов Р.А. "Синтез алгоритма оптимального управления стохастическими динамическими системами с запаздыванием. // Мехатроника, автоматизация, управление. 2009. № 5, С. 8-11.
2. Роднищев Н.Е., Аюкасов Р.А. Условия оптимальности управления нелинейных стохастических систем с запаздыванием. // Вестник КГТУ им. А.Н. Туполева, 2010. №1, С. 87-93.
В других журналах и материалах научных конференций:
1. Аюкасов Р.А. Использование уравнения Колмогорова-Фоккера-Планка в решении задач оптимизации управления стохастических систем с запаздыванием. Тезисы докладов всероссийского семинара, посвященного 100-летию П.А. Кузьмина. Казань. КГТУ им. А.Н. Туполева, 2008 г., С. 18-19.
2. R.A. Aukasov, N.E. Rodnishev, N.S. Chernov, "Optimizing Control of Nonlinear Stochastic Systems with Delay: Application for Flying Vehicle," Proc. IFAC Workshop AEROSPACE GUIDANCE, NAVIGATION AND FLIGHT CONTROL SYSTEMS June 30 - July 2, 2009, Samara, RUSSIA \\ available from IPACS Electronic Library at http://lib.physcon.ru/ (item 1861).
3. Аюкасов Р.А., Роднищев Н.Е., Чернов Н.С. К необходимым условиям оптимальности управления нелинейных стохастических систем с запаздыванием. Тезисы докладов Российской школы конференции "Математика, информатика, их приложения и роль в образовании". - М: РУДН, 2009 г., С. 133-136.
Размещено на Allbest.ru
...Подобные документы
Понятие и классификация систем, их типы и методика управления. Сущность и методология математического моделирования. Системы, описываемые дифференциальными уравнениями. Некоторые задачи теории графов: о Кенигсбергских мостах, о выходе из лабиринта.
презентация [640,6 K], добавлен 23.06.2013Возникновение и развитие теории динамических систем. Развитие методов реконструкции математических моделей динамических систем. Математическое моделирование - один из основных методов научного исследования.
реферат [35,0 K], добавлен 15.05.2007Анализ методов решения систем нелинейных уравнений. Простая итерация, преобразование Эйткена, метод Ньютона и его модификации, квазиньютоновские и другие итерационные методы решения. Реализация итерационных методов с помощью математического пакета Maple.
курсовая работа [820,5 K], добавлен 22.08.2010Некоторые математические вопросы теории обслуживания сложных систем. Организация обслуживания при ограниченной информации о надёжности системы. Алгоритмы безотказной работы системы и нахождение времени плановой предупредительной профилактики систем.
реферат [1,4 M], добавлен 19.06.2008Операторы преобразования переменных, классы, способы построения и особенности структурных моделей систем управления. Линейные и нелинейные модели и характеристики систем управления, модели вход-выход, построение их временных и частотных характеристик.
учебное пособие [509,3 K], добавлен 23.12.2009Геометрическая интерпретация методов Ньютона, итерации и спуска. Определение корня уравнения с заданной степенью точности. Решение систем нелинейных алгебраических уравнений. Нахождение эквивалентного преобразования для выполнения условия сходимости.
курсовая работа [371,6 K], добавлен 14.01.2015Основные формулы, используемые в исследовании. Определение стохастической устойчивости и структура соответствующих уравнений. Применение второго метода Ляпунова. Скалярные уравнения n-го порядка. Анализ устойчивости по вероятности движений спутника.
курсовая работа [235,6 K], добавлен 21.02.2016Сравнение методов простой итерации и Ньютона для решения систем нелинейных уравнений по числу итераций, времени сходимости в зависимости от выбора начального приближения к решению и допустимой ошибки. Описание программного обеспечения и тестовых задач.
курсовая работа [3,1 M], добавлен 26.02.2011Математическое программирование - область математики, в которой изучаются методы решения задач условной оптимизации. Основные понятия и определения в задачах оптимизации. Динамическое программирование – математический метод поиска оптимального управления.
презентация [112,6 K], добавлен 23.06.2013Структурное преобразование схемы объекта и получение в дифференциальной форме по каналам внешних воздействий. Формы представления вход-выходных математических моделей динамических, звеньев и систем, методов их построения, преобразования и использования.
курсовая работа [1,3 M], добавлен 09.11.2013Изучение численных методов приближенного решения нелинейных систем уравнений. Составление на базе вычислительных схем алгоритмов; программ на алгоритмическом языке Фортран - IV. Приобретение практических навыков отладки и решения задач с помощью ЭВМ.
методичка [150,8 K], добавлен 27.11.2009Векторная запись нелинейных систем. Метод Ньютона, его сущность, реализации и модификации. Метод Ньютона с последовательной аппроксимацией матриц. Обобщение полюсного метода Ньютона на многомерный случай. Пример реализации метода Ньютона в среде MATLAB.
реферат [140,2 K], добавлен 27.03.2012Дифференциальные уравнения как математический инструмент моделирования и анализа разнообразных явлений и процессов в науке и технике. Описание математических методов решения систем дифференциальных уравнений. Методы расчета токов на участках цепи.
курсовая работа [337,3 K], добавлен 19.09.2011Изучение методов одномерной оптимизации и сравнение эффективности их применения для конкретных целевых функций. Нахождение минимума функции 1/|x-3|3 методами перебора, поразрядного поиска, дихотомии, золотого сечения, средней точки, хорд и Ньютона.
курсовая работа [761,8 K], добавлен 25.12.2015Анализ математических моделей, линейная система автоматического управления и дифференциальные уравнения, векторно-матричные формы и преобразование структурной схемы. Метод последовательного интегрирования, результаты исследований и единичный импульс.
курсовая работа [513,2 K], добавлен 08.10.2011Приемы построения математических моделей вычислительных систем, отображающих структуру и процессы их функционирования. Число обращений к файлам в процессе решения средней задачи. Определение возможности размещения файлов в накопителях внешней памяти.
лабораторная работа [32,1 K], добавлен 21.06.2013Оптимизация как раздел математики, ее определение, сущность, цели, формулировка и особенности постановки задач. Общая характеристика различных методов математической оптимизации функции. Листинг программ основных методов решения задач оптимизации функции.
курсовая работа [414,1 K], добавлен 20.01.2010Метод эксплуатации авиационной техники по состоянию; управление техническим состоянием с использованием априорной и апостериорной информации. Оценка эффективности технических систем методом статистического моделирования (алгоритм векторного управления).
реферат [3,3 M], добавлен 17.12.2010Изучение абстрактных систем замыканий на множестве. Теорема о взаимосвязи между системами замыканий и операторами замыкания. Понятие и структура алгебраических систем замыканий. Анализ соответствия Галуа как наиболее важного примера систем замыканий.
дипломная работа [155,2 K], добавлен 27.05.2008Сущность итерационного метода решения задачи, оценка его главных преимуществ и недостатков. Разновидности итерационных методов решения систем линейных алгебраических уравнений: Якоби, Хорецкого и верхней релаксации, их отличия и возможности применения.
курсовая работа [39,2 K], добавлен 01.12.2009