Научная статья на тему 'Представление решений линейных дискретно-непрерывных систем'

Представление решений линейных дискретно-непрерывных систем Текст научной статьи по специальности «Математика»

CC BY
68
11
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ГИБРИДНЫЕ СИСТЕМЫ / ДИСКРЕТНЫЕ И НЕПРЕРЫВНЫЕ HYBRID SYSTEMS / DISCRETE AND CONTINUOUS

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

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

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

Похожие темы научных работ по математике , автор научной работы — Любецкая Т.А.

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

n the paper we study linear hybrid discrete-continuous systems. Dual discrete-continuous systems are introduced and a duаl correlation is proved. As a result, for the system solutions, we obtain an analytical representation similar to the well-known for ordinary differential systems Cauchy’s formula. The results obtained can be used in the qualitative control theory for discrete-continuous systems.

Текст научной работы на тему «Представление решений линейных дискретно-непрерывных систем»

34 ТРУДЫ БГТУ. 2012. № 6. Физико-математические науки и информатика. С. 34-37

УДК 519.71

Т. А. Любецкая, ассистент (БГТУ)

ПРЕДСТАВЛЕНИЕ РЕШЕНИЙ ЛИНЕЙНЫХ ДИСКРЕТНО-НЕПРЕРЫВНЫХ СИСТЕМ

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

In the paper we study linear hybrid discrete-continuous systems. Dual discrete-continuous systems are introduced and a duаl correlation is proved. As a result, for the system solutions, we obtain an analytical representation similar to the well-known for ordinary differential systems Cauchy's formula. The results obtained can be used in the qualitative control theory for discrete-continuous systems.

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

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

В зарубежной литературе термином «гибридные системы» (hybrid systems) определяют дискретно-дифференциальные системы управления, содержащие непрерывную и дискретную фазовые переменные и/или логическую переменную [1, 2]. Такие системы стали востребованными ввиду того, что огромное число реальных процессов в химической промышленности, робототехнике и электронной инженерии, в системах управления полетом и других отраслях человеческой деятельности моделируются сложными системами, обладающими иерархической структурой, описываемыми непрерывно изменяющейся динамикой на низшем уровне и созданием логического выбора - на высшем [3].

Исследование существования и единственности представления решений, а также некоторых задач управляемости для различных клас-

сов сложных динамических систем проведено в работах [4-10].

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

1. Постановка задачи. Рассмотрим гибридную дискретно-непрерывную систему вида

X (t) = All (t) Xi(t) + A12 (t) X2(t0 + kh) + + B1 (t)u(t), te[t0 + kh, t0 + (k + 1)h), x2 (t0 + kh + h) = A21 (k) x1 (t0 + kh) + + A22 (k)x2(t0 + kh) + B2 (k)u(t0 + kh),

(1)

где

A„ (t)

A12 (t)

B (t)

A21 (k)e M"2xn1, A22 (k)e M"2x"2, B2 (k)e Mrx"2,

te[t0, t*], k = 0,1,

T T

' x t*' t*

= lim

£—>0

t* 10 £

элементы матриц А11 (•), А12 (•), В1 (•) являются кусочно-непрерывными функциями; вектор-функция х () = X Х10 , х20

) предполагается непрерывной и кусочно-дифференцируемой на [/0, Ъ].

Начальные условия для системы (1) зададим в виде

x1(t0) X10, X2 (t0) X

•20-

(2)

Наряду с системой (1), (2) рассмотрим двойственную систему следующего вида:

) = -„ () х*(:), х*(:0 + кк - 0) - х*(:0 + кк + 0) = = А11 (к )х*(:0 + кк + к), х*(:0 + кк) = А2,2 (к )х*(:0 + кк + к) + (3)

^ + кк+ к

+ | А12 () х*(:,

í0 + кк

х* ^) = 0,1 > и,

где х1 ($), х* (^ + кк) - матричные функции со значениями в пространствах М"1, М"2 соответственно, к = 0,1,..., Т*, tе |70, и],с начальными условиями вида

х* (4 - 0) = х*0, х*^* + Т* к + к) = х20. (4)

2. Вспомогательные результаты.

Утверждение. (Двойственное соотношение). Справедливо следующее двойственное соотношение:

х*' - 0) х ) + х*' (( + Т* к + к) х2 (( + Т* к + к) =

t2

= х*' (t0 - 0)х10 + х*' (t0 )х20 + | х*' (t )В1 ()" (t )dt +

Тр*

+Xх*' (0 + кк + к)В2 (к)и(t0 + кк). (5)

к=0

Доказательство. Умножим первое уравнение системы (1) слева на кусочно-непрерывную матричную функцию х*Т () с точками разрыва первого рода лишь в моменты т = t0 + кк, к = 0,1, ...,ТЬ, и проинтегрируем по т от 0 до 4:

0 = | х*' (т)- х1 (т)ё т -1 х*' (т)- А11 (т) х1 (т)ё т -

¡0 % Т* -1 ь0 + кк+к

- X I х*'(т)- А12 (т)ат-x2(to + кк) -

к=0 ^+кк

- | х*'(т)-А12(т)^т-х2(:0 + кк)-

% к

-1 х*'(т)- В1 (т)и (т)^ т. (6)

Поскольку матрица-функция х*Т (t) имеет разве лишь разрывы первого рода в точках т = :0 + кк, к = 0,1,..., Т, то интегрируя по частям первый интеграл равенства на каждом интервале (0 + кк, t0 + кк + к) и используя свойство аддитивности интеграла, получаем:

г* Т* -1 ^ +кк+к

| х*' (т)- хс1(т)ё т = X | х*'(т)- ,х1(т)^ т +

+ | х*' (т)- хс1(т)^т =

t0 +ТЛк

= X (х*' (t0 + кк + к - 0)х1 (0 + кк + к) -

к=0

- х* (( + кк + 0)х1 (0 + кк)) + х* - 0)х1 ) -

и

■ х*' (to + Т*к + 0) х (to + Т*к) -1 х*' (т)- х1 (т)т =

= X(х*' ( + кк - 0) - х*' (0 + кк + 0)) (0 + кк) +

к=0

+ х* - 0)х ) - х* (( - 0)х10 -1х* (т) - х1 (тт.

t0

Аналогично поступаем со вторым уравнением системы (1): умножаем его слева на дискретную матричную функцию к = -1,0,1,..., Т*, х*Т (0 + кк + к), и суммируем по к от 0 до Т*:

0 = X х*'(0 + кк + к )(0 + кк + к)-

к=0

- А21 (к)х1 (t0 + кк) - А22 (к)х2(:0 + кк) -

- В2 (к )u(t0 + кк)). (7)

Преобразуем первое слагаемое этой суммы:

т:*

Xх2 (0 + кк + к)х2(:0 + кк + к) =

к=0

т:*

= Xх* (t0 + кк)x2(t0 + кк) +

к=0

+ х*' (to + Т* к + к)^ + Т* к + к)

х* ((:0 ) х20 .

Суммируя (6) и (7) и учитывая вид сопряженной системы (3), (4), имеем:

0 = - I х*'( т) + х*'(т) А11 (т) -х1(т) т +

V to

Тг*

+x ( х*'(:0 + кк - 0) - х*' (t0 + кк + 0) -

к=0

х*' (0 + кк + к)А21 (к)) х (0 + кк) +

т* (

к=0

+X х* (t0 + кк) - х* (0 + кк + к) А22 (к) -

^ + кк+к

Л

к=0

+кк

I х* (т)А12 (т)^т

t0 +кк

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

х2 (:03 + кк) +

0

Т

36

Т. А. Любеикая

t0 +T* h+h

+ J X*'(t)42 (T)d T ' X2(t0 + Tt* h)-

-Jx*' (t) • B1 (t)u(x)d

t-

x*'(t0 + kh + h )• B2 (k )u (t0 + kh) +

k =0

+ x*'( + T* h + h)) + Tt* h + h) -

— X2 (t0 )x20 + X1 (* — 0)х1 (* ) — X1 (0 — 0)X10 =

t*

= -jx* (t) • B1 (t)u(t)Jt

üt-

—^ х*' ('0 + кк + А )• В2 (к )и('0 + кк) +

к=0

+ х*' (^0 + Т* А + И) Х2 (^0 + Т* А + к) —

— Х2 ('0 )х20 + х1 — 0)х1 ) — х1 (0 — 0)х10,

что завершает доказательство утверждения.

3. Представление решений. Пусть матрицы функции х1 ( '), х* ( '0 + кк) - решения сопряженной системы (3), (4).

Обозначим символом 1к единичную к х к -матрицу.

Имеет место следующий аналог формулы Коши для представления решений динамической дискретно-непрерывной системы (1), (2).

Теорема. Решение системы (1) с начальными условиями (2) существует единственно и может быть представлено по формуле:

1)

Х1 — 0) = х1 (0 — 0)х10 + х2 (0 )х20 +

+1х*'(т) • В1 (т)и(т)^т +

'0

Т*

+^х*'(0 + кк + И)• В2 (к)ы('0 + кк), (8)

k =0

если

х12 - 0 ) =

x* (0 + Tt* h + h ) 0 e

)"2-

X2 ( f0 + Tt*h + h) = x2' (0 - 0) X10 +

t*

+ x* (t0)x20 + Jx* (t) • B1 (t)u(t)dt +

если

+^ x*'(t0 + kh + h)• B2 (k)u(t0 + kh), (9)

k=0

x* ( + T* h + h ) = I„2; x* (t* - 0) 0e Ml

Доказательство. Из системы (3) с начальными условиями

x1*(* -0) = 1Щ;

x* (t0 + Tt* h + h ) 0 e M"2,

с учетом двойственного соотношения (5), получаем представление решения (8) для кусочно-непрерывной функции x1 (t*).

Если же для системы (3) выбрать начальные условия

x* (+Tt*h+h )=In2; x* (t* - 0) = 0e M"1,

с учетом двойственного соотношения (5), получаем представление решения (9) для дискретной функции x* (t0 + T* h + h).

В единственности решения можно убедиться, интегрируя исходную систему (1), (2) по «шагам».

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

Автор выражает глубокую благодарность профессору В. М. Марченко за научное руководство данной работы.

Литература

1. Van der Schaft, A. An introduction to hybrid dynamical systems / A. Van der Schaft, H. Schumacher. - Berlin: Springer, 2000. - P. 324.

2. Antsaklis, P. Hybrid Systems Modeling and Autonomous Control Systems / P. Antsaklis, J. Stiver, M. Lemmon // Lecture Notes in Computer Science, London: Springer-Verlag. - 1993. -Vol. 736. - P. 366-392.

3. Марченко, В. М. Гибридные дифференциально-разностные системы и их приложения в теории динамических систем / В. М. Марченко // Труды БГТУ. Сер. VI, Физ.-мат. науки и информатика. - 2009. -Вып. XVII. - С. 3-7.

4. Марченко, В. М. Представление решений управляемых гибридных систем /

T

0

T

T

B. М. Марченко, О. Н. Поддубная // Проблемы управления и информатики. - 2002. - № 6. -

C. 17-25.

5. Марченко, В. М. Представление решений и относительная управляемость линейных дифференциально-алгебраических систем со многими запаздываниями / В. М. Марченко, О. Н. Поддубная // Доклады РАН. - 2005. - Т. 404, № 4. -С.465-469.

6. Марченко, В. М. Линейные стационарные дифференциально-алгебраические системы. Представление решений / В. М. Марченко, О. Н. Поддубная // Известия РАН. Теория и системы управления. - 2006. - № 5. -С. 24-38.

7. Беллман, Р Дифференциально-разностные уравнения / Р. Беллман, К. Л. Кук. - М.: Мир, 1967. - 548 с.

8. Гайшун, И. В. Многопараметрические системы управления / И. В. Гайшун. - Минск: Навука i тэхшка, 1996. - 200 с.

9. Bartosievicz, Z. Linear control systems on time seal: unification of continuous and descrete / Z. Bartosievicz, E. Pawiuszewicz // 10th IEEE Intern. Conf. on Methods and Models in Automation and Robotics. - Poland, 2004. - P. 263-266.

10. Хейл, Дж. Теория функционально-дифференциальных уравнений / Дж. Хейл. - М.: Мир, 1984. - 421 с.

Поступила 12.03.2012

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