Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
9
Добавлен:
16.04.2015
Размер:
116.38 Кб
Скачать

Лекция 14. Алгоритмы решения задачи стабилизации в случаях полной и неполной управляемости линейной системы. Стабилизация нелинейных систем

по линейному приближению.

В первой части этой лекции будет рассмотрен алгоритм построения стабилизирующего управления для стационарной управляемой системы вида

x = Ax + Bu;

(1)

где матрица A имеет размерность (n £ n), матрица B размерности (n £ r), вектор x

имеет размерность n, вектор u размерности r. Допустимое управление вида линейной обратной связи имеет вид

u = Cx;

(2)

где матрица C размерности (r £ n). Следует так найти компоненты матрицы C, что при подстановке (2) в (1) "замкнутая" система

x = (A + BC)x:

(3)

имеет в своем спектре собственные числа только с отрицательными вещественными частями. Подробное, разработанное изложение этого алгоритма приведено в [6].

Следует рассматривать два случая, характеризующих управляемую систему, а именно - случаи полной и неполной управляемости. Алгоритм будем излагать поэтапно, присваивая каждому этапу номер.

1. Случай полной управляемости. Первый этап. Рассматривается замена переменных

x = T y;

где матрица T имеет вид

T = (b1; A1b1; : : : ; Ak11¡1b1; b2; A1b2; : : : ; Ak12¡1b2; : : : ; bl; A1bl; : : : ; Ak1l¡1bl);

ãäå (b1; b2; : : : ; bl) - вектора матрицы B, k1+k2+¢ ¢ ¢+kl = n (n = rang(B; AB; : : : ; A1B)).

При такой замене переменных управляемая система примет следующий вид (при

l = 2)

 

 

 

 

 

 

 

 

y = Ay + Bu = Ã

A011

 

A¤22

!y + Ã b01

 

b02

!u;

 

 

e e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где блоки A11 è A22 - матрицы Фробениуса и их вид представлен в доказательстве леммы 1 лекции 13, там же приведен вид столбцов матрицы e

B.

Случай неполной управляемости. Первый этап. Рассматривается замена переменных

x = T y;

66

где матрица T имеет вид

T = (b1; A1b1; : : : ; A1k1¡1b1; b2; A1b2; : : : ; A1k2¡1b2; : : : ; bl; A1bl; : : : ; A1kl¡1bl; sm+1; : : : ; sn);

 

 

 

(

1

2

 

 

l)

 

 

 

 

 

1

+

 

2+

 

 

+ l = m

 

m = rang(B;eAB; : : : ; e ¡

)

 

ãäå

b

; b

; : : : ; b

 

- вектора матрицы B, k

 

k

 

¢ ¢ ¢

 

k

 

 

(

 

 

 

 

An

1B

).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m (в качестве базисных век-

 

Вектора sm+1; : : : ; sn - дополнение базиса пространства R

 

 

 

 

 

 

 

 

ñòâà.

 

e

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

торов выступают первые m стоблцов матрицы T ) до базиса Rn-мерного простран-

 

 

 

Ïðè

такой замене переменных управляемая система примет следующий вид

 

(ïðè l = 2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

A11

 

¤

 

¤

 

1y +

0

b1

 

0

 

¤

1u;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y = Ay + Bu =

0

 

A22

A3

0

 

b2

 

0

 

 

 

 

 

 

 

 

 

e e

B 0

 

0

C B 0

0

 

C

 

 

 

 

 

 

 

 

 

B

 

 

 

 

 

¤

 

C

 

B

 

 

 

 

¤

C

 

 

 

 

 

 

 

 

 

 

@

 

 

 

 

 

 

 

 

A

 

@

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где блоки A11 è A22 - матрицы Фробениуса и их вид представлен в доказательстве леммы 1 лекции 13, там же приведен вид столбцов матрицы e

B. Неуправляемой под-

системе соответствует блок A3, размерности ((n ¡ m) £ (n ¡ m)). Соответственно,

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

2. Случай полной управляемости. Второй этап. Вторым этапом является вторая замена переменных, существенно использующая аппарат леммы 1 лекции 12. В случае, когда l = 2, эта замена имеет вид

y = Kz; K = Ã

K11

 

0

!;

 

0

 

K22

где блоки K11 è K22 имеют размерности (k1 £k1) è (k2 £k2) соответственно и построены также, как матрица K в лемме 1 лекции 12. Стабилизирующее управление для

системы в переменных z ищется в виде (при l = 2)

 

 

cò

0

 

 

 

C =

11

 

 

 

 

 

 

 

 

 

Ã

0

ò

!

 

c22

где строки cò

cò

 

 

cò

11 è

22 строятся также, как строка

0 в лемме 1 лекции 12.

Случай неполной управляемости. Второй этап. Вторая замена переменных имеет вид

y = Kz; K =

0

011

K022

0

1

;

 

B

 

K

 

0

 

C

 

 

B

 

 

 

C

 

 

@

 

 

 

A

 

00 E((n¡m)£(n¡m))

где блоки K11 è K22 имеют размерности (k1 £k1) è (k2 £k2) соответственно и построены также, как матрица K в лемме 1 лекции 12. Стабилизирующее управление для

системы в переменных z ищется в виде (при l = 2)

67

 

Ã

0

c22

0

!

 

 

cò

0

0

 

 

C =

11

 

 

 

 

 

 

ò

 

 

где строки cò

cò

 

 

cò

в лемме 1 лекции 12.

 

 

11 è

22 строятся также, как строка

0

В обоих случаях - полной и неполной управляемости, стабилизирующее управление имеет вид

u = Cz = CK¡1y = CK¡1T ¡1x:

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

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

Рассмотрим нелинейную систему в отклонениях [1]

x = F (x; u);

(4)

ãäå x - n-мерный вектор, u - r-мерный вектор управления, вектор-функция F (x; u) предполагается непрерывно дифференцируемой по компонентам векторов x è u. Ò.

к. система (4) является системой в отклонениях, то (x = 0; u = 0) является ее стаци-

онарным решением. Реализуем процедуру линеаризации системы (4) в окрестности точки (x = 0; u = 0). Выделим в разложении функции F (x; u) линейные члены и в

результате получаем систему вида

 

 

 

 

 

x = Ax + Bu + f(x; u);

(5)

где элементы квадратной матрицы A(n £ n) определяются как

 

 

 

@F

¯

 

 

 

 

 

 

i

¯

 

 

 

 

aij =

@xj

 

¯(x=0;u=0)

;

i = 1; : : : ; n;

j = 1; : : : ; n;

 

элементы матрицы B(n

£

r)

 

¯определяются как

 

 

 

 

¯

 

 

 

 

 

 

@F

 

 

 

 

 

 

 

¯

 

 

 

 

 

 

 

 

 

 

 

 

 

aij =

i

¯(x=0;u=0)

;

i = 1; : : : ; n;

j = 1; : : : ; r;

 

@uj

 

 

 

 

 

¯

 

 

 

 

f(x; u) - нелинейная часть в разложении (4) в окрестности (x = 0; u = 0). Будем предполагать, что f(x; u) отвечает оценке

jjf(x; u)jj · a(jjxjj + jjujj)1+b; a; b = const > 0:

(6)

Систему

68

x = Ax + Bu;

(7)

куда не входит f(x; u), будем называть системой линейного приближения (4). Сфор-

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

Теорема 1. О стабилизации по линейному приближению. Задача стабилизации для системы (4) имеет решение, если система линейного приближения (7) стабилизируема, а f(x; u) отвечает условию (6).

Доказательство. Система (7) является стабилизируемой и для него существует стабилизирующее управление вида линейной обратной связи

u = Cx:

В соответствии со вторым методом Ляпунова, это значит, что существует функция Ляпунова в виде положительно определенной квадратичной формы

v = v(x) = xòV x > 0;

такая, что ее полная производная по времени является отрицательно определенной квадратичной формой

dv

dt = xòV1x < 0:

Чтобы это было так, требуется, чтобы матрицы V è V1 отвечали условию

(A + BC)òV + V (A + BC) = ¡V1;

которое носит название "матричное уравнение Ляпунова". При определенной замене переменных можно получить, что

V1 = E;

и в этом случае матрица V должна удовлетворять уравнению

(A + BC)òV + V (A + BC) = ¡E:

Используя функцию Ляпунова для системы (7), покажем, что стабилизирующее управление для системы (7) будет также стабилизирующим управлением и для нелинейной системы (4) в некоторой окрестности точки (x = 0; u = 0). Также, построим

оценку для этой окрестности, или иными словами, построим область управляемости. Учитывая, что gradxv - вектор строка

gradxv = µ

@v

 

@v

ò

 

; ¢ ¢ ¢ ;

 

= 2xòV;

@x1

@xn

учитывая, что V1 = E, представим полную производную по времени функции v(x) â âèäå

69

dv

dt = (gradxv; x) = (gradxv; Ax + Bu + f(x; u)) =

¡jjxjj2 + (gradxv; f(x; u)) · ¡jjxjj2 + 2jjV jj jjxjja(jjxjj + jjcjj jjxjj)1+b =

= ¡jjxjj2(1 ¡ 2a jjV jj (1 + jjcjj)1+b) jjxjjb):

Таким образом, для того, чтобы выполнилось dxdv < 0 (и соответственно функция v являлась функцией Ляпунова для системы (4)), требуется, чтобы выполнялось

неравенство

1 ¡ 2a jjV jj (1 + jjcjj)1+b) jjxjjb > 0;

откуда можно построить область, в которой функция v будет функцией Ляпунова

jjxjj < µ

2a jjV jj (1 + jjcjj)1+b)

:

 

1

 

1

 

 

 

b

¥

 

 

 

70

Соседние файлы в папке Лекции по ТУ