Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Формальский А.М. Управляемость и устойчивость систем с ограниченными ресурсами

.pdf
Скачиваний:
8
Добавлен:
24.10.2023
Размер:
11.01 Mб
Скачать

3]

СТРУКТУРА ОБЛАСТЕЙ

УПРАВЛЯЕМОСТИ

81

Рассмотрим теперь случай, когда система (1.1) вполне

управляема

(р = п), а степень

минимального полинома

матрицы А

равна ее порядку (р = п).

 

При условии р — п среди уравнений подсистемы (8.19)

содержится

ровно p h линейно

независимых. Это значит,

что среди гркстолбцов a h0bs, аklbs, ...,

aft,P)rl&s (s =

1, . . .

. . ., г) содержится ровно р к линейно независимых.

 

При

условии р = п ранг матрицы А %ь.Еп равен

п — 1,

среди столбцов матриц

a kh

a ktl+1, . . .,

a ft>Pjc_x

содержится ровно p h — /линейно независимых для любого значения I = 0, 1, . . ., p h — 1 [21]. Это означает, в част­ ности, что матрица a Ä>Pj£_x содержит хотя бы один нену­

левой столбец (в отличие от системы (8.20)), и все столбцы

ее линейно

зависимы.

Матрицы a ki

удовлетворяют

сле­

дующим соотношениям:

 

 

 

(А

ат = (I +

1) «л, (+і (/ =

0 ,1 ,.. ., рк— 2),

 

'ккЕг) akt Pfc_x = 0.

(8.21)

Предположим, что а k,pk-ibs = 0 при всех s = 1, .

. ., г.

Тогда из соотношений (8.21) следует, что среди столбцов

&к,рк-Фв (s = 1,

. . . » г) содержится не

более одного ли­

нейно

независимого, среди

столбцов

a hlPJr3b8, а к,Рк~Ф*

(s = 1,

. . ., г) — не более двух линейно независимых и

среди

столбцов

a kobs, . . .,

a h,n _2bs (s = 1, . . ., г) —

не более р к — 1, линейно независимых. Однако это про­

тиворечит условию р = п. Следовательно,

существует

хотя бы одно значение индекса s, при котором

a hfPk-ibs =J=

=f= 0.

При этом значении s все столбцы аkps (/ — 0,

1, . . .

. . .,

p h — 1)

линейно независимы. В самом деле,

пусть

 

Ъ Ч А

+ Тіа кФз + • • • + TpÄ- i aK, ѵк-г К =■ 0.

 

Умножая обе части этого равенства слева последовательно на ХкЕп), . . ., %кЕп)Ѵк~х [21, стр. 163] и ис­ пользуя соотношения (8.21), получаем

ToCt/A + 2ухакф8+ .. . - ] - (Pu ~~ 1)Tpfe-2afc,vk-2^s

{Рн — !)! То0*, Pjf-ips = 0,

82

 

ОБЛАСТИ

УПРАВЛЯЕМОСТИ

 

[ГЛ. I

Отсюда получаем у0 =

0.

Умножая эти выражения после­

довательно на

'къЕп),

•>

К Е п У ^

и т. д.,

получаем

у* =

. . . =

Уѵк-і =

0.

 

 

 

Таким

образом, среди

столбцов a klbs {I =

1, . . .

. . p h — 1; s = 1, . .

г)

ровно p k — 1

линейно неза­

висимых, т. е.

ранг

подсистемы

(8.18)

равен

p h — 1.

Следовательно,

при р =

р =

 

п ранг системы (8.17) равен

Гг

2 Л — (Г2 — Гі). fc—гіН-і

Из сказанного вытекает, что при р = п формулировка теоремы 8.2 получается, если в формулировке теоремы 8.1 опустить индекс s.

§ 9 . О бласти управляем ости в канонических перем енны х

В настоящем параграфе будем предполагать, что си­ стема (1.1) является вполне управляемой, т. е. р = п.

Рассмотрим сначала случаи, когда т = 1, 2, 3. Систему (1.1) путем невырожденного преобразования

(например, канонического) [21, 38а, 52]

у — Gx

(9.1)

можно «разбить» на две подсистемы,

-jf Аруг +

Bpi,

(9.2)

= Агуг +

В2и,

(9.3)

где матрицы А г и А г таковы, что все собственные значения матрицы A J имеют положительные действительные ча­ сти, а матрицы А 2 — неположительные действительные части. Следовательно, размерности столбцов уг и~г/2 рав-

Г і

Гг

ньі2 ри

2

Рк соответственно.

fc—1

/с=П+1

Вследствие предположения о том, что р = п, системы

(9 .2 ) и (9 .3 )

являются вполне управляемыми.

3] СТРУКТУРА ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ 83

Из соотношений (1.1), (9.1) — (9.3) имеем

 

G A G 1 =

Л г

О

 

|,

GB =

Бі

g-GAG~'x в I!

0

 

О А2

 

 

1 0

е-А*

Для функции

-r]eGAG ЧВ

получаем выражение

 

 

rjg-GAG

=

1-|1е-А1т^1 |_ Т]2е-А,т^2)

(9.4)

где г)і и

т|2 — строки соответствующих размеров

(ц =

= Иі» Лг ID-

пользуясь теоремой 7.2, область управляе­

Построим,

мости Qm (т =

 

1, 2, 3) системы (9.2), (9.3) в фазовом про­

странстве

Y n = Yn -)- Yn ( Yn и

Yn —• фазовые простран­

ства системы (9.2) и (9.3) соответственно). Для этого нужно, прежде всего найти векторы ц, при которых функ­ ция (9.4) стремится к нулю при т —»- оо.

Из свойств матриц А г и следует, что при т -> с» функция (9.4) стремится к нулю при тех и только тех век­ торах г], при которых имеет место тождество

цге~АгХ В 2 = 0.

(9.5)

Система (9.3) вполне управляема, поэтому, как следует из § 3, тождество (9.5) имеет место тогда и только тогда, когда Tj2 = 0. В соответствии с § 7, обозначим единичные векторы т} = I Лх, 0 Цчерез ц°. Для всех векторов ц° имеем

r f e-G A G = г\1е~АіХВ 1 ф 0 ,

поскольку система (9.2) является вполне управляемой.

Расстояния

d (ц0, Т) от

начала

координат до опорных

гиперплоскостей Пт (rj°,

Т) (ш =

1, 2, 3) не равны нулю

при Т

0.

Если Т

оо, то d (ц0, Т)

d (г)°) ф 0. По­

скольку

р =

п, постольку подпространство Ур (в § 7 оно

обозначалось через Х р)

совпадает

со всем пространством

Y n. Линейная оболочка векторов ц°, для которых d (ц°) ^

Ф 0, совпадает, очевидно,

с подпространством Yk.

Мно­

жество R m точек у1 ЕЕ Yn,

удовлетворяющих при

всех

векторах ц° неравенствам вида (7.5),

 

I П°г/ I = I ЧіУі I < d (ц0),

представляет собой область управляемости системы (9.2).

84

ОЁЛАСТИ УПРАВЛЯЕМОСТИ

[ГЛ. I

Из теоремы 7.2 получаем следующую теорему.

 

 

Теорема 9.1. Облаетъ управляемости

Qm (т =

1, 2,

3)

системы

(9.2), (9.3) — цилиндрическое

множество,

т.

е.

Qm — Rm

|- Yn, где R m c—Yn ограниченное открытое

множество (сечение цилиндра).

Эта теорема для случая т = 1 содержится в ряде ра­ бот [26, 28].

Из теоремы 9.1 следует, что область управляемости Qm (т = 1, 2, 3) системы (1.1) представляет собой множе­ ство, ограниченное по каноническим переменным системы (1.1) , соответствующим корням характеристического урав­ нения (3.1) с положительными действительными частями.

Поставим вместо задачи определения области управ­ ляемости следующую задачу. Найти в фазовом простран­ стве Х п множество Sm таких состояний, в каждое из ко­ торых систему (1.1) можно привести из начала координат за конечное время с помощью управления и (т) GE Qm. Решение поставленной задачи получается, если в системе (1.1) сделать замену времени: заменить t на —t. В самом деле, систему (1.1) можно из начала координат привести в те и только те состояния, из которых новую систему можно привести в начало координат. Собственные зна­ чения в новой системе получаются из собственных зна­ чений системы (1.1) заменой знаков на противополож­ ные [21].

Будем предполагать, что система (1.1) приведена к ви­ ду (9.2), (9.3) так, что все собственные значения матрицы А х имеют отрицательные действительные части, а матри­ цы А 2 — неотрицательные действительные части. Тогда

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

1, 2, 3) системы (9.2),

Теорема 9.2. Облаетъ S™ (т =

(9.3) — цилиндрическое множество,

т. е. Sm = Тт + Yn,

где Тт CZYn ограниченное открытое множество (сече­

ние цилиндра).

 

В фазовом пространстве Х п область Sm также являет­ ся, очевидно, цилиндрическим множеством.

Область <Sm = 1, 2, 3), в отличие от области Qm, представляет собой множество, ограниченное но канони­ ческим переменным системы (1.1), соответствующим кор­ ням уравнения (3.1) с отрицательными действительными частями.

S3

СТРУКТУРА

ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ

85

 

Рассмотрим теперь вопрос об области Qm в случаях,

когда т = 4 -г- 7. При этом, кроме условия р =

п, нало­

жим условие р =

п.

 

 

 

Систему (1.1)

путем канонического преобразования

 

 

 

У = G&

(9.6)

можно привести к треугольному виду

 

 

•Jy =

А\\У\ + Вги,

(9.7)

 

-jf =

Ä22y2+ В2и,

(9.8)

где матрица А п такова, что все ее собственные значения имеют неотрицательные действительные части, причем собственные значения с нулевой действительной частью являются однократными. Матрица А 22 имеет собственные значения с отрицательными действительными частями, а также с нулевой действительной частью. Размерности

Г , Г г

столбцов

уу И у2 равны 2 й

+ (Г2 _ Г і)

и 2

рк —

(г2 — Гу)

к=1

 

к=Гг+1

соответственно.

уравнений

(9.7),

(9.8) за­

Для

пояснения структуры

метим следующее. Группа канонических уравнений, соот­

ветствующих нулевому корню %k =

0

кратности p h, при

условии р =

п имеет вид [21]:

 

 

 

 

dzi

уу

dz2

. ту'

dz.Рк

— Z

BpjU.

Чі =

BlU’

ЧГ

21 + B*u’ ■

dt

Рк'

 

Так вот,

первое

уравнение

этой

группы

включается

в систему (9.7), а остальные уравнения — в систему (9.8). Точно так же обстоит дело с каноническими урав­ нениями, соответствующими чисто мнимым корням.

Из условия р = п следует, что система (9.7) будет вполне управляемой.

Из соотношений (1.1), (9.6) — (9.8) имеем

-1

A n

0 I!

 

=

B i

GyAGl

^421

G XB

В*

 

^22I ’

 

 

-G^G'P

I <ГАі,т

 

0

 

 

 

I F21 (t)

—АъуХ

 

 

 

 

 

 

86 ОБЛАСТИ УПРАВЛЯЕМОСТИ ІГЛ. I

где F21 (т) — матрица соответствующих размеров. Каждый элемент этой матрицы при условии р. = п содержит сте­ пенные и тригонометрические функции переменной т.

Для функции це 1

1

получаем

выражение

 

- G ,AG-Гс

т}1е~А^ В 1 -f ті2Е21 (т)

r\2e~A^ B 2, (9.9)

 

це

1

В =

где ц =

I щ ,

т]2 1|.

 

 

 

 

 

Пользуясь теоремами 8.1, 8.2, построим в простран­

стве

Y n =

Yn +

Yn

область

управляемости Qm (т =

= 4

^ -7 ) системы (9.7),

(9.8).

Для этого нужно прежде

всего найти векторы т), при которых функция (9.9) ограни­

чена на полуоси 0

т <ф оо.

 

 

Если вектор ц такой, что ті2

= 0, то

 

- G iA G r 1*

і]1е'Аі,і:Б1.

(9.10)

це

В =

Из свойств матрицы А 1Х следует, что функция (9.10) ог­

раничена на полуоси [0, оо).Если ті2 Ф 0,

то из условия

р = п вытекает, что

 

■r\2F21(x)B1-ir г\2е-А^ В 2фО .

(9.11)

Функция (9.11) при ті2 ф 0 не является ограниченной на полуоси [0, оо), поскольку она содержит либо неограни­ ченные экспоненты либо степенные функции переменной т. Таким образом, функция (9.9) ограничена на полуоси

[0,

оо) тогда и

только тогда, когда единичный вектор ц =

-

Л° =

И х ,0 |.

 

Для

всех

векторов ц = ц0 получаем, что функция

(9.10) не равна тождественно нулю, поскольку система

(9.7) вполне управляема. Отсюда следует, что расстояния d (ц0, Т) от начала координат до опорных гиперплоско­

стей П™ (ц0, Т) (тп = 4 7)

не равны нулю при Т Д> 0.

Для всех векторон ц° имеем

 

lim d(ii°, Т) =

d (т|°) ф 0.

Г — оо

 

Поэтому линейная оболочка векторов т)°,

для

которых

d (т|0) ф 0, совпадает с подпространством

F«.

Совокун-

3]

СТРУКТУРА

ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ

87

ность R m точек у г d

И«, удовлетворяющих при всех век­

торах

т|° = I т^, О I

строгим

неравенствам

 

 

 

I НіУі I <

d (ц°),

 

представляет собой множество внутренних точек области управляемости системы (9.7).

Из теорем 8.1, 8.2 получаем следующую теорему.

Теорема 9.3. Множество Qm внутренних точек области управляемости Qm (т = 4 ~ 7) является цилиндрическим,

т. е. Qm = + Y\, где R m С Yh ограниченное мно­ жество (сечение цилиндра). На границе области Qm есть точки как принадлежащие области, так и не принадле­ жащие ей.

Из теоремы 9.3 следует, что область управляемости Qm (т = 4 -н 7) системы (1.1) представляет собой множе­ ство, ограниченное по каноническим переменным системы (1.1), соответствующим корням уравнения (3.1) с поло­ жительными действительными частями, и (отличие от слу­ чаев т- = 1 , 2 , 3) по некоторым каноническим перемен­ ным, соответствующим корням с нулевой действитель­ ной частью.

Сформулируем теперь теорему о структуре множества Sm (т = 4 -г-7) состояний, в каждое из которых можно привести систему (1.1) изначала координат. При этом бу­ дем предполагать, что в системе (9.7), (9.8) все собственные значения матрицы А 1Х имеют неположительные действи­ тельные части, причем собственные значения с нулевой

действительной

частью однократны.

Теорема 9.4. Множество Sm внутренних точек области

Sm (т — 4 7)

является

цилиндрическим, т. е. Sm =

_ jm _|_ у 2п, где

Тт СГ У7\

ограниченное множество (се­

чение цилиндра). На границе области Sm есть точки как принадлежащие, так и не принадлежащие ей.

Из этой теоремы видно, что при т = 4 ч- 7 область Sm представляет собой множество, ограниченное по кано­ ническим переменным системы (1.1), соответствующим корням с отрицательными действительными частями, и по некоторым каноническим переменным, соответствующим корням с нулевой действительной частью.

88

ОБЛАСТИ УПРАВЛЯЕМОСТИ

[ГЛ. I

§ 10. Расширенная область управляемости

Определение. Расширенной областью управляемости системы (2.2) называется множество V™(т = 1, . . 7) состояний ж (0) GE Х п, для каждого из которых суще­ ствует допустимое управление, которое приводит систему (2.2) за конечное (заранее не заданное) время в любую на­ перед заданную, сколъ угодно малую окрестность начала координат.

Другими словами, состояние х (0) £Е РГ тогда и толь­ ко тогда, когда для любой окрестности S начала координат найдется такой момент времени Т и управление us (т) €Е іЕ:&Т(Т), что полученный при решении системы (2.2)

вектор X {Т)

S.

Определение

расширенной области управляемости

Ѵт системы (1.1) получается, если в приведенном выше определении опустить индекс s.

Вопрос о расширенной области управляемости возни­ кает, например, при исследовании асимптотической устой­ чивости системы (2.2) (или (1.1)), в которой организована

обратная связь и =

и (х), учитывающая ограничения на

ресурсы управления

типа (1.2) — (1.4) (см.

гл. III).

Из

определения

следует, что

СІ И™

и Qm d Vm.

Если система (2.2) не является вполне управляемой,

т. е. ps

п, то невырожденным преобразованием она мо­

жет быть приведена к системе вида (3.11), (3.12). Рассмот­

рим случай, когда А 12 =

0. При этом система (3.11), (3.12)

приобретает вид

 

 

=

А1іУі + blu,

(10.1)

=

A22y2.

(10.2)

Предположим также, что собственные значения матрицы А 22 имеют отрицательные действительные части. Областью притяжения начала координат у 2 = 0 системы (10.2) бу­ дет при этом все фазовое пространство Y 2. Поэтому рас­ ширенная область управляемости системы (10.1), (10.2) представляет собой алгебраическую сумму расширенной области управляемости для системы (10.1) и подпростран­ ства Y v

31

СТРУКТУРА ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ

89

Область управляемости Q"1системы (10.1), (10.2) при­ надлежит подпространству Ух и вследствие соотношения (3.13) является в этом подпространстве множеством пол­ ной меры. Значит расширенная область управляемости системы (10.1) будет в пространстве множеством полной меры. Следовательно, расширенная область управляе­ мости системы (10.1), (10.2) является в пространстве Y n —

=+ Y 2 множеством полной меры. В это же время

область управляемости QT системы (10.1), (10.2) принад­ лежит целиком подпространству размерности ps.

Рассмотрим вопрос о построении расширенной области управляемости для системы (10.1). Вследствие условия (3.13) эта задача эквивалентна задаче о построении рас­

ширенной области управляемости У™ д л я исходной систе­ мы (2.2) при условии ps = п.

Пусть сначала т = 1. Покажем, что при этом У™ = = Q™. В самом деле, при условии ps = п начало коорди­ нат будет внутренней точкой области @s. Предположим, что существует точка х (0) ЕЕ Ѵ\, но х (0) ф Ql. Из оп­

ределения области У^ следует, что систему (2.2) можно привести к некоторому моменту времени Т с помощью уп­

равления

us (т) ЕЕ ß* (Т)

в состояние

х (Т) ЕЕ <?s-

Из

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

следует, что

из

состояния

X (Т) систему

(2.2) с помощью управления

us (т) ЕЕ ßs

можно за конечное время привести в начало

координат.

Из сказанного

вытекает, что систему (2.2)

за

конечное время из состояния х (0) ф Ql

можно с помощью

управления us (т) ЕЕ ß* привести в начало координат, чего

не может быть.

п также У1 =

Q1.

 

 

Для системы (1.1) при р =

7. При

 

Рассмотрим теперь случаи,

когда m = 2,

. . .,

наличии

интегральных ограничений приведенное

выше

в случае

тп = 1 рассуждение теряет силу.

 

 

 

Обозначим через Q™ замыкание области управляемо­

сти

Если QT = Х п, то УГ = Х п, и рассмотрение на

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

смысл, если QT Ф Х п.

Лемма 1. Расстояние d (ц0) является непрерывной и строго монотонно возрастающей функцией величины P s при

90

ОБЛАСТИ

УпРАВЛЯЁМОСТЙ

[ГЛ. I

m =

2,3, величины N s при

m =

4, 5, величин P s, N s при

m =

6, 7

при

т = 2, А следует

непо­

Доказательство леммы

средственно из выражений (7.7), (8.3). Величина (4.8) яв­ ляется непрерывной и строго монотонной функцией пере­ менной сг. Поэтому решение о0 уравнения (4.9) при ц = = г|° и Т = оо будет непрерывной и строго монотонной функцией величины P s. Из выражения (7.9) следует утвер­ ждение леммы при m = 3. При m = 5 утверждение леммы получается из анализа соотношений (5.16), (5.17). При m = 6, 7 для доказательства нужно использовать соотно­ шения (6.9) — (6.12), (6.14), (6.16).

Лемма 2. V? cz Q? (m = 2,

.

. .,

7).

 

Докажем эту лемму при тп

=

2,

3. Расстояние d (rj0),

области ИГ и

ОГ зависят от величины Р а, т.

е. d (ц0) =

= d (ц°, P s),

VT = VT (Ps) и

QT =_QT (Ps)-

Предполо­

жим, что X (0) ЕЕ VT (Ps ),

но X (0)

ф QT (Ps)- Последнее оз­

начает, что существует такой вектор ц0, при котором

 

I ѵ?х (0)

I > d (т]°, P s).

 

Из леммы

1 следует

существование такой

величины

АP s Т> 0, что

 

 

 

 

 

 

 

I Ц°х (0) I >

d (ц0, P s +

ДР 3),

 

и, следовательно, х (0) ф QT (Ps + APS).

При условии рs — п начало координат будет внутрен­ ней точкой области QT (ЛТД)- Поскольку х (0) (ЕЕ ИГ(-Р8)>

постольку существует управление щ (г) и момент времени Тх, при котором X (Тг) GE QT (APS) и

Тt

 

 

\[ u l( x ) ] 4 t ^ P s.

(10.3)

О

 

 

Из точки X (Тг) ЕЕ QT Ра) систему (2.2) можно привести в начало координат за конечное время Г2 с помощью уп­

равления щ (т), удовлетворяющего условию т.+т,

$ K *(t)]2d t < A P e. (10.4)

Ті

Соседние файлы в папке книги из ГПНТБ