CC BY
23
Онлайн-доступ к журналу: http://isu.ru/izvest.ia.
Серия «Математика»
2017. Т. 19. С. 129-135
УДК 517.97 MSG 49J15
DOI https://doi.org/10.26516/1997-7670.2017.19.129 О существовании решения задачи оптимального управления гибридной системой*
Н. С. Малтугуева
Институт динамики систем и теории управления им. В. М. Матросова СО РАН Н. И. Погодаев
Институт динамики систем и теории управления им. В. М. Матросова СО РАН
Аннотация. Рассматривается задача, оптимального управления гибридной динамической системой достаточно общего вида.. В литературе подобные системы также часто называют дискретно-непрерывными или логико-динамическими. Они возникают при математическом моделировании целого ряда, технических процессов. С помощью гибридных систем можно, к примеру, описать функционирование коробки передач в автомобиле, работу автоматической системы климат-контроля, некоторые процессы с эффектом гистерезиса., динамические системы с соударениями и куло-новским трением, а. также многие другие. Математической теории оптимального управления такими системами посвящено большое число статей, в частности, к настоящему времени получены необходимые и достаточные условия оптимальности, а. также разработаны итерационные процедуры последовательного улучшения. Однако авторам не известно о существовании каких-либо работ, посвящённых вопросам существования оптимальных управлений. Отчасти восполнить этот пробел призвана, данная статья. Напомним, что для классической задачи оптимального управления основной способ доказательства, существования решения состоит в том, чтобы установить эквивалентность этой задачи некоторой задаче математического программирования, состоящей в минимизации непрерывной функции на. множестве достижимости рассматриваемой управляемой системы. Тогда., в силу классической теоремы Вейерштрасса, условия компактности множества, достижимости и будут условиями существования оптимального управления. В данной работе мы показываем, что для рассматриваемой в статье гибридной системы подобный подход также может быть применён. Эквивалентная задача, математического программирования
* Работа, выполнена, при финансовой поддержке РФФИ, грант 16-31-00184, при частичной финансовой поддержке Совета, по грантам Президента. Российской Федерации для государственной поддержки ведущих научных школ Российской Федерации (НШ-8081.2016.9).
оказывается несколько сложнее, а доказательство компактности множества её допустимых значений требует уже знания свойств интегральной воронки управляемой системы, а не её множеств достижимости.
Ключевые слова: гибридные системы, дискретно-непрерывные системы, оптимальное управление, теоремы существования.
1. Постановка задачи
Гибридные или, в другой терминологии, дискретно-непрерывные системы широко применяются для моделирования различных технических процессов; с рядом примеров можно ознакомиться, например, в книге [6]. Математической теории оптимального управления такими системами посвящено большое число статей. Среди них мы выделим работы [1; 2; 3; 4], которые позволяют кратко ознакомиться с последними результатами, относящимися к ключевым вопросам теории оптимального управления — поиску необходимых и достаточных условий оптимальности и построению численных методов.
Гибридная система, рассматриваемая в данной работе, состоит из параметризованного семейства обыкновенных систем
х = f(t,x,y,u), и G U, (1.1)
многозначного отображения (t, х, у) н-> Y(t, х, у) и множества Q. Здесь х € Rra — фазовая переменная, у € Мт — параметр, и € U — управление, U — компактное подмножество R', множество Q задаёт начальные условия, a Y определяет логику переключения параметра у.
Управлять такой системой можно как выбирая обычное управление и(-), так и изменяя значение параметра у. Покажем, как это делается.
Начальное состояние системы и начальное значение параметра выбираются из условия (to,Xo,yo) € Q. Затем фиксируется допустимое управление щ(-) и до момента времени t\ > ¿о траектория гибридной системы определяется уравнением
х = f (t,x,y0,u0(t)).
В произвольный момент времени t\ > ¿о значение параметра может быть изменено с уо на некоторое у\ € Y(ti,x(t\),yo). Затем выбирается новое допустимое управление и\(-). Дальнейшая эволюция системы (1.1) определяется уравнением
X = f (t,X,yi,Ui(t))
вплоть до момента времени ¿2 > ¿1 и т.д.
Будем предполагать, что число переключений параметра у конечно и равно N, момент последнего (по сути фиктивного) переключения tдг
фиксирован и равен Т. Таким образом, управление в данной системе состоит из набора функций ио(•),...,un(-), моментов переключения to,...,tN и параметров yo,...yN- Пару, состоящую из управления и соответствующей ему траектории, будем называть процессом и обозначать его символом
Цель данной заметки — доказать существование оптимальных управлений в задаче минимизации целевого функционала
N
J[S] =52ФАи,х(и),Уг) (1.2)
г=0
на множестве всех допустимых процессов системы (1.1).
2. Существование оптимальных управлений
Положим F(t,x,y) = f(t,x,y,U). Всюду в дальнейшем предполагаем, что F: R+ х Rra х Rm —> Rra — полунепрерывное сверху многозначное отображение с непустыми выпуклыми компактными значениями, удовлетворяющее условию подлинейного роста: для любого компактного К с Rm существует Ск > 0 такое, что
dH(F(t, х, у), 0) < Ск( 1 + |ж|) Vi е R+ Ухе Rra Уу € К,
где с?я — метрика Хаусдорфа. Будем считать, что значения многозначного отображения Y: R+ х Rra х Rm —> Rm не пусты и компактны, график его замкнут, а само оно ограничено. Наконец, Q предполагаем непустым и компактным, а функции фj непрерывными.
Рассмотрим дифференциальное включение
х € F(t, х, у), (2.1)
зависящее от параметра у. Обозначим его интегральную воронку, стартующую из точки (t,x), символом S(t,x,y). Другими словами, S(t,x,y) состоит из таких точек, которые можно соединить с (t,x) решением включения (2.1) при фиксированном у.
Зафиксируем числа N € N и Т > 0. При наших предположениях из стандартных теорем существования для дифференциальных включений вытекает, что множество S(t, х, у) не пусто для любых t, х, у. Следовательно, всегда существует последовательность {(¿д., Xk, Ук)}к=о> удовлетворяющая для всех к условиям
(to,x0,y0) € Q. (2.2)
tk < ifc+ъ tN = T, (2.3)
{tk+i,Xk+i) € S(tk,xk, Ук), (2.4)
yk+i € Y{tk+i,xk+i,yk). (2.5)
Любую такую последовательность мы будем называть решением системы (2.2)-(2.5). Каждое решение а = {(tk,Xk,îjk)}к=о лежит в пространстве
([О,Г] х Rra х Rm)N+1 (2.6)
с нормой ||<7 -а'\\ = Y,k=o (Kfc - 41 + \х ~ 41 + IУк ~ Ук\) •
Лемма 1. Множество решений задачи (2.2)-(2.5) компактно в пространстве (2.6).
Доказательство. 1. Докажем, что множество решений ограничено. Поскольку Y ограниченно, то существует компакт К С К"1 такой, что
Y(t, х,у) <ZK Vi € [О, Т] Ух еГ Уу € Мт
К можно выбрать так, чтобы оно содержало множество
Qy = {у : (t,x,y) € Q}.
Тогда, каким бы ни было решение <т, мы имеем у^ € К для всех к. Кроме того, существует Ск > 0 такое, что
dH(F(t,x,y),0) < Ск(1 + |ж|) Vi G [О,Г] Ух eRn Уу е К.
Следовательно, любое решение включения (2.1), соответствующее некоторому у £ К, будет также решением включения
х е в(о,Ск(1 + \х\)).
В частности, если обозначить через SB(t,x) интегральную воронку этого включения, выходящую из точки (i, х) и длящуюся вплоть до момента времени Т, то S(t,x,y) С SB(t,x), Vi € [О,Т], Ух € Мга, Уу € К. Отсюда вытекает, что для любого решения a (ífc+i,£fc+i) € SB(tk,Xk), Ук. В силу полугрупповых свойств интегральной воронки получаем, что
(tk,xk) € SB(t0,x0) Ук.
Интегральную воронку SB(to,Xo) легко оценить с помощью леммы Бел-лмана-Гронуолла:
SB(to,xo) С [t0,T] х В (х0,СК(Т - í0)ec*(T"ío)) .
Пусть Qx = {х : (t,x,y) € Q}. Тогда
SB(to,Xo) С [О, Т] х В (<Qx, СкТеСкТ) Ví0 € [О, Т] Ух0 € Qx. Следовательно, введя обозначение
M = [0,T] xB(Qx,CKTeCKT),
мы можем записать
хк € М Ук,
если Хк — компонента произвольного решения а. Таким образом, все решения системы (2.2)-(2.5) принадлежат множеству ([0,Т] х М х К)м+1.
2. Докажем, что множество решений замкнуто. Согласно [5, следствие 5.2] многозначное отображение ¿> является полунепрерывным сверху, а его значения являются компактными множествами. Поэтому теми же свойствами обладает сужение ¿> на множество [О, Т] х М х К. Кроме того, это сужение является ограниченным, а значит имеет замкнутый график. Пусть (Г/,, — последовательность решений, сходящаяся к некоторому а при к —> оо. Другими словами,
Ьк^Ьк, х\^хк, Ук Ук Ук.
Кроме того,
Й,^Й)е[0,Т]хМхК УкУк.
Теперь, учитывая замкнутость множества а также графиков многозначных отображений ¿>|[о,т]хМхй: и ^ легко видеть, что а удовлетворяет всем условиям системы (2.2)—(2.5). □
Теорема 1. В задаче (1.1), (1.2) существует оптимальное управление.
Доказательство. Нам достаточно показать, что задача (1.1), (1.2) эквивалентна задаче минимизации функции
N
ф{(г) = У^Фк^к,Хк,Ук),
к=О
на множестве решений системы (2.2)—(2.5), поскольку последняя задача имеет решение в силу леммы 1 и теоремы Вейерштрасса. Как обычно, две задачи минимизации считаются эквивалентными, если для любой допустимой точки одной из них найдется допустимая точка другой с тем же значением функционала.
Пусть — допустимый процесс в системе (1.1), (1-2), состоящий из траектории х(-) и управления {(ик(-)^к,Ук)}к=о- Тогда последовательность а = Шк,х(1к),Ук)}к=о очевидно является решением системы (2.2)-(2.5) и = ф(а).
Обратно, пусть дана последовательность а = Щк,Хк,Ук))к=о^ УД°" влетворяющая системе (2.2)—(2.5). Согласно лемме Филиппова, для каждого к = 0,..., N — 1, существует управление «&(•) такое, что траектория Хк(-) системы
X = ¡^,Х,Ук,ик^))
соединяет точки (Ьк,Хк) и (Ьк+1,Хк+1). Положим
Легко видеть, что £ = {(зд(-), — допустимый процесс в зада-
че (1.1), (1.2) и = ф(а). □
Замечание 1. Теорема легко переносится на случай, когда число переключений не фиксировано, но ограничено некоторым Щ. Нужно лишь найти оптимальное решение для каждого N < Щ и выбрать лучшее.
Список литературы
1. Метод улучшения управления для иерархических моделей систем сетевой структуры / В. И. Гурман, И. В. Расина, О. В. Фесько, О. В. Усенко // Изв. Иркут. гос. ун-та. Сер. Математика. - 2014. - Т. 8. - С. 71-85.
2. Дмитрук А. В. Принцип максимума для задач оптимального управления с промежуточными ограничениями / А. В. Дмитрук, А. М. Каганович // Нелинейная динамика и управление : сб. ст. / под ред. С.В. Емельянова, С.К. Коровина. - М. : Физматлит, 2008. - С. 101-136.
3. Сорокин С. П. Достаточные условия оптимальности в форме принципа максимума Понтрягина для задач управления гибридными системами / С. П. Сорокин // Сиб. журн. индустр. математики. - 2011. - Т. 14, № 1. -С. 102-113.
4. Garavello М. Hybrid necessary principle / Mauro Garavello, Benedetto Piccoli // SIAM J. Control Optim. - 2005. - Vol. 43, N 5. - P. 1867-1887.
5. Tolstonogov A. Differential inclusions in a Banach space. Transl. from the Russian. Revised and updated edition. Dordrecht: Kluwer Academic Publishers, revised and updated edition ed., 2000. xv + 302 p.
6. Van der Schaft A., Schumacher H. An introduction to hybrid dynamical systems. London: Springer, 2000. xi + 174 p.
Малтугуева Надежда Станиславовна, программист, Институт динамики систем и теории управления им. В. М. Матросова СО FAH, 664033, г. Иркутск, ул. Лермонтова, 134, тел.: (3952)453037 (e-mail: [email protected])
Погодаев Николай Ильич, кандидат физико-математических наук, Институт динамики систем и теории управления им. В. М. Матросова СО FAH, 664033, г. Иркутск, ул. Лермонтова, 134, тел.: (3952)453052 (e-mail: [email protected])
N. S. Maltugueva, N. I. Pogodaev
Existence of Solutions to an Optimal Control Problem for a Hybrid System
Abstract. In this note we consider an optimal control problem for a hybrid dynamical system. In Russian literature such systems are also called discrete-continuous or mixed logical dynamical systems. Hybrid systems usually appear as mathematical models of various technical processes. For example, they describe the functioning of automobile transmissions, temperature control systems, certain processes with hysteresis, dynamical systems with collisions or Coulomb friction, and many others. Mathematical theory of optimal control for such systems is currently well-developed; in particular, necessary and sufficient optimality conditions are found and numerical algorithms are constructed. On the other hand, the authors are not aware of any results on existence of optimal controls. The aim of the paper is to fill the above mentioned gap. Recall that to prove the existence is enough to show that the initial optimal control problem is equivalent to a nonlinear optimization problem that consists in minimizing a continuous function on a reachable set of the control system. Then, according to the Weierstrass theorem, conditions ensuring compactness of the reachable set also ensure the existence of an optimal control. In this work we show that a similar approach can be applied to the hybrid dynamical system. The auxiliary nonlinear optimization problem is slightly different, so that in order to prove the compactness of the feasible set one must use properties of the integral funnel of a control system rather than those of its reachable sets.
Keywords: hybrid systems, optimal control, existence theorems.
References
1. Gurman V.I., Rasina I.V., Fesko O.V., Usenko O.V. An improvement method for hierarchical models of systems with network structure. Izv. Irkutsk. Cos. Univ. Ser. Mat., 2014, vol. 8, pp. 71-85. (in Russian)
2. Dmitruk A.V., Kaganovich A.M. A maximum principle for optimal control problems with intermediate constraints. Nonlinear dynamics and control, 2008, vol. 6, pp. 101-136, (in Russian)
3. Sorokin S. P. Dostatochnye usloviya optimal'nosti v forme printsipa maksimuma Pontryagina dlya zadach upravleniya gibridnymi sistemami [Sufficient conditions for optimality in the form of the Pontryagin maximum principle for control problems of hybrid systems]. Sib. Zh. Ind. Mat., 2011, vol. 14, no 1, pp. 102-113. (in Russian)
4. Garavello M., Piccoli B. Hybrid necessary principle. SIAM J. Control Optim., 2005, vol. 43, no 5, pp. 1867-1887. https://doi.org/10.1137/S0363012903416219
5. Tolstonogov A. Differential inclusions in a Banach space. Transi, from the Russian. Revised and updated ed.. Dordrecht, Kluwer Academic Publishers, 2000. xv + 302 p. https://doi.org/10.1007/978-94-015-9490-5
6. Van der Schaft A., Schumacher H. An introduction to hybrid dynamical systems. London, Springer, 2000. xi + 174 p. https://doi.org/10.1007/BFb0109998
Maltugueva Nadezhda Stanislavovna, Programmer, Matrosov Institute for System Dynamics and Control Theory SB RAS 134, Lermontov st., Irkutsk, 664033, tel.: (3952)453037 (e-mail: [email protected])
Pogodaev Nikolay Il'ich, Candidate of Sciences (Physics and Mathematics), Matrosov Institute for System Dynamics and Control Theory SB RAS 134, Lermontov st., Irkutsk, 664033, tel.: (3952)453052 (e-mail: [email protected])
