Научная статья на тему 'Оценки множеств достижимости систем с импульсным управлением, неопределенностью и нелинейностью'

Оценки множеств достижимости систем с импульсным управлением, неопределенностью и нелинейностью Текст научной статьи по специальности «Математика»

CC BY
167
37
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
УПРАВЛЯЕМАЯ СИСТЕМА / МНОЖЕСТВО ДОСТИЖИМОСТИ / ИМПУЛЬСНОЕ УПРАВЛЕНИЕ / ОЦЕНИВАНИЕ СОСТОЯНИЙ / НЕОПРЕДЕЛЕННОСТЬ / CONTROL SYSTEM / REACHABLE SET / IMPULSE CONTROL / STATE ESTIMATION / UNCERTAINTY

Аннотация научной статьи по математике, автор научной работы — Филиппова Татьяна Федоровна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Estimates of Reachable Sets for Systems with Impulsive Control, Uncertainty and Nonlinearity

The problem of estimating trajectory tubes for nonlinear controlled dynamical systems with uncertainty in the initial data is studied. It is assumed that the dynamic system has a special structure in which the nonlinear terms are defined by quadratic forms on state coordinates and the values of uncertain initial states and admissible controls are constrained by ellipsoidal restrictions. Matrix of linear terms in the state system velocities is also not exactly known, but it belongs to the known compact in the corresponding space, i.e. the dynamics of the system is complicated by the presence of bilinear components in the right-hand sides of the system of differential equations. We solve the problem of estimating the reachable sets of nonlinear control system of this kind, the results make it possible to construction of the corresponding numerical algorithms. We solve here the problem of estimating the reachable sets of nonlinear controlled system of this kind, the results make it possible to construct the corresponding numerical algorithms.

Текст научной работы на тему «Оценки множеств достижимости систем с импульсным управлением, неопределенностью и нелинейностью»

Онлайн-доступ к журналу: http://isu.ru/izvest.ia.

Серия «Математика»

2017. Т. 19. С. 205-216

УДК 517.977

MSG 93В03, 93С41, 49N25

DOI https://doi.org/10.26516/1997-7670.2017.19.205 Оценки множеств достижимости систем с импульсным управлением, неопределенностью и нелинейностью *

Т. Ф. Филиппова

Институт математики и механики им. Н. Н. Красовского УрО РАН

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

Ключевые слова: управляемая система., множество достижимости, импульсное управление, оценивание состояний, неопределенность.

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

Введение

* Работа, выполнена, при финансовой поддержке Российского научного фонда, (проект РНФ №16-11-10146).

точного множества достижимости управляемой системы или его приближения возникает при решении многих задач математической теории управления [5; 6; 7], дополнительные сложные вопросы возникают при определении областей достижимости систем с обобщенными управлениями импульсного типа. Исследованиям многих классических вопросов теории импульсного управления, в том числе условий оптимальности в нелинейных задачах динамической оптимизации с разрывными траекториями, системам с импульсными управлениями, содержащими дельта-функции Дирака, задачам с фазовыми ограничениями для систем с импульсными управлениями и другим вопросам теории посвящено большое число работ, отметим среди них исследования [1; 2; 3; 4; 20]. Следует подчеркнуть, что геометрия множеств достижимости нелинейных динамических систем может быть очень сложной даже для систем классического типа, не содержащих обобщенных управлений. В этих случаях актуально построение аппроксимаций множеств достижимости и интегральных воронок динамических систем [15], а также приближение множеств достижимости областями определенной канонической формы, например, эллипсоидами или многогранниками.

В последние годы разработана полная теория построения эллипсоидальных оценок (внешних и внутренних) множеств достижимости линейных управляемых систем с неопределенностью, основанная на технике эллипсоидального исчисления [11; 16; 17]. В рамках этого подхода основная задача состоит в нахождении эллипсоида (или семейства эллипсоидов) в фазовом пространстве, оценивающего сверху или снизу по отношению к операции включения множеств искомую область достижимости. Отметим, однако, что в силу специфики аппарата исследования и общих предположений о структуре динамики системы этот подход не может быть в полной мере использован в нелинейном случае для описания и оценивания траекторных трубок неопределенных систем общего вида. Для некоторых классов нелинейных динамических систем с неопределенностью в динамике и начальных данных в работах [8; 9; 10; 13] были намечены подходы к решению задач оценивания состояний таких нелинейных систем.

В данной работе техника эллипсоидального исчисления развивается для трубок траекторий нелинейных управляемых импульсных систем с неопределенностью по начальным данным. Предлагается, что импульсные управления в рассматриваемой системе задаются скалярными функциями ограниченной вариации. Неопределенность по начальным данным здесь состоит в том, что начальное состояние не известно точно, дано лишь, что начальный фазовый вектор системы принадлежит заданному эллипсоиду соответствующего фазового пространства. При помощи специальной разрывной замены времени [19; 20] рассматриваемая импульсная система преобразуется в обыкновенное дифференциальное включение, уже не содержащее обобщенных функций. Основная

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

1. Постановка задачи и предварительные сведения

Пусть Rra обозначает n-мерное евклидово пространство, compR™ -множество всех компактных подмножеств из Rra, convR"- — множество всех компактных выпуклых подмножеств из Rra. Символ (х, у) обозначает скалярное произведение векторов ж, у € Rra, символ || х || = (х,х)1/2 — евклидова норма вектора х, ' - знак транспонирования, шар В (а, г) = { х € Rra : || х — а || < г}, символ E(y,Y) = {х € Rra : (Y~l(x — у), (х — у)) < 1} обозначает эллипсоид в Rra с центром у и симметрической положительно определенной п х n-матрицей Y, Тг(У) — след (сумма диагональных элементов) п х n-матрицы Y, I — единичная п х п-матрица.

Рассмотрим управляемую систему следующего вида

dx{t) = {A{t)x +f{x)d + u{t))dt + Gdv{t), х € Rra, t0<t<T, (1.1)

с неизвестным, но ограниченным начальным состоянием

x(t0) = xq, х0 е Х0 = Е(а0, Q0), (1.2)

и измеримым управлением u(t), стесненным ограничением

u(t)eE(â,Q), t0<t<T, (1.3)

v(t) —скалярная функция ограниченной вариации, непрерывная справа на отрезке [to,T] и удовлетворяющая ограничению (параметр ц, > 0 задан):

Vari€[io,T] v(t) < ц.

Здесь a,â,d € Rra; матрицы В и Q — симметрические и положительно определенные.

Будем предполагать, что нелинейная функция f(x) в (1.1) является квадратичной формой:

/(ж) = х'Вх, х € Rra, (1.4)

где В — симметрическая положительно определенная п х п-матрица.

208 т. ф. филиппова

Предположим, что матрица А(Ь) (размерности п х п) имеет вид А({) = А0 + где п х п-матрица А0 задана, а измеримая п х п-

матрица А1^) с элементами [г,] = 1 £ € [¿о,?1]) точно

не известна, но дано ограничение на неизвестные элементы

^(¿)еД={А = {ау}еМгахга:|ау|<Су, г,; = 1,... и}, (1.5)

где числа с^- >0 (г, = 1,... п) заданы.

Обозначим символом Ы класс всех допустимых измеримых управлений и(-), символом V класс допустимых управлений-мер г>(-) и символом ж(-) = ж(-; м(-), г>(-), А1 (•)) - решение системы (1.1)-(1.5) на промежутке [¿о,?1] при жо € Хо, и(-) € Ы, г>(-) € V и € Д.

Трубку траекторий системы (1.1)-(1.5) обозначим ( 1о <t <Т)

Отметим, что сечение Х(£) = Х(£;£о)Хо) трубки траекторий Х(-) в момент времени Ь € [¿с),Т] совпадает со множеством достижимости системы (1.1)-(1.5) в момент £ из начального состояния {¿о,Хо}.

В работе рассмотрены схемы построения оценок трубок траекторий Х(-) и множеств достижимости Х(£) системы (1.1)-(1.5), основанные на идеях и методах эллипсоидального исчисления.

Далее будем считать, что выполнено следующее предположение (детали и обсуждение можно найти в [9]).

Предположение. Будем считать, что все решения системы (1.1)-(1.5) определены на всем промежутке [Ьо,Т] для любых допустимых хо и всех возможных {и(-), г>(-), А1 (•)} и не выходят за пределы некоторой компактной области фазового пространства, то есть существует к > 0 такое, что

||ж(-)|| = < к, Ухо € Хо,

Уи(-) еУ,/!1^ € А.

2. Вспомогательные оценки

Предположим далее, что начальное множество Хо динамической системы системы (1.1)-(1.5) и множество 17, задающее ограничение на измеримые управления и(Ь) в (1.3), являются эллипсоидами

Х0 = Е{а, к2В'1) (кф 0), 17 = Е{а, Я). (2.1)

Предположим также дополнительно, что неопределенность по матричным коэффициентам в системе отсутствует, и матрица А задана.

Рассмотрим расширенное дифференциальное включение

|(0ея(т-1) (2-2)

z(to)=XoeXo = E(a,k2B-1), T(to)=to, t0<r]<T + iJ,,

где

Н(т, z) = [J I{1_u)(Az + fW + EfrQ)\ + u(GQ)\.

о< v< 1 ^ ^ / \ / J

(2.3)

Теорема 1. Для всех а > 0 справедлива внешняя оценка множества достижимости W(to + а) = W(to + a]to,Xo х {to}) включения (2.2)-(2.3)

W(t0 + ,) с 0SU£1 ( "» ) - «»wo. 1).

а'1 о(а) = 0.

Здесь 0,1) — единичный шар в пространстве Ra+l (с центром в начале координат и радиусом 1), параметры эллипсоида

E(a+(a,v),Q+(a,v))

определяются равенствами

а+(а, и) = a (a, и) + <г(1 — и) а + auG,

(2-5)

Q+(a, и) = (р-1 + l)Q(a, и) + (р + 1)<т2(1 - z/)2Q, где р = р(а, v) — единственное положительное решение уравнения

п 1 ч - 1 п

^ Р + Aj р(р + 1) '

a Xi = Aj(<т, г/) > 0 — корни уравнения \Q(a, v) — А<т2(1 — = 0 и

а(а, и) = а + <т(1 — и)(Аа + а'Ба • d + k2d),

(2.6)

Q(<7,г/) = fc2(/ + aR)B~l(I + <7Д)', Д = (1 - 1/)(Л + 2da'В).

Доказательство. Применяя схему работ [8; 9], с соответствующими поправками в подсчете параметров оценивающих эллипсоидов, вызванными наличием дополнительных множителей (1 — г/) и v в правых частях дифференциального включения (2.2)—(2.3), приходим к заключению теоремы. □

Замечание 1. Теорема 1 может быть использована для построения численных алгоритмов оценивания множеств достижимости систем рассматриваемого в данном разделе типа (см. также [8; 9; 10; 14]).

Рассмотрим еще один вспомогательный результат, нужный в дальнейшем. Пусть дана динамическая система следующего вида

х = A(t) х, t0 < t < Т, х0 € Х0 = Е(ао, Q0). (2.7)

Здесь матричная функция A(t) удовлетворяет соотношениям

A(t) = A° + Al(t), (2.8)

где матрица ЛР задана, a A1(i) не известна, но ограничена: A1(i) € А1 (t € [to,T]),

Д1 = {A={ay}eRraxra : \агз\<сгз, i,j=l,...n}, (2.9)

числа Cij > 0 (г, j = 1,... п) заданы.

Тогда внешнюю эллипсоидальную оценку множества достижимости Х(Т) системы (2.7) можно найти, применив следующий результат.

Теорема 2 ([12]). Пусть функции a+(t) и Q+(t) удовлетворяют соотношениям

à+ = А°а+, a+(t0) = а0, (2.10)

Q+ = A°Q+ + Q+A0' + qQ+ + q~lG, Q+(t0) = Qo, t0 < t < T, (2.11) <?=(n-1Tr((Q+)"1G))1/2,

n n 2

G = diag Un - v) f c3i\at\ + ( max ^ Qpqcjpcjqajpajq)1/2) },

i=l a-{aijïp,q= 1

(2.12)

максимум в (2.12) вычисляется по всем Oij = ±1, i,j = 1 ,...,п, таким, что Cij ф 0, и v равно числу индексов is г, для которых сij = 0 для всех j = 1,..., п. Тогда верна оценка

X(t) ç E(a+(t),Q+(t)), t0<t<T. (2.13)

Следствие 1. Имеет место следующее включение

X(t0 + <т) ç (J + а А) Хо + oi(<t)5(0, 1) ç

(2.14)

E(a+(t0 + a), Q+(t0 + а)) + о2(а)В(0,1), где (T~lOi((r) —> 0 при а —> +0 (г = 1,2) и

(1 + аЛ)Хо= |J \J{x + oAx).

x&XQ АеЛ

Заметим, что отдельные свойства систем указанного вида рассматривались также в работах [10; 18].

3. Импульсная система: общий случай

Рассмотрим следующую систему (¿о < t < Т, х € Rn)

dx(t) = (Ax(t) + х'Вх ■ d + u(t))dt + Cdv(t),

A(t)=A° + A1(t), A\t)^A\ (ЗЛ)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

где В — положительно определенная матрица, А0 € Rnxn, d,CeRn, множество А1 определено в (2.9). Здесь v : [to,T] —>• R — функция ограниченной вариации на [to,T], монотонно возрастающая и непрерывная справа,

к

Var v(t) = supY^ \v(U) - v(U-i)\ < ¡1,

^[to.T] {ti} ^

где ti : to < t\ < ... < tk = Т. Предположим также, что Xo = E(a, к2В-1) {кф 0), u(t) € U = E(a, Q).

Введем, как в предыдущем разделе, дополнительные переменные времени ([19])

t

„м = «+/*(.)

to

и координаты

т(г]) = inf{t | r](t) > Г]} и рассмотрим включение

z(t0)=xо € ЛЬ, r(io)=io, to<r]<T + n, H(r,z)= U {„ (Cy{1_u)^Az + z>Bz^d+E(ä,Q)^ j

Обозначим w = {z,t} расширенный вектор состояния системы (3.2), множество достижимости системы (3.2) обозначим символом W{rj) = W(r?; to,wo,A, ЛЬ х {i0}) (¿о < rj < Т + ц).

Теорема 3. Верно включение (здесь а > 0)

W(i0 + (x)C у W(to, а, и) + о(а)В*(0,1), lim <т_1о((т) = О,

0<v< 1 о-^+О

W(t тЛ- ( E{a*(a,u),Q*(a,u))\ a*(cr, и) = ä(cr, и) + (т(1 — и) (а'В а ■ d, + k2d + a) + <тг/С, Q V, = (Р'1 + ") + (Р + " vfQ,

(3.3)

где функции а(а, и), Q(a, v) вычисляются аналогично a+(to+a), Q+(to+ а) в Теореме 2 при подстановке вместо матриц Qo и

А0 в (2.10)-

(2.12), соответственно, матриц

Qo = k2B~\ 1°(г/) = (1 " + 2d • а'оВ).

Здесь (0,1) — единичный шар в расширенном пространстве Мга+17 р = р(а, V) — единственный положительный корень уравнения

п 1 ч - 1 П

^ Р + Ai р(р + 1)

и \i = \i(o,v) >0 (i = 1,... ,п) удовлетворяют соотношениям

\Q(cr, v) — Л(Т2(1 — V)2Q\ = 0.

Доказательство. Применяя теорему 2 и используя конструкции вспомогательной системы (3.2), приходим к соотношениям (3.3). □

Из теоремы 3 и конструкции вспомогательной системы вытекает следующая оценка множества достижимости системы (1.1)—(1.5) при малых сдвигах во времени, которая может быть использована в качестве базового элемента пошагового алгоритма построения внешней по включению оценки множества достижимости исследуемой системы на всем промежутке времени.

Следствие 2. Справедливо включение:

X(to + <т) С 7TzW(t0 + а) + о(а)В(0,1), lim а~го(а) = 0.

<7—>+0

Замечание 2. Численные алгоритмы для близких по постановкам схем оценивания состояний неопределенных импульсных систем и соответствующие иллюстрирующие примеры приведены в работах [9; 10].

ОЦЕНКИ МНОЖЕСТВ достижимости 4. Заключение

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

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

Список литературы

1. Гурман В. И. Принцип расширения в задачах управления / В. И. Гурман. -М. : Наука, 1985.

2. Гурман В. И. Представление и реализация обобщенных решений управляемых систем с неограниченным годографом / В. И. Гурман, Ю. Л. Сачков // Автоматика и телемеханика. - 2008. - № 4. - С. 72-80.

3. Дыхта В. А. Оптимальное импульсное управление с приложениями / В. А. Дыхта, О. Н. Самсонюк. - М. : Физматлит, 2000.

4. Завалищин С. Т. Импульсные процессы: Модели и приложения / С. Т. Зава-лищин, А. Н. Сесекин. - М. : Наука, 1991.

5. Красовский Н. Н. Теория управления движением / Н. Н. Красовский -М.: Наука, 1968.

6. Кротов В. Ф. Методы и задачи оптимального управления / В. Ф. Кротов, В. И. Гурман. - М. : Наука, 1973.

7. Куржанский А. Б. Управление и наблюдение в условиях неопределенности / А. Б. Куржанский. - М.: Наука, 1977.

8. Филиппова Т. Ф. Построение многозначных оценок множеств достижимости некоторых нелинейных динамических систем с импульсным управлением / Т. Ф. Филиппова // Тр. Ин-та математики и механики УрО РАН. - 2009. -Т. 15. - № 4. - С. 262-269.

9. Филиппова Т. Ф. Алгоритмы оценивания множеств достижимости импульсных управляемых систем с эллипсоидальными фазовыми ограничениями / Т. Ф. Филиппова, О. Г. Матвийчук // Автоматика и телемеханика. - 2011. -№ 9. - С. 127-141.

10. Филиппова Т. Ф. Задачи импульсного управления в условиях неопределенности / Т. Ф. Филиппова, О. Г. Матвийчук // Труды XII Всероссийского совещания по проблемам управления (ВСПУ-2014). ИПУ РАН, 16-19 июня 2014. - М., 2014. - С. 1024-1032.

11. Черноусько Ф. Л. Оценивание фазового состояния динамических систем / Ф. Л. Черноусько. - М. : Наука, 1988.

12. Черноусько Ф. Л. Эллипсоидальная аппроксимация множеств достижимости линейной системы с неопределенной матрицей / Ф. Л. Черноусько // Прикл. математика и механика. - 1996. - Т. 60, № 6. - С. 940-950.

13. Filippova Т. F. Set-valued dynamics in problems of mathematical theory of control processes / T. F. Filippova // International Journal of Modern Physics В (IJMPB). - 2012. - Vol. 26, N 25. - P. 1-8.

14. Filippova T. F. Asymptotic behavior of the ellipsoidal estimates of reachable sets of nonlinear control systems with uncertainty / T. F. Filippova // Proceedings of the 8th European Nonlinear Dynamics Conference (ENOC 2014). Vienna, Austria, July 6-11, 2014, H. Ecker, A. Steindl and S. Jakubek (eds.), Institute of Mechanics and Mechatronics, TU-Vienna, Austria. CD-ROM volume (ISBN: 978-3-200-03433-4). Paper-ID 149. - Vienna, 2014. - P. 1-2.

15. Kurzhanski A. B. On the theory of trajectory tubes - a mathematical formalism for uncertain dynamics, viability and control /А. B. Kurzhanski, T. F. Filippova // Advances in nonlinear dynamics and control: a report from Russia (A.B. Kurzhanski, ed.) / Progress in Systems and Control Theory. - Boston: Birkhauser, 1993. - Vol. 17. - Pp. 122-188.

16. Kurzhanski A. B. Ellipsoidal calculus for estimation and control / A. B. Kurzhanski, I. Valyi - Boston: Birkhauser, 1997.

17. Kurzhanski A. B. Dynamics and control of trajectory tubes, theory and computation. Systems & control: foundations & applications, Vol. 85. / A. B. Kurzhanski, P. Varaiya - Basel: Birkhauser, 2014.

18. Matviychuk O. G. Ellipsoidal estimates of reachable sets of impulsive control systems with bilinear uncertainty / O. G. Matviychuk // Cybernetics and Physics Journal. - 2016. - Vol. 5, no 3. - Pp. 96-104.

19. Rishel R. An extended Pontryagin principle for control system whose control laws contain measures /R. Rishel // SIAM J. Control. - 1965. - Vol. 3. - Pp. 191-205.

20. Vinter R. B. A maximum principle for optimal processes with discontinuous trajectories / R. B. Vinter, F. L. Pereira // SIAM J. Contr. and Optimization. -1988. - Vol. 26, no 1. - Pp. 205-229.

Филиппова Татьяна Федоровна, доктор физико-математических наук, профессор, зав. отделом, Институт математики и механики им. И.И. Красовского УрО РАН, 620990, г. Екатеринбург, ул. С. Ковалевской, 16; тел.: (343)3753442 (e-mail: ftf@inrn.uran.ru)

Т. F. Filippova

Estimates of Reachable Sets for Systems with Impulsive Control, Uncertainty and Nonlinearity

Abstract. The problem of estimating trajectory tubes for nonlinear controlled dynamical systems with uncertainty in the initial data is studied. It is assumed that the dynamic system has a special structure in which the nonlinear terms are defined by quadratic forms on state coordinates and the values of uncertain initial states and admissible controls are constrained by ellipsoidal restrictions. Matrix of linear terms in the state system velocities is also not exactly known, but it belongs to the known compact in the corresponding space, i.e. the dynamics of the system is complicated by

the presence of bilinear components in the right-hand sides of the system of differential equations. We solve the problem of estimating the reachable sets of nonlinear control system of this kind, the results make it possible to construction of the corresponding numerical algorithms. We solve here the problem of estimating the reachable sets of nonlinear controlled system of this kind, the results make it possible to construct the corresponding numerical algorithms.

Keywords: control system, reachable set, impulse control, state estimation, uncertainty.

References

1. Gurman V. I. Printsip rasshireniya v zadachakh upravleniya [The Extension Principle in Control Problems]. Moscow, Nauka, 1985.

2. Gurman V. I., Sachkov Yu. L. Representation and Realization of the Generalized Solutions of the Unlimited-locus Controllable Systems. Autom. Remote Control, 2008, vol. 69, no 4, pp. 609-617. https://doi.org/10.1134/S0005117908040073

3. Dykhta V. A., Samsonyuk O. N. Optimal'noe impul'snoe upravlenie s prilozheniyami [Optimal Impulsive Control with Applications]. Moscow, Fizmatlit, 2000.

4. Zavalishchin S. T., Sesekin A. N. Impul'snye processy: modeli i prilozhenija [Impulse Processes: Models and Applications]. Moscow, Nauka, 1991.

5. Krasovskii N. N. Teoriya upravleniya dvizheniem [Theory of motion control]. Moscow, Nauka, 1968.

6. Krotov V. F., Gurman V. I. Metody i zadachi optimal'nogo upravleniya [Methods and Problems of Optimal Control]. Moscow, Nauka, 1973.

7. Kurzhanski A. B. Upravlenie i nablyudenie v usloviyakh neopredelennosti [Control and Observation under Uncertainty]. Moscow, Nauka, 1977.

8. Filippova T. F. Construction of Set-valued Estimates of Reachable Sets for Some Nonlinear Dynamical Systems with Impulsive Control. Proceedings of the Steklov Institute of Mathematics (Supplementary issues), 2010, vol. 269, suppl. 1, pp. 95102. https://doi.org/10.1134/S008154381006009X

9. Filippova T. F., Matviichuk O. G. Algorithms to Estimate the Reachability Sets of the Pulse Controlled Systems with Ellipsoidal Phase Constraints. Autom. Remote Control, 2011, vol. 72, no 9, pp. 1911-1924. https://doi.org/10.1134/S000511791109013X

10. Filippova T. F., Matviichuk O. G. Problems of Impulse Control under Uncertainty [Zadachi impul'snogo upravleniya v usloviyakh neopredelennosti]. Trudy XII vserossiyskogo soveshchaniya po problemam upravleniya [Proc. XII All-Russia conference on control problems (VSPU-2014). IPU RAS, June 16-19 2014.]. Moscow, 2014, pp. 1024-1032.

11. Chernousko F. L. Otsenivanie fazovogo sostoyaniya dinamicheskikh sistem [Estimation of the Pphase State of Dynamical Systems]. Moscow, Nauka, 1988.

12. Chernousko F. L. Ellipsoidal'naya approksimatsiya mnozhestv dostizhimosti lineynoy sistemy s neopredelennoy matritsey [Ellipsoidal Approximation of the Attainability Sets of a Linear System with an Uncertain Matrix]. Prikladnaya matematika i mekhanika [Applied Mathematics and Mechanics], 1996, vol. 60, no 6, pp. 940-950.

13. Filippova T. F. Set-valued Dynamics in Problems of Mathematical Theory of Control Processes. International Journal of Modern Physics B (IJMPB), 2012, vol. 26, no. 25, pp. 1-8. https://doi.org/10.1142/S0217979212460101

14. Filippova T. F. Asymptotic Behavior of the Ellipsoidal Estimates of Reachable Sets of Nonlinear Control Systems with Uncertainty. Proc. of the 8th European Nonlinear Dynamics Conference (ENOC 2014). Vienna, Austria, July 6-11, 2014, H. Ecker, A. Steindl and S. Jakubek (Eds.), Institute of Mechanics and Mechatronics, TU-Vienna, Austria. CD-ROM volume (ISBN: 978-3-200-03433-4). Paper-ID 149. Vienna, 2014, pp. 1-2.

15. Kurzhanski A. B., Filippova T. F. On the Theory of Trajectory Tubes - a Mathematical Formalism for Uncertain Dynamics, Viability and Control. Advances in Nonlinear Dynamics and Control: a Report from Russia (A.B. Kurzhanski, ed.) Progress in Systems and Control Theory. Boston, Birkhauser, 1993, vol. 17, pp. 122-188.

16. Kurzhanski A. B., Valyi I. Ellipsoidal Calculus for Estimation and Control. Boston, Birkhauser, 1997. https://doi.org/10.1007/978-l-4612-0277-6

17. Kurzhanski A. B., Varaiya P. Dynamics and Control of Trajectory Tubes, Theory and Computation. Systems & Control: Foundations & Applications, vol. 85. Basel, Birkhauser, 2014.

18. Matviychuk O. G. Ellipsoidal Estimates of Reachable Sets of Impulsive Control Systems with Bilinear Uncertainty. Cybernetics and Physics Journal, 2016, vol. 5, no 3, pp. 96—104.

19. Rishel R. An Extended Pontryagin Principle for Control System whose Control Laws Contain Measures. SIAM J. Control, 1965, vol. 3, pp. 191-205. https://doi.org/10.1137/0303016

20. Vinter R. B., Pereira F. L. A Maximum Principle for Optimal Processes with Discontinuous Trajectories. SIAM J. Contr. and Optimization, 1988, vol. 26, no 1, pp. 205-229. https://doi.org/10.1137/0326013

Filippova Tatiana Fedorovna, Doctor of Sciences (Physics and Mathematics), Professor, Head of Department, Krasovskii Institute of Mathematics and Mechanics UB RAS, 16, S. Kovalevskaya st., Ekaterinburg, 620990, tel.: (343)3753442 (e-mail: ftf@imm.uran.ru)

i Надоели баннеры? Вы всегда можете отключить рекламу.