![](/user_photo/_userpic.png)
книги из ГПНТБ / Формальский А.М. Управляемость и устойчивость систем с ограниченными ресурсами
.pdf3] СТРУКТУРА ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ 91
Таким образом, систему (2.2) можно привести за время Тг + Т2 в начало координат с помощью управления
I и* (т) |
при 0 < |
X< |
Тъ |
щ ^ ~~ I К (т) |
ПРИ ті < |
т< |
ті + А. |
которое в силу условий (10.3), (10.4) удовлетворяет нера
венству
т.+т,
|
|
S |
[Ms (T)2] d t < P s + APS. |
|
|
|
О |
|
|
Это, однако, |
противоречит тому, что х (0) |
Q™ (Р$ + |
||
+ АP s). При тп |
= 2, |
3 лемма доказана. |
|
|
Если m = |
4, |
5, то при доказательстве леммы в соответ |
ствующих местах нужно рассматривать расстояния d (т]°,
N s), области F’n (Ns), QT (Na) и Q™ {ANS). По существу,
доказательство сохраняется без изменений. При тп = 6, 7 нужно рассматривать расстояния d (т)° , P s, N s), области
К |
(Р„ N s), QT (Р„ N s) и QT (АР„ |
|
AN,). |
|
||
|
При условии р = п для системы (1.1) также имеет место |
|||||
включение Vm cz Qm (т = 2, |
. . ., 7). |
|
|
|
||
|
Лемма 3. Q™ а |
V™ (т = 2, . . ., 7). |
|
|
||
|
Обозначим через Г” множество граничных точек обла |
|||||
сти Q™. Для доказательства леммы достаточно доказать, |
||||||
|
a ci Vs , поскольку Qs cz vs . Докажем, это утвер |
|||||
ждение при т = |
2, 3. |
|
|
|
|
|
|
Возьмем произвольную екрестность S начала коорди |
|||||
нат и выберем величину AP s |
0, так, чтобы Q™ (APs) а |
|||||
а |
S. Пусть X (0) |
6Е ГГ (P s). |
Из леммы 1 вытекает, что |
|||
х (0) £= Q™(Ps + |
AP s). Отсюда следует существование та |
|||||
кого Т и управления и, (т), что х (Т) |
= |
0 и |
|
|||
|
|
т |
|
|
|
|
|
Pt < \ ц*(т) d T < P , + |
APS. |
(10.5) |
|||
|
|
О |
|
|
|
|
|
В качестве управляющей |
можно |
выбрать |
функцию |
вида (4.12) при тп = 2 и функцию вида (4.5) при тп = 3.
(
Тогда интеграл ^ и?(х) dx будет непрерывной функцией
о
92 ОБЛАСТИ УПРАВЛЯЕМОСТИ [ГЛ. I
верхнего предела. Из неравенства (10.5) заключаем, что существует такое значение t*, что
і* |
|
|
5 и\ (т) dx = |
Ps. |
|
О |
|
|
При этом |
|
|
т |
|
(10.6) |
§ Us (t)dr |
APS. |
|
t* |
|
|
Поскольку X (T) = 0, постольку из неравенства (10.6)
следует, |
что х (t*) GE QT (APs) CI S. |
Таким |
образом, |
X (0) (= |
VT (P s). Для случаев m — 2, |
3 лемма |
доказана. |
В случае /н = 4 в качестве управления можно выбрать ступенчатые функции вида (5.4) поскольку точка х (0)
будет внутренней для области (Д (ТѴ8 + АЛД). При этом
/
интеграл ^ | us (т) | dx будет непрерывной функцией верхнего
о
предела. Поэтому доказательство леммы при m = 4 также проходит. При тп = 5, 6, 7 доказательство леммы не пред ставляет труда.
Для системы (1.1) также имеет место включение Qmd с Vm (m = 2, . . ., 7). Соответствующая лемма доказы вается по аналогии с леммой 3.
Итак, из сказанного вытекает следующая теорема.
Теорема 10.1. Если р = п, то расширенная облаетъ управляемости системы (1.1) совпадает с областью управ
ляемости при т = 1 (F1 = |
Q1) и с замыканием области |
управляемости при т = 2, |
. . ., 7 (Ѵт = Qm). |
Из этой теоремы следует, |
что при р = п расширенная |
область управляемости с точностью до множества нулевой меры совпадает с областью управляемости. Поэтому при условии р = п прилагательное «расширенная» не очень подходит для названия области Ѵт.
§ 11. Стационарные состояния и область управляемости
Внастоящем параграфе будем рассматривать случай
т= 1.
Пусть матрица А невырождена; тогда множество L возможных стационарных состояний системы (1.1) при ог
з] |
СТРУКТУРА ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ |
93 |
раничениях (1.2) на управление описывается соотноше нием
L = {х = — А^Ви: I Kg| M s (s = 1, . . г)}. (11.1)
Систему (1.1) можно с помощью невырожденного пре образования (9.1) расчленить на две подсистемы (9.2) и (9.3), причем все собственные значения матрицы А х имеют положительные действительные части, а все собственные значения матрицы А г имеют неположительные действи тельные части и среди них нет чисто нулевых собственных значений.
При этом проекции множества L на подпространства Yn и Yn записываются в виде
L1 = |
{Уі = |
— А ^В ^ѵ. |
I Kg |
I < |
M s (s = |
1, . . ., r)}, (11.2) |
|||
L2 |
= |
{tj2 |
= |
- |
А ?Вф \ I |
Kg |
I < |
Mg (s = |
1, . . ., r)>. (11.3) |
|
Каждый вектор у e= L можно представить в виде суммы |
||||||||
|
|
|
|
|
У |
= |
Уі + |
2/2, |
(II-4) |
где |
у1 е |
L1, |
у2 е L2. |
|
|
|
|
||
|
В § 9 показано (теорема 9.1), что область управляемо |
||||||||
сти Q1 системы (9.2), (9.3) |
представляется в виде суммы |
||||||||
множеств из подпространств УІ и Y„, |
|
||||||||
|
|
|
|
|
Q1 = |
В 1 + |
Уп, |
(11.5) |
где В1 cz Yn — ограниченное открытое множество, пред ставляющее собой область управляемости системы (9.2).
Из соотношений (11.4), (11.5), видно, что L a |
Q1 тогда |
и только тогда, когда L1 о R1, поскольку |
L2 с= У*. |
Таким образом, для того чтобы выяснить условия, при ко
торых |
L cz Q1, нужно выяснить условия, при которых |
L1 cz |
R1. |
Вместо того чтобы заниматься подсистемой (9.2), у ко |
торой все собственные значения имеют положительные действительные части, предположим, что все собственные значения матрицы А исходной системы (1.1) имеют поло жительные действительные части, и будем заниматься ею. При этом, в соответствии с теоремой 7.2, область управляемости Q1 системы; (1.1) является ограниченным открытым множеством.
94 ОБЛАСТИ УПРАВЛЯЕМОСТИ [ГЛ. I
Поставим следующую задачу: найти условия, при кото рых L d Q1.
Эта задача представляет самостоятельный интерес, кроме того, результаты ее решения будут использованы при исследовании устойчивости релейных систем и систем] с сухим трением (см. гл. IV).
Множество Ls возможных стационарных состояний си
стемы (2.2) представляет собой отрезок |
|
|||
Ls = |
{х = — A ~ 4sus: I |
us I < |
M s} {s = |
1, . . ., r). (11.6) |
Из выражений (11.1), (11.6) видно, что множество L пред |
||||
ставимо в виде суммы |
Г |
|
|
|
|
|
|
|
|
|
|
L = 2 i L s. |
(11.7) |
|
|
|
»=i |
|
|
Обозначим через N s множество внутренних точек от |
||||
резка |
Ls: |
|
|
|
N s = |
{х = — A^bgUg. |
I us I < |
Mg} (s = |
1, . . ., r). (11.8) |
Совокупность внутренних точек множества L обозна |
||||
чим через N\ тогда |
Г |
|
|
|
|
|
|
|
|
|
|
N = ^ N S. |
(11.9) |
|
|
|
8=1 |
|
|
В § 2 показано, что |
|
|
|
|
|
|
Г1 |
|
|
|
|
С1 = 2 # - |
(И .ю) |
|
|
|
і=і |
|
|
Из соотношений (11.7),I (11.9), (11.10) следует, что если |
||||
N s d |
при всех s = 1, . . ., г, то N d |
Q1; если Ls d |
при всех s = 1, . . ., г, то L d Q1-
Рассмотрим задачу о выяснении условий, при которых
имеют место включения N s d Ql, Ls d Ql- При этом будем предполагать, как указывалось выше, что все кор ни уравнения (3.1) имеют положительные действительные части.
Имеет место следующая лемма.
3] |
СТРУКТУРА |
ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ |
95 |
|
Лемма 1. N s ( Z |
Qg1. |
|
|
Возьмем произвольную точку множества (11.8) |
|
|
|
х' = — A^bsUg (I Hs | < M s) |
(11.11) |
|
и покажем, что она принадлежит области Q\. |
|
||
|
Матрица еАх удовлетворяет соотношению |
|
Из этого соотношения, вследствие того, что матрица А не вырождена, получается
т
^ e~Az dr = (Еп — е~АТ) И-1.
о
Отсюда, пользуясь тем, что все собственные значения мат рицы А имеют положительные действительные части, получаем
со
— ^ e~Axbsu3dx = |
— А~гЬ3и3= х'. |
(11.12) |
о |
|
|
Из соотношений (2.1), (11.12) имеем |
|
|
Т |
со |
|
ѵ3(Г) — х' = ^ e~Arbsus(т) dr + ^ e~A^b3us dr — |
|
|
о |
о |
|
Т |
Joo |
|
= ^ е_Ат&5 (щ (т) + |
щ) dr + § e~ATb3usdx. |
(11.13) |
о |
\т |
|
Введем вместо и3 новый управляющий параметр ws с по мощью соотношения
|
w3 |
= и3 + щ. |
|
|
|
Тогда выражение (11.13) приобретает вид |
|
||||
Т |
|
|
ОО |
|
|
ѵ3(Т) — х’ = ^ e~A'cbsws(x) dx + ^e~Azb3u3dx. |
(И .14) |
||||
о |
|
|
т |
|
|
Ограничение (1.2) на управление иапревращается в ог |
|||||
раничение на управление ws: |
|
|
|
||
— M s + |
ul < |
w3 < |
M s + |
и, |
(11.15) |
(u'a - M , < |
0, |
и, + |
M , > |
0). |
|
96 |
ОБЛАСТИ УПРАВЛЯЕМОСТИ |
[ГЛ. I |
Множество |
векторов |
|
|
т |
|
|
$ e~Axb&ws (т) dx |
(11.16) |
и векторов |
О |
|
|
|
|
|
оо |
|
|
§ e~Azbsus dx, |
(11.17) |
|
т |
|
получающихся при всевозможных допустимых управле ниях ws (т) и значениях Т 0, принадлежит подпро странству Xps. Множество точек (11.16) обладает свой ством 2°, сформулированным в § 2 (свойство «роста»). При этом начало координат является внутренней в подпрост ранстве Xps точкой множества векторов (11.16), поскольку
точка ws — 0 лежит внутри отрезка (11.15). Длина век тора (11.17) стремится к нулю при Т —>• оо. Тогда из свой ства 2° вытекает, что найдется такое значение Т, при ко тором начало координат принадлежит множеству точек
(11.14). |
Следовательно, х' 6Е Ql (Т) |
при этом значении |
|
Т, т. е. |
x' е |
Q l |
|
Из соотношений (11.9), (11.10) следует, что имеет место |
|||
также включение N d Q1. |
о принадлежности |
||
Для |
того |
чтобы выяснить вопрос |
отрезка Ls области (Д, нужно, как видно из леммы 1, вы
яснить вопрос о принадлежности области Q} концов этого отрезка.
Имеет место следующая лемма.
Лемма 2. Если рs = п и уравнение (3.1) имеет хотя бы один действительный положительный коренъ А^, то L s ф
Ф Ql
Путем невырожденного преобразования из системы (2.2) можно выделить скалярное уравнение вида
« Ѵ і + bsus, |
(11.18) |
причем bs ф 0 в силу условия р3 = п. |
Проекция отрезка |
La на ось z± описывается неравенством |
|
ы < |
m s. |
(11.19) |
Хі |
|
3] |
СТРУКТУРА ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ |
97 |
Множество точек области Qj, как видно непосредствен но из уравнения (11.18), удовлетворяет строгому неравен ству
ы < м ..
Сравнение неравенств (11.19), (11.20) доказывает лемму. Если система (1.1) вполне управляема и уравнение (3.1) имеет хотя бы один действительный положительный
корень, то L ф Q1.
Докажем теперь третью лемму.
Лемма 3. Если все корни уравнения (3.1) комплексные,
mo Ls С Ql- |
в формулу (11.11) значение us = |
|
[Подставим |
Ms; при |
|
этом получим одну из граничных точек отрезка Ls |
||
|
х ' = - А ~ Ѣ 8М,. |
(11.21) |
Неравенства |
(11.15) при этом приобретают вид |
|
|
0 < iP s < 2 ik fs. |
(11.22) |
Для доказательства леммы нужно показать, что нача ло координат принадлежит множеству векторов (11.14) хотя бы для одного значения Т.
Векторы (11.16), (11.17) принадлежат подпростран ству Xps.
Так же, как при рассмотрении областей достижимости Ql (Т), возьмем единичный вектор т] £Е Х р$ и найдем рас
стояние d (ц, Т) от начала координат до опорной гипер плоскости множества точек (11.16):
|
|
|
т |
|
|
|
|
d(r\,T ) = |
max |
^ у]е~А^Ьрѵа(т) d%. |
(11.23) |
||
|
|
0<1»S<2MSg |
|
|
|
|
Максимизирующей будет, очевидно, функция |
|
|||||
|
|
I 0 |
при |
y\erAxbs |
0, |
|
|
wsМ — I 2Мs |
при |
цe~Axbs |
0. |
|
|
Из |
суммы (3.3)3 |
вынесем за |
скобку |
функцию |
вида |
|
е'Ѵ т1, |
имеющую наименьший |
порядок |
убывания по |
сравнению с другими подобными функциями, входящими
4 А. М. Формальский
98 ОБЛАСТИ УПРАВЛЯЕМОСТИ [ГЛ. I
в выражение (3.3). Тогда выражение (3.3) предстанет в виде (7.15). В выражении (7.15) почти-периодическая функция Д (т) является суммой конечного числа синусо ид; при этом среди слагаемых не содержится постоянной
величины (отличие от § 7), |
поскольку |
все корни Хк ком |
плексные; /2 (т) 0 при т |
оо. Функция Д (т), а значит, |
|
и функция r\e~Axbs, на полуоси 0 ^ т < |
оо принимает как |
отрицательные, так и положительные значения. При этом множество
Е = {т е [0, оо): щ -АхЪ, > 0 }
имеет полную меру, поскольку функция це-^Ь, непре рывна. Тогда из формулы (11.23) следует, что
d(p, оо) = 2М , ^ ц е г^ Ъ ^ х > 0 |
(11.24) |
Е |
|
при всех единичных векторах ц £= Xps.
Величина (11.23) является непрерывной функцией ар гументов т] и Т. Из неравенства (11.24) следует, что для всякого вектора ц найдется такое значение Г, при котором d (ц, Т) 0. Из непрерывности функции d (ц, Т) по ар гументу г; и компактности множества единичных векторов ц 6Е Хрз вытекает существование такого значения Т, для
которого d (ц, Т) 0 при всех единичных векторах ц е €Е Хрв. При этом значении Т начало координат будет
внутренней в подпространстве Х Ра точкой множества (11.16) (несмотря на то, что точка ws = 0 не является внут ренней на отрезке (11.22)).
Длина вектора (11.17) стремится к нулю при Т — оо. Тогда из свойства 2° множества (11.16) вытекает, что при некотором значении Т начало координат принадлежит множеству векторов (11.14). При этом значении Т точка
(11.21) принадлежит области <2s (Т), что доказывает справедливость леммы.
При условии леммы 3 имеет место также включение
L с Q1.
Теперь возвратимся к общему случаю, когда не все собственные значения матрицы А имеют положительные действительные части. Все доказанные выше леммы яв ляются справедливыми для подсистемы (9.2). Поэтому Имеют место следующие теоремы.
3] СТРУКТУРА ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ 99
Теорема 11.1. Совокупность N внутренних точек мно жества L возможных состояний равновесия системы (1.1) принадлежит области управляемости Qx (N cz Q1).
Теорема 11.2. Если система (1.1) вполне управляема (р = п) и матрица А имеет хотя бы одно действитель ное положительное собственное значение, то множество L возможных состояний равновесия не принадлежит обла сти управляемости Q1 (L ф Q1).
Из теорем 11.1 и 11.2 вытекает, что если р = п и мат рица А имеет хотя бы одно действительное положительное собственное значение, то на границе множества L есть точ ки, которые лежат на границе области Q1. Заметим, что соотношения N а Q1 и L ф Q1могут иметь место одновре менно, поскольку L — замкнутое, а Q1 — открытое мно жество.
Если система (1.1) не является вполне управляемой, но выполняется второе условие теоремы 11.2, то могут быть случаи, когда L ф Q1, а также когда L а Q1. Например, в системе*
*2 = — а?2 + к (I и I < М)
множество L представляет собой отрезок
*і = О, I х2 I < М.
Область управляемости Q1совпадает со всей осью хг. Сле довательно, в настоящем примере L сz Q1.
Теорема 11.3. Если все собственные значения матрицы А, имеющие положительные действительные части, яв ляются комплексными, то множество L возможных со стояний равновесия системы (1.1) принадлежит области управляемости Q1 (L cz Q1).
В случае, когда р = п, из теорем 11.2, 11.3 вытекает следствие.
Следствие. Если система (1.1) вполне управляема (р = = п), то множество L возможных состояний равновесия принадлежит области управляемости Q1 (L cz (71) тогда и только тогда, когда матрица А не имеет действитель ных положительных собственных значений.
4*
100 |
ОБЛАСТИ УПРАВЛЯЕМОСТИ |
[ГЛ.І |
§ 12. Примеры
Рассмотрим в качестве примера систему дифференци альных уравнений второго порядка
ту = х2, хг = — хг + 2еж2 + и, |
(12.1) |
где 0 < е С 1. Индекс s здесь и всюду дальше опускаем, поскольку в системе (12.1) присутствует только один уп равляющий параметр.
Матрицы А is. В имеют вид
1
2е ’ |
( 12. 2) |
|
тогда
0 räng I В, AB I = rang 1
Система (12.1) является вполне управляемой. Собственные значения матрицы А
К1, = Е ;Hh І 1 — Б2
имеют положительные действительные части. Из теорем 7.1 и 8.1 следует, что область управляемости Qm при всех значениях т = 1, . . .,7 будет двумерным ограниченным на фазовой плоскости Х 2 множеством.
Фундаментальная матрица решений однородной си стемы имеет вид
оАх
|
— 83t — |
e |
Tr.— sin V 1 |
|
|
|
У 1 —s2 |
1^1 — s'- sin У 1 — 62T^ |
|
/ |
|
X__ L_ |
sin У 1 — s2t |
|
|
|
11cos У 1 — s2T -у |
||
V i - |
e2 |
|
|
|
|
+ |
у-1_ е*зш »л |
(12.3)