Научная статья на тему 'Н-УПРАВЛЯЕМОСТЬ ДИНАМИЧЕСКИХ СИСТЕМ'

Н-УПРАВЛЯЕМОСТЬ ДИНАМИЧЕСКИХ СИСТЕМ Текст научной статьи по специальности «Математика»

CC BY
56
11
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЛИНЕЙНЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ СИСТЕМЫ / ДИФФЕРЕНЦИАЛЬНО-АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ / УПРАВЛЯЕМОСТЬ ДИНАМИЧЕСКИХ СИСТЕМ / LINEAR DIFFERENTIAL SYSTEMS / DIFFERENTIAL-ALGEBRAIC SYSTEMS / CONTROLLABILITY OF DYNAMICAL SYSTEMS

Аннотация научной статьи по математике, автор научной работы — Крахотко Валерий Васильевич, Размыслович Георгий Прокофьевич, Игнатенко Василий Васильевич

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

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

Похожие темы научных работ по математике , автор научной работы — Крахотко Валерий Васильевич, Размыслович Георгий Прокофьевич, Игнатенко Василий Васильевич

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

H-CONTROLLABILITY OF DYNAMICAL SYSTEMS

The report considers the problem of H-controhability, full H-controllability and complete controllability with respect to the system output. The main objects of study are descriptor dynamical systems and dynamical systems with control delay. It is shown that the trajectories of the considered dynamical systems are solutions of specially designed systems of ordinary differential equations for which controllability criteria are known. Necessary and sufficient conditions for various types of controllability are described in terms of defining equations that are built on initial systems.

Текст научной работы на тему «Н-УПРАВЛЯЕМОСТЬ ДИНАМИЧЕСКИХ СИСТЕМ»

26

Труды БГТУ, 2020, серия 3, № 2, с. 26-30

УДК 517.977

В. В. Крахотко1, Г. П. Размыслович1, В. В. Игнатенко2

1 Белорусский государственный университет 2Белорусский государственный технологический университет

^-УПРАВЛЯЕМОСТЬ ДИНАМИЧЕСКИХ СИСТЕМ

В работе рассматривается проблема ^-управляемости, полной ^-управляемости и полной управляемости по отношению к выходу системы. Основным объектом исследования выступают дескрипторные динамические системы и динамические системы с запаздыванием по управлению. Показано, что траектории рассматриваемых динамических систем являются решениями специально сконструированных систем обыкновенных дифференциальных уравнений, для которых известны критерии управляемости. Необходимые и достаточные условия различных видов управляемости описаны в терминах определяющих уравнений, которые построены на начальных системах.

Ключевые слова: линейные дифференциальные системы, дифференциально-алгебраические системы, управляемость динамических систем.

V. V. Krakhotko1, G. P. Razmyslovich1, V. V. Ignatenko2

1Belarusian State University 2Belarusian State Technological University

Я-CONTROLLABILITY OF DYNAMICAL SYSTEMS

The report considers the problem of Я-controllability, full Я-controllability and complete controllability with respect to the system output. The main objects of study are descriptor dynamical systems and dynamical systems with control delay. It is shown that the trajectories of the considered dynamical systems are solutions of specially designed systems of ordinary differential equations for which controllability criteria are known. Necessary and sufficient conditions for various types of controllability are described in terms of defining equations that are built on initial systems.

Key words: linear differential systems, differential-algebraic systems, controllability of dynamical systems.

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

Основная часть. Рассмотрим систему управления

Ах (г ) = Ах (г) + Ви (г), г > 0 (1) с начальным условием

х (0 ) = Хо,

где х е Я", и е Яг, А0, А, В - постоянные матрицы соответствующих размеров, х0 е Яг,

А, = 0.

Пусть система (1) удовлетворяет условию совместности [1]. Тогда ее решение может быть представлено в виде

х (г ) = еЛ°Л(А Ад +1 еЛ°Л((-х)4Ви ^ )Ж +

о

+ (( - АХ ) (-1)' (АоЛа )!Ви«(0, (2)

г=0

х (0 ) = х0 = А + (Е" - А А' )х

х£(-1) (АА' )А'Ви()(0), (3)

=0

где А> и А' - обратные матрицы Драйзина к матрицам А и А соответственно; число к -индекс матрицы А0, де Я", и()(0)е Яг, ' = 0, 1, ..., к -1.

Здесь мы предполагаем, что управление и (г), г > 0, - это достаточно гладкая г-мерная вектор-функция. В данном случае можно показать, что решение (2) системы (1) является выходом системы

У = А У + ВV, х = СУ (4)

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

7(0) = ¥0 = (д, иг(0), . = 1,2,...,к),

где 7 = (у, и1,..., ик), V = и(к) А = ), В = В),

р = 1,..., к +1, д = 1,..., к +1 представляют собой блочные матрицы. Кроме того,

А11 = Л)А, А12 = А>В;

А23 = А34 = ... = А кк+1 = Ег, Ду = 0,

для всех остальных индексов р и д

Вк+1,1 = Ег, В = 0, i = 1,...,к,

С = [ А А0, (( - А А) )А))В,..., (-1)к-1 (( - АА))((А* )к-1 А*В]. Мы полагаем, что

^0 е = А« А0))д + (( - А А) )х

k-1

(-1) ((^ )'А^ы(i)(0), qе Л",

i=0

ы(i)(0)е Дг, i = 0, k -1}.

Пусть H - постоянная n х "-матрицы.

Определение 1. Система (1) называется H-управляемой, если для каждого х0(-)ей0 существует момент времени t1 < и гладкое управление ы(t), tе [0, t1 ], такие, что x(0) = x0 и Hx(t1 ) = 0.

Определение 2. Система (1) называется полностью H-управляемой, если для каждого x0 (-)ей0 существует момент времени

t1 <+о° и гладкое управление ы (t), t > 0, такие, что решение x(t), t > 0, системы (1) обладает свойством x(0) = x0 и Hx(t) = 0, t > t1.

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

Теорема 1. Система (1) H-управляема тогда и только тогда, когда

rank (HA« Ad, (-1)jH (( - A Ad )х х(( Ad)) AdB, j = dk-1;

H(AdA)'AdB, i = 0,n -1 )= rank((-1);Hх х(( - AAd )((Ad)), j = H (AdA)' AdB, i = 0,n -1).

Теорема 2. Система (1) полностью H-управ-ляема тогда и только тогда, когда

rank (L,H (A«dA) AB j = 0,k -1 ) = = rank (L, H),

где

L =

H1

HAdB

h (a>a)b

Hk

H H

k-1

k -2

H(AdA)n+k~2 AdB ... H((dA)"_I AdB

HAddA« HAdA H = H (Add a)2

\ n+k-1

_ Н (А0)А)

Н+ =(-1);Н(( -А0А))(АА*))в, i = 0, к -1.

Доказательства теорем 1 и 2 легко вытекают из представления системы (1) в виде (4) с использованием результатов [2].

Рассмотрим системы (1) и (4). Введем соответствия

x (t Xt, ы (t Ut, y (t Yt, Ы (tUi, p ^A.

(5)

Здесь Х(, и , и\ - матрицы размеров

)

п х г и г хг соответственно; р =--оператор

)

дифференцирования, а А - оператор сдвига

(А 'Х( = X,+.; Аи = и+..; А'и/ = ).

Используя уравнение (4) и соответствия (5), мы переходим к следующим реккурентным соотношениям:

Y+1 = AdAYt + AdBU, u'+1 = Ut+1, j = 0, k -1, Utk+1 = Ut+k,Xt = С[Yt,U,..., Utk^, t >0,

при условии, что

Yt = 0, t = 0,..., k -1, Ut = 0, t Ф k,

Uk = Er.

(6)

Вышеприведенные соотношения (6) называются определяющими уравнениями для системы управления (1).

Через X* мы обозначим решение определяющих уравнений (6) с условиями

71 = En и Ut = 0, t > 0.

Тогда теоремы 1 и 2 можно сформулировать в терминах решений определяющих уравнений.

Теорема 1*. Система (1) является H-управ-ляемой тогда и только тогда, когда

rank(HX*, ИХг, i = 1,n + к) = = rank (HXi J = 1, n + к).

Теорема 2*. Система (1) полностью H-управ-ляема тогда и только тогда, когда

rank (L, HX, i = 1, n + к) = rank (lH),

где

L =

HXk

HX,

HX,

n+2k-1

HX

n+к

H =

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

HX1

HX,

n+k

Полученные результаты могут быть перенесены на дискретные системы и системы с запаздыванием [3, 4].

Например, рассмотрим систему управления вида

х (г ) = Ах (г) + Ви (г) + В2и (г - И) +

jB(s)u (t - s)ds, t > 0 (7)

+

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

х0 = х(0), и(•) = {и(г) = ф(г), ге [-И,0)},

где х е Я", и е ЯгВ; А, В1, В2 - постоянные матрицы соответствующих размеров; В (г)- " х г-матрица-функция; х0 - "-вектор; ф (г) - кусочно-непрерывная "-векторная функция.

Определение 3. Система (7) называется полностью ^-управляемой для любого вектора х0 е Я" и любой кусочно-непрерывной функции ф(г), ге [-И,0), если существуют момент времени г1,0 < г1 <и управление и (г),

ге [0, г1 - И], и (г) = 0, г > г1 - И, такие, что траектория х(г), г > 0, системы (7) удовлетворяет условиям

х(0) = х0, Нх(г) = 0, г> г1.

Предположим, что в любой момент времени г, г > 0, состояние х(г) системы (7) неизвестно, а управление и (г), г > 0, выбирается из условия, что выход

У(t) = Hx(t), t > 0, yo = У (0)

(8)

системы (7) известен.

Определение 4. Система (7) называется полностью управляемой по отношению к выходу (8), если для любого га-вектора у0 и любой кусочно-непрерывной функции ф (г), г е [-И,0), существуют момент времени г1, 0 < г1 <и управление и (г), г е [0, г1 - И ], и (г) = 0, г > г1 - И, такие, что траектория у (г ) = 0, г > гх.

Теорема 3. Система (7) является полностью Н-управляемой тогда и только тогда, когда

где

rank (HA'Bh, i = 0, к -1) = rank (H),

h

Bh = B1 + e~AhB2 + je~AsB(s)ds, t > 0,

(9)

H =

0

HA'

i = 0, к -1

здесь к - степень минимального многочлена матрицы А.

Доказательство. Пусть

И

х(г) = р(г) + |м(^)и(г -5)ds, г > 0, (10)

0

где р () - некоторая "-векторная функция, а М (/), г е[0, И ] - некоторая " х г -матрица. Тогда из (7) следует, что

р(г)+ М(0)и (г)-М(И)и (г - И) +

+

+

+

j M '(s )u (t - s )ds = Ap(t)

0

!

j AM (s )u (t - s )ds + B1u(t)

0

h

+B2u (t - h) + jB(s)u (t - s)ds.

+

(11)

Теперь предположим, что " х г-матричная функция М(^) удовлетворяет уравнению

dM(s)

ds

= AM(s) + B (s), s e[0, h] (12)

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

M(h ) = -B2. Исходя из (12) и (13), имеем

(13)

M (s ) = ■

eA (s-h)

B2 +

J eA (s-T )B (t )dt.

Теорема 4. Система (7) (имеется в виду, что B (s) = 0, s е [0,h]) управляема по выходу (8) тогда и только тогда, когда

rank (HAB*h, i = 0,к -1) = = rank((, Hb1,Hb2,HABA*, i = 0,к-1),

Итак, на основании равенства (11) получим, что «-векторная функция р (7), ^ > 0, удовлетворяет системе управления вида

где

p (t ) = Ap (t) + (B + e~Ah

h Л

Je~AsB(s) dsu(t)

B2 +

HB =

+

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

(14)

0 0

0

HBi

0 0

HB HABi

0

HB

HAk-3 Bt HAk-2 Bi

i =1, 2;

P (0) = ^0 +

J (

_e~ A(s+h)B2 +

+

J e_A(s+t)B (t )dt )ф (s )ds.

в; = В+е~АкВ2.

Доказательство этой теоремы аналогично доказательству теоремы 3.

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

Ясно, что система (7) является полностью H-управляемой тогда и только тогда, когда система (14) также является полностью H-управляемой. Из результатов работы [2] следует, что система (14) является полностью H-управ-ляемой тогда и только тогда, когда выполняется равенство (9). Теорема доказана.

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

1. Campbell S. L., Meyer C. D., Rose N. J. Applications of the drazin inverse to linear systems of differential equations with singular constant coefficients // SIAM J. Appl. Math. 1976. Vol. 31, № 3. P.411-425.

2. Крахотко В. В., Размыслович Г. П. К проблеме полной управляемости динамических систем // Дифференциальные уравнения. 1979. Вып. 15, т. 9. С. 1707-1709.

3. Крахотко В. В., Размыслович Г. П. Полная управляемость на подпространство линейных систем с запаздыванием по управлению // Вестник БГУ. Сер. 1, Физика. Математика. Информатика. 2009. № 3. С. 130-132.

4. Игнатенко В. В., Крахотко В. В., Размыслович Г. П. К управляемости линейных систем дескрипторными регуляторами // Труды БГТУ. Сер. 3, Физ.-мат. науки и информатика. 2017. № 1. С. 5-7.

References

1. Campbell S. L., Meyer C. D., Rose N. J. Applications of the drazin inverse to linear systems of differential equations with singular constant coefficients. SIAM J. Appl. Math., 1976, vol. 31, no. 3, pp.411-425.

2. Krakhotko V. V., Razmyslovich G. P. On remark on complete controllability dynamic systems. Dif-ferentsial'nyye uravneniya [Differential equation], 1979, issue 15, vol. 9, pp. 1707-1709 (In Russian).

3. Krakhotko V. V., Razmyslovich G. P. Complete controllability on the subspas of linear systems with delay in control. Vestnik BGU [Bulletin of BSU], series 1, Physics. Mathematics. Informatics, 2009, no. 3, pp. 130-132 (In Russian).

4. Ignatenko V. V., Krakhotko V. V., Razmyslovich G. P. On controllability of linear systems by descriptor regulators. Trudy BGTU [Proceedings of BSTU], series 3, Physics and Mathematics. Informatics, 2017, no. 1, pp. 5-7 (In Russian).

Информация об авторах

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

Крахотко Валерий Васильевич - кандидат физико-математических наук, доцент, доцент кафедры методов оптимального управления. Белорусский государственный университет (220030, г. Минск, пр-т Независимости, 4, Республика Белярусь). E-mail: krakhotko@bsu.by

Размыслович Георгий Прокофьевич - кандидат физико-математических наук, доцент кафедры высшей математики. Белорусский государственный университет (220030, г. Минск, пр-т Независимости, 4, Республика Белaрусь). E-mail: razmysl@bsu.by

Игнатенко Василий Васильевич - кандидат физико-математических наук, доцент кафедры высшей математики. Белорусский государственный технологический университет (220006, г. Минск, ул. Свердлова, 13а, Республика Белaрусь). E-mail: ihnatsenko@tut.by

Information about the authors

Krakhotko Valeriy Vasil'yevich - PhD (Physics and Mathematics), Associate Professor, Assistant Professor, the Department of Optimal Control Methods. Belarusian State University (4, Nezavisimosti Ave., 220030, Minsk, Republic of Belarus). E-mail: krakhotko@bsu.by

Razmyslovich Georgiy Prokofyevich - PhD (Physics and Mathematics), Assistant Professor, the Department of Higher Mathematics. Belarusian State University (4, Nezavisimosti Ave., 220030, Minsk, Republic of Belarus). E-mail: razmysl@bsu.by

Ignatenko Vasiliy Vasil'yevich - PhD (Physics and Mathematics), Assistant Professor, the Department of Higher Mathematics. Belarusian State Technological University (13a, Sverdlova str., 220006, Minsk, Republic of Belarus). E-mail: ihnatsenko@tut.by

Поступила после доработки 03.01.2020

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