![](/user_photo/_userpic.png)
книги из ГПНТБ / Формальский А.М. Управляемость и устойчивость систем с ограниченными ресурсами
.pdf3] |
СТРУКТУРА ОБЛАСТЕЙ |
УПРАВЛЯЕМОСТИ |
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»
{Рн — !)! То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 ) |
являются вполне управляемыми. |
![](/html/65386/283/html_S3xg7SNfQN.WJol/htmlconvd-hCtyjn83x1.jpg)
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 |
Tß = |
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).
![](/html/65386/283/html_S3xg7SNfQN.WJol/htmlconvd-hCtyjn84x1.jpg)
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 = Rт + 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)
Ті