Научная статья на тему 'Робастные свойства систем с отрицательным показателем однородности по отношению к запаздыванию'

Робастные свойства систем с отрицательным показателем однородности по отношению к запаздыванию Текст научной статьи по специальности «Математика»

CC BY
77
11
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОБОБЩЕННО ОДНОРОДНЫЕ СИСТЕМЫ / ЗАПАЗДЫВАНИЕ / РОБАСТНОСТЬ / НЕЛИНЕЙНЫЕ СИСТЕМЫ / WEIGHTED HOMOGENEOUS SYSTEMS / TIME-DELAY / ROBUSTNESS / NONLINEAR SYSTEMS

Аннотация научной статьи по математике, автор научной работы — Ефимов Д.В., Кремлев А.С.

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

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

Robust properties of systems with negative degree of homogeneity with respect to delay

The paper considers robustness problems of a class of weighted homogeneous systems with negative homogeneity degree in relation to the delay. It is shown that in the case of global asymptotic stability of a nonlinear weighted homogeneous system with negative homogeneity degree, in the presence of a delay in the system, all the trajectories converge asymptotically to some compact set containing the origin. In the absence of delay, such systems reach their equilibrium position in a finite time. The robustness analysis also covers cases of variable and multiple delays. The presented analysis is based on the application of the Lyapunov methods for delayed systems (the Lyapunov-Razumikhin function method) and the theory of weighted homogeneous systems. Computer simulation was performed to verify the analysis of system robustness with a negative degree of homogeneity in relation to the delay. A stabilizing system that represents a double integrator is used as an example. This system is weighted homogeneous with a negative degree when using a nonlinear state feedback control law that ensures that the system achieves its equilibrium position for the desired finite time. During computer simulation, the state vector was available for measurement with some delays. The computer simulation has confirmed the effectiveness of the presented theoretical results

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

НАУЧНО-ТЕХНИЧЕСКИИ ВЕСТНИК ИНФОРМАЦИОННЫХ ТЕХНОЛОГИИ, МЕХАНИКИ И ОПТИКИ ноябрь-декабрь 2017 Том 17 № 6 ISSN 2226-1494 http://ntv.i1mo.ru/

SCIENTIFIC AND TECHNICAL JOURNAL OF INFORMATION TECHNOLOGIES, MECHANICS AND OPTICS November-December 2017 Vol. 17 No 6 ISSN 2226-1494 http://ntv.ifmo.ru/en

УДК 681.51

РОБАСТНЫЕ СВОЙСТВА СИСТЕМ С ОТРИЦАТЕЛЬНЫМ ПОКАЗАТЕЛЕМ ОДНОРОДНОСТИ ПО ОТНОШЕНИЮ К ЗАПАЗДЫВАНИЮ

Д.В. Ефимов3*, А.С. Кремлев3

a Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация

b Государственный институт исследований в информатике и автоматике, Лилль, 59650, Франция Адрес для переписки: kremlev_artem@mail.ru Информация о статье

Поступила в редакцию 09.08.17, принята к печати 03.10.17 doi: 10.17586/2226-1494-2017-17-6-1025-1032 Язык статьи - русский

Ссылка для цитирования: Ефимов Д.В., Кремлев А.С. Робастные свойства систем с отрицательным показателем однородности по отношению к запаздыванию // Научно-технический вестник информационных технологий, механики и оптики. 2017. Т. 17. № 6. С. 1025-1032. doi: 10.17586/2226-1494-2017-17-6-1025-1032

Аннотация

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

обобщенно однородные системы, запаздывание, робастность, нелинейные системы Благодарности

Работа выполнена за счет гранта Российского научного фонда (проект №17-19-01422) в Университете ИТМО.

ROBUST PROPERTIES OF SYSTEMS WITH NEGATIVE DEGREE OF HOMOGENEITY WITH RESPECT TO DELAY D.V. Efimova,b, A.S. Kremlev3

a ITMO University, Saint Petersburg, 197101, Russian Federation b Institut national de recherche en informatique et en automatique, Lille, 59650, France Corresponding author: kremlev_artem@mail.ru Article info

Received 09.08.17, accepted 03.10.17

doi: 10.17586/2226-1494-2017-17-6-1025-1032

Article in Russian

For citation: Efimov D.V., Kremlev A.S. Robust properties of systems with negative degree of homogeneity with respect to delay. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2017, vol. 17, no. 6, pp. 1025-1032 (in Russian). doi: 10.17586/22261494-2017-17-6-1025-1032

Abstract

The paper considers robustness problems of a class of weighted homogeneous systems with negative homogeneity degree in relation to the delay. It is shown that in the case of global asymptotic stability of a nonlinear weighted homogeneous system with negative homogeneity degree, in the presence of a delay in the system, all the trajectories converge asymptotically to some compact set containing the origin. In the absence of delay, such systems reach their equilibrium position in a finite time. The robustness analysis also covers cases of variable and multiple delays. The presented analysis is based on the application

of the Lyapunov methods for delayed systems (the Lyapunov-Razumikhin function method) and the theory of weighted homogeneous systems. Computer simulation was performed to verify the analysis of system robustness with a negative degree of homogeneity in relation to the delay. A stabilizing system that represents a double integrator is used as an example. This system is weighted homogeneous with a negative degree when using a nonlinear state feedback control law that ensures that the system achieves its equilibrium position for the desired finite time. During computer simulation, the state vector was available for measurement with some delays. The computer simulation has confirmed the effectiveness of the presented theoretical results. Keywords

weighted homogeneous systems, time-delay, robustness, nonlinear systems Acknowledgements

This work is supported by the Russian Science Foundation under grant No.17-19-01422 and carried out in ITMO University.

Введение

Динамические системы с запаздыванием являются объектом множества исследований, поскольку запаздывания появляются во многих областях науки и техники, например, в системной биологии, распределенных и сетевых системах [1-4]. Такой интерес к изучению динамических систем с запаздыванием объясняется тем, что наличие запаздывания может привести к ухудшению работоспособности и даже к потере устойчивости системы. Несмотря на множество методов решения проблемы оценки робастности системы по отношению к величине запаздывания, в большинстве случаев речь идет о линейных системах с запаздыванием, что объясняется сложностью анализа устойчивости для нелинейного случая. Более того, конструктивные условия существуют только для линейных систем [5].

Настоящая работа посвящена анализу робастности нелинейных обобщенно однородных систем с отрицательным показателем однородности по отношению к запаздыванию и является развитием результатов статьи [6], где представлен анализ робастности на случай неотрицательного показателя однородности. В работе показано, что если система обобщенно однородна с отрицательной степенью однородности и глобально асимптотически устойчива, то при наличии любого запаздывания траектории системы сходятся к некоторому компактному множеству, содержащему начало координат. Более того, данное свойство сохраняется на случаи наличия множества запаздываний и присутствия переменного запаздывания.

Предварительные сведения

Рассматриваются системы, модель динамики которых представлена в виде [7]

dx(t)

dt

= f (Х), t > 0, (1)

где x еЭТ" и xt e Cj_T 0] - вектор состояния, xt (s) = x(t + s), -т < s < 0 (здесь и далее Cj_T 0] обозначает банахово пространство непрерывных функций ф :[-т,0] ^-ЭТ" с нормой ЦфЦ = sup-T<z<0 |ф|, где |-| обозначает стандартную евклидову норму); f : C{-т 0] ^ЭТ" - непрерывная функция, гарантирующая уникальность решений, f (0) = 0 . Предполагается, что решения системы (1) удовлетворяют начальным условиям x0 e С[-т0], для которых система (1) имеет единственное решение x(t, x0) и x,x (s) = x(t + s, x0) для -т < s < 0, которое определено на некотором конечном временном интервале [-т, T) (далее по тексту обозначение x(t) будет использоваться вместо x(t, x0), если x0 понятно из контекста).

Непрерывная функция о : ЭТ+ ^ ЭТ+ принадлежит к классу К , если она является строго возрастающей и о(0) = 0; функция принадлежит к классу Кю , если она радиально неограниченна.

Определения устойчивости. Пусть Q - окрестность начала координат в С[-т 0].

Определение 1 [8]. Система (1) является:

- устойчивой в начале координат в Q , если существует функция о e К такая, что для любого x0 e Q

решения существуют для всех t > 0 и |x(t, x0 )| < о (||x01|) для всех t > 0 ;

- асимптотически устойчивой в начале координат в Q , если она устойчива в Q и limt|x(t, x0)| = 0 для всех x0 eQ;

Если Q e С[-т 0], тогда соответствующие свойства являются глобальными.

Теорема 1 (теорема Ляпунова-Разумихина [9]). Пусть f e С[-т 0] ^ЭТ" и существуют функции u, v, w : ЭТ+ ^ ЭТ+ такие, что u(s) и v(s) - непрерывные неубывающие функции и положительные для s > 0 и u(0)=v(0)=0, v - непрерывная строго возрастающая функция. Решение (1) является равномерно устойчивым, если существует дифференцируемая положительно определенная функция V: ЭТ" ^ ЭТ+ , т.е.

u(|x|) < V(x) < v(|x|), и такая, что производная V вдоль решения (1) x(t) удовлетворяет выражению

<V

—f (xt) < -w(|x(t)|), если V(xt (0)) < V(x(t)) V0 e [-x,0]. (2)

Если в дополнение w(s) > 0 для 5 > 0 и существует непрерывная неубывающая функция p(s) > s для s > 0 такая, что условие (2) может быть представлено в виде

f (xt) <-w(|x(t)|), если V(xt (0)) < p(V(x(t))) V0 е[-т,0],

тогда решение (1) равномерно асимптотически устойчиво. Если lims^ u(s) = да, тогда решение глобально равномерно асимптотически устойчиво.

Обобщенная однородность. Для любых r > 0, i = 1, n и X > 0 введем матрицу диляции Лr (X) = diag{Xr >n=1 и вектор весов r = [rj,..., rn ]T . Для x e Wn обозначим норму однородности в виде

Г n /г \'Р

|x| = I'У\x Г r I , р > max r..

IЛ J <n .

Заметим, что для всех x eWn евклидова норма соотносится с однородной как

Оr (r )< И < Or (r )

для некоторых or, or eK, . Однородная норма обладает важным свойством: |Лr (X)x|r = X|x|r для всех x eW [10]. Обозначим сферу Sr = {x e W : |x|r = 1} .

Представим понятие обобщенной однородности для банахового пространства C[-z 0]. Для любых r > 0, i = 1, n и ф e С[-т 0] однородная норма может быть обозначена как

Г n / 11'Р

wir=[Х1 Ы г J , р >mx r-.

Также, согласно [6], существуют такие функции р , pr e , что для всех ф e С[-т 0]

р (IMIHMI < Pr (IHl). "r (3)

Норма однородности в банаховом пространстве обладает тем же свойством ||Лr (Х)ф| = X||фЦ для всех ф e С[-т 0]. В С[-т 0] обозначим соответствующую сферу Kr = {ф e С[-т 0] : ||фЦ = 1}. Обозначим шар с радиусом р > 0 в С[-т,0] как Вр = {ф e С[-т,0] : ||ф|| r < р>.

Определение 2 [11]. Функция g : С[-т0] ^ W (векторное поле f: С[-т 0] ^W) обобщенно однородна, если для любого ф e С[-т0] выражение g (Лг (Х)ф) = Xdg (ф) (f (Л r (Х)ф) = Xd Л r (X) f (ф)) выполняется для некоторого d eW (d > -min^..<n r) и всех X > 0. Константа d называется степенью однородности. Система (1) обобщенно однородна, если она удовлетворяет данному свойству.

Стоит отметить, что представленное понятие обобщенной однородности для банахового пространства С[-т 0] сводится к стандартному понятию в Wт, если т = 0.

Лемма 1. Пусть f: C{-т 0] ^ W локально ограничена и обобщенно однородна со степенью d, тогда существует такое k>0, что

\\f (x)|r < kmaxl|x|i:+ d/r Vx e C[-т,0].

Доказательство. Возьмем x e С[-т0], тогда существует \ eXr такое, что x = Лг (X)£ для X = ||x||r. Согласно определению однородности можно получить:

\\f (x)|| r f (Л r (Ш|| r < ^ ^ / r \\f ©| r < k W Г / r для k = sup?eN ||f(^)||r. Отметим, что, так как d >-min^<nr для непрерывной f , то 1 + d/r >0.

Данная лемма означает, что если непрерывная f: C[-т 0] ^ W обобщенно однородна со степенью d, то это предполагает некоторое подобие гелдеровой непрерывности в начале координат (т.е. для X < 1).

Лемма 2. Пусть /: С[-т 0] ^ Ш" обобщенно однородна со степенью — и непрерывна в Вр для некоторого р > 0, тогда для любой п > 0 существует к > 0 такое, что

1+-

\\/(х)-/г <тах{кш<1х||х-z|,п} Ух,z еВр.

Доказательство. Так как / непрерывна в Вр, тогда для п > 0 существует 5^ > 0 такое, что ||/(х) - /\г < п для всех х, z е Вр с ||х - г < 5п. Пусть е = х -z е С|-т 0], тогда существует такое к еКг

, что е = Лг (1)к, где X = ||е||г. Для 1 > 5п обозначим z = Лг (1)^ для некоторого £ е С[-т 0], тогда

1+—

||/(х)-/(г)\\г =\\/^ + е)-/^)[ = ¡1-Лг(X)/(£ + к)-/®| <гт^' И + к)-/©Ц .

Так как |г| < р, то < 5п-1р и ||/(^ + к) - /\г < к для некоторого к > 0, зависящего от р и для всех х, z е Вр, где ||х - > 5п. Доказательство леммы следует из совмещения обоих рассмотренных случаев.

Следствие 1. Пусть / : С[-т 0] ^ Ш" однородна со степенью —<0 и непрерывна в Вр для некоторого р > 0 , тогда для любой п > 0 существует к' > 0 такое, что

||/(х) - /г < тах{к' ||х - z\\г, п} Ух, z е Вр.

Доказательство. Данный результат следует из леммы 2 с учетом того, что для —<0 выполняется неравенство 0 < 1 + — / г для всех 1 < / < ". Тогда для любых р > 0 и п > 0 существует такое к > 0 , что

тах||х-z||1+-/'' < тах{£"||х-z|| , —} Ух,z е Вг.

ш <"Н Иг 1 II Нг'к; р

Утверждение 1 [6]. Пусть х(г, х0) - решение обобщенно однородной системы (1) со степенью однородности — Ф 0 и начальными условиями х0 е С[-т 0], т е (0, . Для любого X > 0 функциональное дифференциальное уравнение

т)

дг

■ = /(у,), г > 0

с у, е С[_г—т0] имеет решение у(г,у0) = Лг(1)х(1—г,х0) для всех г > 0 с начальными условиями У0 е С[1-—т,0], у0(5) = Лг (1)х0(1—5) при 5 е [-1-—т,0].

Следующий результат также был представлен в работе [6].

Лемма 3 [6]. Пусть /(хт) = Р[х(г), х(г - т)] в (1), а система (1) обобщенно однородна со степенью однородности — > 0 и глобально асимптотически устойчива в начале координат для т = 0, тогда для любого р > 0 существует 0 < т0 < +<» такое, что система (1) асимптотически устойчива в начале координат в Вр для любого 0 < т < т0.

Таким образом, система (1) является локально робастно устойчивой по отношению к достаточно малому запаздыванию, если она обобщенно однородна с неотрицательной степенью однородности и устойчива в случае отсутствия запаздывания.

Робастность обобщенно однородных систем с отрицательной степенью однородности

по отношению к запаздыванию

Представим развитие леммы 3 для случая отрицательной степени однородности.

Лемма 4. Пусть /(х,) = Р[х(г), х(, - т)] в (1) является равномерно непрерывной, а система (1)

обобщенно однородна со степенью однородности — < 0 и глобально асимптотически устойчива в начале координат для т = 0, тогда для любого е > 0 существует 0 < т0 < +<» такое, что система (1) глобально асимптотически устойчива по отношению к Вр для любого запаздывания 0 < т < т0.

Доказательство. Зафиксируем некоторые р > 0 , т > 0 и рассмотрим х0 е Вр, тогда

Ф, х0 ) = х0 (0) + | Р[х(5, х0 ), х(5 - т, х0 )—

является решением системы (1), если оно определено на интервале [0,t] для t > 0 [12], и ||x0|| < pr(р) согласно (3). Для всех ЦфЦ < 2рг (р), согласно лемме 1, существует такое k > 0, что |^[ф(0), ф(-т)]|r < k max1fii.<n ||ф||1+d'r. Таким образом, используя также (3), можно записать:

\F[ф(0), ф(-т)]| < Or (|F[ф(0), ф(-т)]|r) < Or (k max^i<и ||ф|d'ri),

< Or (k max^ [р-ЧЦф)'ri)<^k ф|),

— l Г -1 !'+d/r \ р (р) где ik (s) = elk max^, I р (s) I - функция класса Кю . Выберем 0 < т <-r—- и покажем, что с

\ L~r ] ' h(2рг(р))

учетом данного ограничения справедливо |x(t, x0)| < 2р. (р) для всех 0 < t < т . Допустим, что это условие

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

не выполняется. Тогда предположим, что ||xs || < 2р. (р) для всех s е [0, t'] и некоторого t' < т, а ||xs|| > 2р. (р) для s е [t', т]. Тогда

|x(t',x0)| < |x0 (0) + \'о \F[x(s, x0),x(s - т,x0)]|ds < |x0 (0) + h (||x,||)ds,

< |x0 (0) +1' sup0<sh xs 11) < р (р) +1' h (^Pr (р)) < (р),

что является противоречием, т.е. ||xs|| < 2р. (р) для s е [0, т]. Таким образом, для любого р > 0 существует т > 0 такое, что для x0 е Вр выполняется xt е Врр для р ' = р "'[2р. (р)] согласно выражению (3).

Условия данной леммы означают, что |F[Лr (X)x, Лr (X)z]| < XdЛг (X)F[x, z] для любых x, z и X е (0, . В дополнение х = 0 для системы

x = F (x, x) (4)

является глобально асимптотически устойчивой точкой. Отметим, что система (4) также однородна со степенью d < 0 (|F[Лг (X)x, Лг (X)x]| < XdЛг (X)F[x, x] для любого x еЭТ" и X е (0, +»)), тогда, согласно

[13, 14], существует дифференцируемая обобщенно однородная функция Ляпунова V: W со сте-

пенью однородности и >-d, такая, что

5V (5)

dV

' = - ^еК, F(5, > 0 ; 0 < b = sup:

< ;

д%

С = V(%) > 0; с = ¡¡ир^, V(%) > 0; с, |х|^ < V(х) < с |х|^, Ух еШ" .

Рассмотрим производную данной функции, посчитанную для системы (1) для ф е С[т0]. Определим = |ф(0)|г и 12 =||ф| для ф(0) = Лг(1^%, % е Бг и ф = Лг(12)], ] еКг е С[-т0] соответственно, где 12 > 11 согласно определению норм и |Х0)|г < |%|г = 1 (необходимость обозначать два преобразования с 11 и 12 заключается в том, что векторы состояния систем (1) и (4) принадлежат разным пространствам,

Ш" и С[-т,0]):

Р [Ф(0), Ф(-т)] Р [Ф(0), Ф(0)] +д^{Р[Ф(0), Ф(-т)] - Р [Ф(0), Ф(0)]} =

дф(0) дФ(0) дФ(0)

= 1—+и дг Р[%, %] +1—+и д*д(Ф(0)){Р[Ф(0), Ф(-т)] - Р[Ф(0), Ф(0)]}.

д% дФ(0)

Согласно лемме 2, для всех ] еКг е С[-т 0] и некоторого п > 0 существует такое Ь > 0, зависящее от п, что

I ТО), Х-т)] - РЦ(0), ](0)] 1 < тах{Ьтах | ДО) - Х-ОГ' ,п}.

1<1<п

Рассмотрим решение системы (1) для г > т (ранее было показано, что для х0 е Врт выполняется

условие х, е Врт для г е [0,т] и любых р > 0, р' = р '[2рг(р)] и т <—р_р)—), тогда | ф(0) -ф(-т)|< Мт,

Ч (2рг (р))

где М = ^ир|г|г <р ',|у|г <р ' | Р^, у] |, и

-1 - d/minr/

X2 1<i < n if X 2 > 1

-1 d/maxri

>2 1<i < n if X2 <1

II ф llrl j(0) - j(-т) lr =1 ф(0) -ф(-т) lr< О-1 (Мт),

I F[j(0), j(-т)] -F[j(0), j(0)] l< оr оmax{Lmax ll ф ll-1-*r' О-1(Мт)1+d/',n>.

1<j < n

Наконец, получим для t > т

l F[j(0), j(-т)] - F[j(0), j(0) l< Or о max{^1 (т)п2 (X2), n>,

где

п1 (т) = L maxo-1 (Мт)^, п 2 (X2 ) =

1</< n

являются функциями класса . Для того чтобы доказать асимптотическую устойчивость системы, применим подход Ляпунова-Разумихина [9]. Предполагая, что для некоторого у >1

SUp 0e[ - т,0] l ф(0)|V < sup0e[-т,0^[ф(0)] < УV[ф(0)] < YC1 \ ф(0) lV и SUp 0e[-^0] l ф(0)|г < (YC^ X1 , получим

Г n У/р Г n У/р

X2 =ll ф llr = IS sup l ф, (0)Г' I < | X sup l ф(0)| I = «1/р sup l ф(0)! < R^,

V i=1 0e[-т,0] J [ i=1 0e[-т,0] J 0e[-т,0]

где R = п1/р (ус-^)^. Наконец, можно получить

(ф(0)) F[ф(0), ф(-т)] < bor о max{n (т)п2 (X2), n>X2+v - aR-d-vX\+v = <ф(0)

=ll ф lld+v (bOr о max{n (т)п2 (ll ф llr), П> - aR-d-v),

„ ^ o~' (aR-d-v - e) , ч л

Выберем n =- (зависящее от р и не зависящее от т ) и р > e >0, тогда для всех

b

Г О-1 (aR-d-v - e)^

и некоторого e e (0, aR d v) можно получить

0 < т < т^тш]-*^,-!- п-I'* (2Рг (Р)) п2(е)

тах V[ф(9)] < у V[ф(0)] ^ 5¥(ф(0)) ^[ф(0), ф(-т)] < -е | ф(0) \"г + "

0Е[-т,0] 5ф(0)

для всех ф е Бр, \ Бет, которые являются решениями системы (1) для t > т . Согласно [9], траектории системы (1) сходятся к Бет и остаются ограниченными для t > т , но они также остаются ограниченными для 0 < t < т с || х0 ||г < р, что обеспечивает асимптотическую устойчивость по отношению к Бе в Бр для любого запаздывания 0 < т < т0.

Используя утверждение 1 для некоторого масштабирующего X0 >1, получим последовательности е,. = Х'0е и р,. = Х0р для всех , > 0, такие, что е( < р(-1 для всех , > 1. Тогда система (1) асимптотически устойчива по отношению к Бет в Брт. для любого запаздывания 0 < т < т0. Свойство е,. < р,.-1 для всех

, > 1 гарантирует глобальную аттрактивность множества Бет с сохранением устойчивости, что и требовалось доказать.

Замечание. Легко заметить, что результат леммы 4 сохраняется как для любого варьирующегося запаздывания, так и при наличии множества запаздываний.

Численный пример

Воспользуемся результатом работы [15] и приведем в качестве примера систему двойного интегратора, финитно стабилизируемую законом управления и(х) = (си|х|г) цкО((си|х|г) )х, где си = 1,97,

д = 0,2, р = 1,2, к = (-0,6121 -0,4418)и Б(Х) = diag{)J+(n-i)ц}"=1. Данная система однородна со степенью -д, вектором весов г = (1 + д 1) и финитно устойчива. Предположим, что вектор состояния доступен для измерения с некоторыми запаздываниями т,. е (0, ттах), , = 1,2, 0< ттах < т0 < , т.е.

дх^) Г0 11 Г0]

-= x(t) + и (х^ - т^), х2^ - т2)). Тогда приведенная система является глобально асимптоти-

дt 0 0 1

чески устойчивой по отношению к ВЕшах для некоторого е >0, зависящего от выбранных значений запаздываний. На рисунке представлены результаты моделирования для ттах = 0,8 и ттах = 1.

Х2

1,5 1

0,5 0

-0,5 -1 -1,5

-2 -4

-2

0

2

4 х1

Х2 2 1,5 1

0,5 0

-0,5 -1 -1,5 -2 -2,5 -4

¡W 1 Щ 4 \\\ \

\ ml \

! п <| Kill i Ш\'

v% ffir'j / М/

-2

4 Х1

б

Рисунок. Результаты моделирования: тп Заключение

: =0,8 (а); Tmax =1 (б)

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

Литература

References

0

2

а

1. Erneux T. Applied Delay Differential Equations. NY, Springer, 2009. 204 p. doi: 10.1007/978-0-387-74372-1

2. Gupta R.A., Chow M.Y. Networked control system: overview and research trends // IEEE Transactions on Industrial Electronics. 2010. V. 57(7). P. 2527-2535. doi: 10.1109/tie.2009.2035462

3. Chiasson J., Loiseau J.J. Applications of Time Delay Systems. Berlin, Springer, 2007. 355 p. doi: 10.1007/978-3-540-49556-7

4. Fridman E. Introduction to Time-Delay Systems: Analysis and Control. Springer, 2014. 378 p.

5. Richard J.-P. Time-delay systems: an overview of some recent advances and open problems // Automatica. 2003. V. 39. N 10. P. 1667-1694. doi: 10.1016/s0005-1098(03)00167-5

6. Efimov D., Polyakov A., Perruquetti W., Richard J.-P. Weighted homogeneity for time-delay systems: finite-time and independent of delay stability // IEEE Transactions on Automatic Control. 2016. V. 61. N 1. P. 210-215. doi: 10.1109/tac.2015.2427671

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

7. Kolmanovskii V.B., Nosov V.R. Stability of Functional Differential Equations. Academic Press, 1986. 217 p.

8. Moulay E., Dambrine M., Yeganefar N., Perruquetti W. Finite-time stability and stabilization of time-delay systems // Systems & Control Letters. 2008. V. 57. N 7. P. 561-566. doi: 10.1016/j.sysconle.2007.12.002

9. Gu K., Kharitonov V.L., Chen J. Stability of Time-Delay Systems. Boston, Birkhauser, 2003. 353 p. doi: 10.1007/978-14612-0039-0

10. Bacciotti A., Rosier L. Lyapunov Functions and Stability in Control Theory. London, Springer, 2005. 237 p.

11. Efimov D., Perruquetti W. Homogeneity for time-delay systems // IF AC Proceedings Volumes. 2011. P. 3861-3866. doi: 10.3182/20110828-6-it-1002.03195

12. Hale J.K. Theory of Functional Differential Equations. Springer, 1977. 365 p. doi: 10.1007/978-1-4612-9892-2

13. Зубов В.И. О системах обыкновенных дифференциальных уравнений с обобщенно-однородными правыми частями // Известия вузов. Математика. 1958. № 1. С. 80-88.

1. Erneux T. Applied Delay Differential Equations. NY, Springer, 2009, 204 p. doi: 10.1007/978-0-387-74372-1

2. Gupta R.A., Chow M.Y. Networked control system: overview and research trends. IEEE Transactions on Industrial Electronics, 2010, vol. 57, no. 7, pp. 2527-2535. doi: 10.1109/tie.2009.2035462

3. Chiasson J., Loiseau J.J. Applications of Time Delay Systems. Berlin, Springer, 2007, 355 p. doi: 10.1007/978-3540-49556-7

4. Fridman E. Introduction to Time-Delay Systems: Analysis and Control. Springer, 2014, 378 p.

5. Richard J.-P. Time-delay systems: an overview of some recent advances and open problems. Automatica, 2003, vol. 39, no. 10, pp. 1667-1694. doi: 10.1016/s0005-1098(03)00167-5

6. Efimov D., Polyakov A., Perruquetti W., Richard J.-P. Weighted homogeneity for time-delay systems: finite-time and independent of delay stability. IEEE Transactions on Automatic Control, 2016, vol. 61, no. 1, pp. 210-215. doi: 10.1109/tac.2015.2427671

7. Kolmanovskii V.B., Nosov V.R. Stability of Functional Differential Equations. Academic Press, 1986, 217 p.

8. Moulay E., Dambrine M., Yeganefar N., Perruquetti W. Finite-time stability and stabilization of time-delay systems. Systems & Control Letters, 2008, vol. 57, no. 7, pp. 561-566. doi: 10.1016/j.sysconle.2007.12.002

9. Gu K., Kharitonov V.L., Chen J. Stability of Time-Delay Systems. Boston, Birkhauser, 2003, 353 p. doi: 10.1007/978-14612-0039-0

10. Bacciotti A., Rosier L. Lyapunov Functions and Stability in Control Theory. London, Springer, 2005, 237 p.

11. Efimov D., Perruquetti W. Homogeneity for time-delay systems. IFAC Proceedings Volumes, 2011, pp. 3861-3866. doi: 10.3182/20110828-6-it-1002.03195

12. Hale J.K. Theory of Functional Differential Equations. Springer, 1977, 365 p. doi: 10.1007/978-1-4612-9892-2

13. Zubov V.I. On systems of ordinary differential equations with generalized-homogeneous right-hand sides. Izvestiya Vuzov.

14. Rosier L. Homogeneous Lyapunov function for homogeneous continuous vector field // Systems & Control Letters. 1992. V. 19. N 6. P. 467-473. doi: 10.1016/0167-6911(92)90078-7

15. Зименко К.А., Поляков А.Е., Ефимов Д.В., Кремлев А.С. Устойчивость системы последовательно соединенных интеграторов на конечном интервале времени // Известия высших учебных заведений. Приборостроение. 2015. Т. 58. № 9. С. 681-686. doi: 10.17586/0021-3454-2015-58-9-681-686

Matematika, 1958, no. 1, pp. 80-88. (In Russian)

14. Rosier L. Homogeneous Lyapunov function for homogeneous continuous vector field. Systems & Control Letters, 1992, vol. 19, no. 6, pp. 467-473. doi: 10.1016/0167-6911(92)90078-7

15. Zimenko K.A., Polyakov A.E., Efimov D.V., Kremlev A.S. Finite-time stability of system of series-connected integrators. Journal of Instrument Engineering, 2015, vol. 58, no. 9, pp. 681-686. (In Russian) doi: 10.17586/0021-3454-2015-58-9681-686

Авторы

Ефимов Денис Валентинович - доктор технических наук, ведущий научный сотрудник, Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; научный сотрудник первого класса, Государственный институт исследований в информатике и автоматике, Лилль, 59650, Франция, efde@mail.ru

Кремлев Артем Сергеевич - кандидат технических наук, доцент, Санкт-Петербург, 197101, Российская Федерация, kremlev_artem@mail.ru

Authors

Denis V. Efimov - D.Sc., Senior Researcher, ITMO University, Saint Petersburg, 197101, Russian Federation; Researcher, Institut national de recherche en informatique et en automatique, Lille, 59650, France, efde@mail.ru

Artem S. Kremlev - PhD, Associate Professor, ITMO University, Saint Petersburg, 197101, Russian Federation, kremlev_artem@mail.ru

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