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

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

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

3] СТРУКТУРА ОБЛАСТЕЙ УПРАВЛЯЕМОСТИ 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).

Следовательно, х' 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 на ось описывается неравенством

 

ы <

m s.

(11.19)

Хі

 

(11.20)

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)

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