Управляемость стационарных сингулярно возмущенных систем с запаздыванием

УДК 517.929

Т. Б. Копейкина, доцент; А. С. Гусейнова, ассистент

УПРАВЛЯЕМОСТЬ СТАЦИОНАРНЫХ СИНГУЛЯРНО ВОЗМУЩЕННЫХ

СИСТЕМ С ЗАПАЗДЫВАНИЕМ

The controllability problem of time-invariant singularly perturbed dynamic systems with constant delay (SPSD) is considered in this paper. Decomposition of controllability property for (n1 + n2 )-SPSD by means of the controllability of degenerated щ -system and boundary layer n2 -system is obtained for new condition on the parameters of SPDS under consideration. Controllability conditions for these systems are proved which are affective and expressed through the solutions of recurrence algebraic equations. The example of the five-order system is considered and controllability conditions are obtained for it.

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

Известно, что во многих задачах динамики полета, химической кинетики, автоматического управления и регулирования условие управляемости является необходимым условием существования решения исследуемых задач. Проблеме управляемости стационарных и нестационарных СВС с различными видами запаздываний (малыми, постоянными, зависящими от времени) и без запаздываний в последние годы посвящен ряд работ как отечественных, так и зарубежных ученых [1-4]. Возросшее внимание к СВС объясняется широким спектром их приложения. Достаточно хорошо изучена управляемость стационарных СВС. Очевидно, однако, что СВСЗ наиболее адекватно отражают наличие задержек в работе исследуемых объектов. Такие объекты описываются, например, линейными стационарными СВС с запаздыванием (ЛССВСЗ) вида

x

как в медленных х, так и в быстр ьк у переменных. В (1) {х(г), у(0}- (" + "2) -вектор состояния системы в момент времени г; г е [0, Т] х(г) е Я"1, у (г) е Я"2, и - управляющее воздействие из класса кусочно-непрерывных г-ве-ктор-функций (и е РС([0, Т], Яг), называемое далее допустимым; Ау, Су, Бу, ¡, у = 1,2 - за-

данные постоянные матрицы соответствующих размеров; ц — малый положительный параметр, це(0, ц0J, ц0 << 1; h — запаздывание, h = const > 0.

Ранее задача относительной управляемости (ОУ) ЛССВСЗ (1) исследовалась либо в предположении C22 = 0 , где 0 - квадратная (n2 хn2) -матрица с нулевыми элементами, либо при условии det C21 Ф 0 [1]. В данной работе рассматривается ОУ ЛССВСЗ (1) по x, по у, по совокупности переменных {x, у} при новом, достаточно общем предположении относительно параметров системы: det (C21 + mC22) Ф 0.

При исследовании качественных свойств СВС (наблюдаемости, управляемости и др.) важно иметь условия, при которых данные свойства обладают декомпозицией, позволяющей, например, судить об управляемости (n1 + n2) -ЛССВСЗ (1) на основании некоторых подсистем меньшего порядка. Такими тесно связанными с ЛССВСЗ (1 ) являются вырожденная n1 -система (ВС) и n2 -система пограничного слоя (СПС). Поэтому сначала доказаны критерии (т. е. необходимые и достаточные условия) ОУ как ВС, так и СПС, связанных с ЛССВСЗ (1), а затем — достаточные условия ОУ ЛССВСЗ (1), выраженные через условия ОУ ВС и СПС. Все полученные результаты носят эффективный характер, поскольку выражены через решения матричных рекуррентных определяющих уравнений.

Вспомогательные результаты. Рассмотрим ЛССВСЗ (1), решение которой определяется начальными условиями

x(0, y) ={ ф 9), x(0) = x0}, y(0, ц) = (у(9), y(0) = yо}, 9 е [-h, 0),

где Фе PC([-h, 0), Я"1), WePC([-h, 0), Я"2) -кусочно-непрерывные "1- и "2 -вектор-функ-

ции на [-h, 0),

xr>

R"

y0'

Я"

Приведем определение и ряд лемм, необходимых для доказательства условий ОУ ЛССВСЗ (1), (2).

Определение. ЛССВСЗ (1), (2) при заданном ц называется относительно управляемой на отрезке [0, Т] по медленной переменной х (по быстрой переменной у; по совокупности

переменных {х, у}), если для любого вектора с1 е Я"1 (любого вектора с2 е Я"2; любых векторов с1 е Я"1, с2 е Я"2) и любых начальных условий (2) существует допустимое управление и (7), t е[0,Т], такое, что соответствующая им компонента х(7, ц) = х(, ц; х, ф; у, у; и), 7 > 0, (компонента у(7, ц) = у(7, ц; х, ф; у, у; и), 7 > 0; компоненты х(7, ц), у(7, ц), 0> решения {х(7, ц), у(7, ц)}, 7 > 0, удовлетворяет условию х(Т, ц) = с1 (условию у(Т, ц) = с2; условиям х(Т, ц) = С1, у(Т, ц) = С2).

Для решения задачи ОУ ЛССВСЗ (1) представим ее в операторной форме

) = (Аи + Лив-рк) х(7) +

+ С11 + С12^-рй )у(7) + Ви (7),

ц ру($) = (Л21 + Л22е~ рк) х(7) +

+ С21 + ^22^" рк) у (7) + В2и (7),

где р - оператор дифференцирования, р = й / Л; е~рк - оператор сдвига аргумента функции на величину к : е~ phz (7) = z(t - Л).

Известно [1], что об ОУ ("1 + "2)-ЛССВСЗ (1), (2) можно судить на основании того, являются ли ОУ две системы меньшей размерности: вырожденная (ц = 0) "1 -система и "2 -СПС. Поэтому прежде чем изучать проблему ОУ ЛССВСЗ (1), найдем вид ее ВС, СПС и получим условия их ОУ. Затем определим связь этих условий с условиями ОУ ЛССВСЗ (1).

Формальное решение ЛССВСЗ (1) ищем, согласно [5], как представление вектор-функции z(t, ц) = {х(7, ц),у(7, ц)} е Я"1+"2 в виде суммы слагаемых в различных временных шкалах:

z

ц

В (4) т — «быстрое» время, компоненты х(7, ц), у(7, ц) (" 1 + "2)-вектор-функции z(t, ц) имеют вид х(7, ц) = х5 (7) + ху (т), у(7, ц) = у,. (7) + +у у (т), где х,, (7), ху (т) — соответственно медленная и быстрая составляющие медленной переменной х(7, ц), а у,, (7), уу (т) — быстрой переменной у(7, ц) решения {х(7, ц),у(7, ц)} системы (1). Будем искать допустимое управление и (7, ц), обеспечивающее ОУ ЛССВСЗ (1), (2), также в виде и(7, ц) = и, (7) + иу(т).

Положив в (3) ц = 0, получим гибридную [6] систему относительно медленных переменных х,, у,, и,, которая при условии обратимости неограниченного оператора С21 + С22е~рк позволяет представить у, (7) в виде

у,

Подставив (5) в первое уравнение (3) получим "1 -систему дифференциальных уравнений

х, (7) = Л(е" рк) х, (7) + В(е" рк )и, (7) относительно х, (7) с параметрами

Л(е-рк) = Л11 + Л12е-рк -- (Сц + С12е"рк )(С21 + С22е-рк )-1 х х(Л21 + Л22е-рк), В(е-рк) = В1 - (С11 + С12е-рк) х х С21 + С22е-рк )-1 В2.

В силу теоремы Гамильтона — Кэли [7] любая квадратная (" х ") -матрица Л удовлетворяет своему характеристическому уравнению det(Я£" - Л) = 0

Л" - а1 Л"-1 + — + (-1)"-1 ап-1 Л +

+

Коэффициенты ак, к = 1, " в (8) вычисляются по формуле

а

к = X

1<2*1 <—<г'к < "

(7 7 \ Ч —— к

V71 —7к У

к = 1, ",

7, —7к

V71 —7к У

означает

где запись а к = X Л

1<г'1 <—<г'к <"

сумму главных миноров порядка к матрицы Л. Из очевидного тождества (С21 + тС22)-1 х х (С21 + тС22) = Е и (8) следует представление

обратной матрицы (С21 + тС22)-1 в виде ( -1) "2 -1

(С21 +тС22)-1 =~ ((С21 +тС22)"2-1 -

а"2

- а1 С21 + тС22) "2-2 +—+

Очевидно, в силу (9) а = det (С21 + тС22). Лемма 1. Пусть Л, С е Я"х", " > 1. Тогда

ёег (Л + тС) =

= ±т> X det ),

=0 1<г1<—<1. <"

где запись det ЛС]"" * означает замену 7 столбцов с номерами 11, , . гi в матрице Л соответствующими столбцами матрицы С.

В лемме 1 по определению полагаем

X detЛоС] = detA[(00(C] = detЛ.

1<г1 <г0 <1

Доказательство этой леммы и леммы 2 проводится методом математической индукции по " и здесь опускается.

Замечание. В данной работе решение задачи ОУ ЛССВСЗ (1), (2) рассматривается при условии а - const Ф 0 в (10). Нетрудно показать,

что из равенства (11) леммы 1 это предположение равносильно следующим трем условиям:

det С21 Ф 0, det С22 = 0,

X det С^1) = 0, V/ = 1, "2.

1 < 11 < — . <"2

Лемма 2. Пусть Л, С е Я"х". Тогда для любого к < " коэффициенты ак, к = 1, " матричного уравнения

(Л + тС)" -- а Л + тС)"-1 + — . . + (-1)"апЕп = 0" (13) определяются по формуле

а,

= X

1< . . . < ifc < n k

= X X mj X det A

1<l1<.. .<lk<nj=0 1<l1<.. .<lj<k

fi i > h .• • lk

V*1 . • • ¡k J

...,l,.) Г l1. • • l

(l1,. • ., lj) jC ]

1k V l1-• •lk J

,

где X det ' *lj)

1 jC ]

f h- • lk J

V l1-• •lk J

— главные ми-

1<г1< — . ,<гу- <к

норы порядка к матрицы Л, в которых у столбцов заменены соответствующими столбцами матрицы С.

С учетом (12) формулу (11) можно записать иначе:

(С21 + тС22)-1 =

) "2-1 "2 -1

™ 1Г 21 + тС22>

(-1) n2-1 n2 -1

X

det C

21 ¡¡=1

где вид коэффициентов а7 представлен в следующей лемме.

Лемма 3 [8]. Пусть Л, С е Я"х". Тогда для любого к > 0 справедливо равенство

к

где т — числовой параметр, т > 0; Ук (/Л) решения матричного рекуррентного уравнения

Ук+1Щ = ЛГк(/к) + СГк((/ -1)к), / = 0,1,2,..., к = 0,1,2,...,

9 А9 9 • • • 9

с начальными условиями

^ci(0) = En, ^(ih) = 0n, i Ф 0. Введем обозначение:

^У = X X det C21[^1CC22]'' ; ;

V '1 • • • 'i

Заметим, что ^00 = 1, у @0, у > 0. С учетом

условий (12) и (14) из (15) получаем еще одно представление обратной матрицы:

(С21 + тС22 )-1 = (_1) "2-1 "2-1 г "2-1

= X тгХХ Н^ V"*-1-к

detС21 г=1 у=0 к =0

С помощью (17) можно найти аналитическое представление ВС (6) с коэффициентами

"2 +1 "2 +1

Л

г=0 г=0

где

L = A11 + ^ L = A12 +

L = ^, i = 2, n2 +1,

(—1)n2 -1 2 2 i+l+q-2 n2-1

^ = XX X X(-1)k x

de^ 21 q=1 l=1 j =0 k=0

x U

^0 = B

(i = 0, n2 +1) v (i +1 + q - 2 < n2 -1),

( -1) n2 -1 n^1

det C

X(-1)k ^k 0CuVn2-1-k (0)B2,

21 k=0

a = ^ x

det C

21

2 i+l-1 n2-1

xX XX

l=1 j=0 k=0

(i=^v (i+1 -1 < n2 -1), Dni+1 - 0n2. Подставляя (18) в (6) получим

n2 +1 n2 +1

хг

i=0

i=0

т. е. аналитическое представление вырожденной "1-системы для ("1 + "2)-ЛССВСЗ (1). Очевидно, (21) представляет собой дифференциальную систему с ("2 +1) -кратным временным запаздыванием в состоянии и "2 -кратным (в силу О +1 = 0 ) запаздыванием в управлении. Для однозначного определения движения системы (21) при 7 > 0 необходимо иметь начальные условия для х:! (7), 7 е [-("2 +1)к, 0], и, (7), 7 е [-"2к, 0], которые определяются из (2):

X0s (•) = {ф (0), е<0, xs (0) = X0s },

us (t) - 0, t <-(n 2 +1)h,

где ф(0), и, (7) — кусочно-непрерывные "1- и г-вектор-функции соответственно.

Найдем аналитический вид СПС, соответствующей ЛССВСЗ (1). Как показано в [1],

уравнение для п2-СПС ЛССВСЗ (1) получается путем «замораживания» медленных переменных хх (г) в уравнении быстрых движений исходной ЛССВСЗ (1) и введения нового «быстрого» времени т = г / ц. Это уравнение имеет вид

dyf

d т

= C21 yf (т)"

+ C22 У f (T-hi)+B2Uf (Т) ,

= -, те

ц

T ^

0, -ц

Начальные условия для (23) следуют из (2) с учетом (4) и (22):

У0 f (•) = {N0 ф(0) + у(0),

0e[-h, 0), у(0) = N0Х0 + У0}.

Заметим, что СПС (23) является системой с бесконечно большим запаздыванием Н1 при ц^ 0.

Решение задачи относительной управляемости. Введем невырожденную (для любых матриц Si, Я, г = 0, "2) замену переменных [1]:

'х (г 7 (гX

n2

i=0

-jRe- En + Is

-iph

(KtW

£(t) n( t).

.

Данная замена позволяет выбрать неизвестные матрицы Si, Я, г = 0, "2 таким образом, что полученные в силу (25) системы дифференциальных уравнений относительно 4(г), П(т) являются системами с разделенными переменными с запаздыванием (СРПЗ):

"2 +1

4 (г )=К А + О (ц)) е -рИ 4( г) +

г=0

П2 +1

J (D + о (ц)К phu (t),

i=0

цп (г ) = (С21 + О (ц))п( г) +

+ (С22 + О (ц))п(г - И) + Б2и (г),

(соответственно с ("2 +1) -запаздыванием по состоянию и с одним запаздыванием по управлению) с начальными условиями

ио = (Ф (6), 0 е [-("2 +1)И, 0), 4 0) = х0>,

Л0О = (^Ф (0) + у(0), 0 е [-И, 0), (27) п(0) = N0 х0 + У0>,

где Li, Di, i = 0, n2 +1 имеют вид (19), (20).

Поскольку невырожденное преобразование (25) сохраняет все качественные свойства ЛССВСЗ (1), (2), далее вместо (1), (2) можно исследовать управляемость СРПЗ (26). Очевидно, что невозмущенная система

П2 +1 П2 +1

£

i=0 i=0

n

с точностью до О(ц) совпадает с СРПЗ (26); п1-система (28) с точностью до обозначений есть ВС (21), а n2-система (29), полученная из (26) заменой т = / ц — СПС (23). Критерии ОУ таких систем известны [9]: для ОУ системы (28) на отрезке [0, T] необходимо и достаточно, чтобы

rank {Xk

В (30) Xk (s) е Rn1Xr — матричные решения определяющего уравнения

n+1 n2+1

Xk+1

i=0 i=0

к = 0,1,2,..., s = 0, 1, 2, 3, ..., системы (28) с начальными условиями X0(s) = 0щхГ Vs, Xk(s) = 0щхГ, Uk (s ) = 0r, Vs < 0, k = 1,2,3,..., \E,, s = 0,

U (s) =

l0, sФ0.

Критерий ОУ системы (29) имеет вид

rank {Ук

где Yk (s) е Rn2 Xr — матричные решения определяющего уравнения

Yk+1(s) = C21Yk (s ) + ,

+ C22Y

к = 0,1, 2,..., с начальными условиями (32.2) и

Y>(s) = 0n2Xr Vs, s = 0n2Xr, Uk (s) = 0r, (35) Vs < 0, к = 1, 2, 3,

Теорема 1 [1]. Если система (28) ОУ на [0, Т ], т. е. выполнено условие (30), то существует ц* > 0 такое что для всех ц е( 0, ц* ^, СРПЗ (26), (27) ОУ по переменной 4.

Из теоремы 1 и представления ЛССВСЗ (1), (2) в виде (26) следует теорема 2.

Теорема 2. Если (30) выполняется, то существует ц* > 0 такое что для всех це( 0, ц* ], ЛССВСЗ (1), (2) ОУ на [0, Т] по медленной переменной х.

Теорема 3. Если система (29) ОУ на [0, Т/ц], т. е. выполняется условие (33), то существует ц* >0 такое, что для всех це(0, ц*] система (26) ОУ по переменной п.

Поскольку (29) с точностью до обозначений совпадает с (23), то справедливо утверждение.

Теорема 4. Если выполняется (33), то существует ц* > 0 такое, что ЛССВСЗ (1), (2) ОУ по

быстрой переменной у на [0, Т] для всех Ц е( ° Ц* ].

Теорема 5. Если выполнены условия (30), (33), то существует такое ц* > 0, что для всех це (0, ц* ] ЛССВСЗ (1), (2) ОУ на [0, Т] по совокупности переменных {х, у}.

Пример. На отрезке времени [0; 3,5] рассмотрим ОУ системы

х = хДО - 2 х^ -1) + уДО х2 = х2

цу = х

цу2 = х2

цу3 = 3 уДО - 3м(0

по совокупности переменных {х, у}, где

( ) ^

x(t) = =

x,

V x2(t) J

R2; y(t) =

У2

e R3.

Очевидно, (33) является ЛССВСЗ вида (1) с параметрами

Г10 ^ Г-2 0 ^

A11 =

V 0 1J

A12 =

V 0 -2 J

C„ =

' 1 0 0Л V 0 0 0,

=

Г1 0^ 0 1

v0 0J

C =

21

Г12 0 ^ 0 1 -1

V3 0 0 J

C = 12

A22 =

C =

22

Г 0 0л

V0 0 0y

M 0^

0 1

V 0 0 J

Г-1 0 0^1

0 1 0

V 0 0 0J

B! =

Г 0 ^

V1 J

B 2 =

Г 0 ^ 0

V-3 J

n = 2, n2 = 3; t e [0; 3,5]; T = 3,5; h = 1.

Проверим выполнение условий (30), (3 3) теоремы 5, которые для (36) имеют вид

rank {Xk (s), k = 00, s = } = 2, (37) rank\fk (s), k = 1Д s e [0,M]j = 3, (38) где Xk (s), Yk (s) определяются по формулам

(31), ( 32.1), ( 32.2); (34) , (35) ; ЗД = 02x1;

(35) 4

Y0 (0) = 03Х1, а Xk (i) = 02x1, Yk (i -) = 03x1; Vi > k,

M

в силу свойств [1] определяющих уравнений. Так как

Г-П

x 2(0) = L0 D0 =

V 1 J

X2(1) = L0D + LD0 =

Г 5 ^

v-2 J

X 2(2) =

Г1 ^

V 0 J

где Li, Di вычислены по формулам (19), (20), то

rank

-1 5 1 . ..

3 3 1 -2 0 . . .

= 2.

Следовательно, система (36) управляема по х.

Проверим выполнение условия (38). Поскольку

ад =

то

Г 0 ^ Г 0 > г 6 ^

0 , ВД = 3 , Ys(0) = 3

-3 0 6

V J V У V J

' 0 0 6

rank - 0 3 3 ••• • = 3,

-3 0 6 • ••

т. е. (36) управляема по у. Объединение полученных условий в силу теоремы 5 означает ОУ системы (36) по {х, у}.

Заключение. Исследована относительная управляемость ЛССВСЗ при новом условии на параметры системы. Получены достаточные условия ОУ по медленной переменной х, по быстрой переменной у, по совокупности

переменных {x, у}, выраженные через решения соответствующих определяющих уравнений.

Литература

1. Копейкина, Т. Б. Об управляемости линейных сингулярно возмущенных систем с запаздыванием / Т. Б. Копейкина // Дифференциальные уравнения. - 1989. - Т. 25, № 9. -С.1508-1518.

2. Kopeikina, T . B . S ome approaches to the controllability investigation of singularly perturbed dynamic systems / T. B. Kopeikina // Systems Science. - 1995. - Vol. 21, № 1. - P. 17—36.

3. Glizer, V. Y. Controllability of nonstandard singularly perturbed systems with small state delay / V. Y. Glizer // IEEE Trans. Automat. Control. - 2003. - Vol. 48, № 34. - P. 1280—1285.

4. Копейкина, T. Б. Об управляемости линейных сингулярно возмущенных систем с малым запаздыванием / Т. Б. Копейкина, А. С. Гусейнова // Вестник БНТУ. - 2006. - № 4. — С. 54—58.

5. Васильева, А. Б. Асимптотические разложения решений сингулярно возмущенных уравнений / А. Б. Васильева, В. Ф. Бутузов. -М.: Наука, 1973. - 242 с.

6. Марченко, В. М. Представление решений управляемых гибридных систем / В. М. Марченко, О. Н. Поддубная // Проблемы управления и теории информации. - 2002. - Т. 149, № 6. - С. 17-25.

7. Гантмахер, Ф. Р. Теория матриц / Ф. Р. Гантмахер. - М.: Наука, 1988. - 552 с.

8. Марченко, В. М. Об одном доказательстве критерия управляемости для систем с запаздывающим аргументом нейтрального типа / В. М. Марченко // Вестник БГУ. Сер. 1. - 1972. -Т. 3. - С. 11-13.

9. Controllability and observability of multivariable s ystems w ith de lay / F . M. K irillova [et al.] // IFAC Symp. on Multivariable Technical Control S ystems. Techn. pa pers . Du sseldorf, FRG. - 1971. - P. 1-6.