Санкт-Петербургский государственный университет
Кафедра теории управления
Кугушева Анастасия Петровна
Выпускная квалификационная работа бакалавра
Анализ робастности предикторной схемы
Направление 010400
Прикладная математика, фундаментальная информатика
и основы программирования
Научный руководитель,
доктор физ.-мат. наук,
профессор
Харитонов В.Л.
Санкт-Петербург
2016
Содержание
Введение . . . . . . . . . . . . . . . . . . . . . . . .
Постановка задачи . . . . . . . . . . . . . . . . . . .
Обзор литературы . . . . . . . . . . . . . . . . . . .
Глава 1. Постановка задачи стабилизации . . . . . .
Глава 2. Построение стабилизирующего управления
Глава 3. Робастный анализ . . . . . . . . . . . . . .
3.1 Оценка отклонений матрицы A . . . . . . .
3.2 Оценка отклонений матрицы B . . . . . . .
Пример . . . . . . . . . . . . . . . . . . . . . . . . .
Выводы . . . . . . . . . . . . . . . . . . . . . . . . .
Список литературы . . . . . . . . . . . . . . . . . .
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
4
5
6
8
10
10
12
15
18
19
Введение
Задача робастной устойчивости замкнутой системы возникает в случае, когда её параметры известны приближенно. Данная задача является
актуальной, поскольку позволяет описывать системы в условиях дефицита
априорной информации. Современные требования к техническим системам
определяют необходимость исследования систем с запаздыванием в управлении и состоянии. В связи со сложностью анализа таких систем, по сравнению с системами без запаздывания, многие задачи остаются нерешенными. Целью выпускной квалификационной работы является построение
стабилизирующего управления и оценка отклонений матриц коэффициентов от их расчетных значений, обеспечивающая сохранение устойчивости
замкнутой системы.
3
Постановка задачи
В работе рассматривается полностью управляемая система дифференциальных уравнений с запаздыванием в управлении и состоянии. Целью
исследования является построение стабилизирующего управления и оценка отклонений матриц коэффициентов от их расчетных значений, обеспечивающая сохранение устойчивости исходной замкнутой системы. Оценка
данных отклонений будет производиться на основе исследования характеристической матрицы замкнутой системы с возмущением. На основе полученных оценок будет сформулирована теорема о допустимых отклонениях.
4
Обзор литературы
Задача стабилизации систем с запаздыванием в управлении и в состоянии впервые была рассмотрена в 1979 году в работе [3], где у системы
предполагалось отсутствие запаздывания в состоянии, и были получены
уравнения для вычисления стабилизирующего управления. При практической реализации было выяснено, что такие управления, связанные с заменой интегралов конечными суммами, могут приводить к потере устойчивости, поэтому в работе [4] было предложено использовать дополнительный
фильтр. В статье [2] впервые был рассмотрен случай, где у системы есть
запаздывание и в управлении и в состоянии.
5
Глава 1. Постановка задачи стабилизации
Рассмотрим систему с запаздыванием
ẋ(t) = Ax(t − h) + Bu(t − τ ),
(1)
Здесь x- n-мерный вектор фазовых координат, u- m-мерный вектор
управления, запаздывание h > 0, для определенности будем считать, что
запаздывание τ ∈ [h, 2h], матрицы A ∈ Rn×n , B ∈ Rn×m , пара A Bполностью управляема.
В работе [1] было показано, что решение системы (1) по формуле Коши
может быть представлено в виде
x(t + τ − h) = K(τ − h)x(t) +
R0
K(τ − 2h − θ)Ax(t + θ)dθ +
−h
+
t+τ
R −h
K(t + τ − h − ξ)Bu(ξ − τ )dξ.
t
Здесь θ ∈ [−h, 0], ξ ∈ [t, t+τ −h], K(t)- фундаментальная матрица системы.
По определению она удовлетворяет уравнению [2]
K̇(t) = AK(t − h),
t ≥ 0,
и начальным условиям
(
0n×n , t < 0,
K(t) =
En×n , t = 0.
Обратимся к построению матрицы K на промежутке [0, h], рассмотрим t ∈ [0, h], в этом случае (t − h)– величина отрицательная, тогда согласно начальным условиям K(t − h) = 0n×n . Следовательно уравнение на
этом промежутке имеет вид K̇(t) = 0n×n , также по начальным условиям
K(0) = En×n , тогда K(t) сохраняет постоянное значение равное единичной
матрице на всем участке от [0, h].
Рассмотрим первое слагаемое
K(τ − h).
Поскольку по договоренности запаздывание τ ∈ [h, 2h], то τ − h ∈ [0, h],
тогда фундаментальная матрица
K(τ − h) = En×n .
6
Рассмотрим отдельно второе слагаемое
Z0
K(τ − 2h − θ)Ax(t + θ)dθ.
−h
Здесь θ ∈ [−h, 0], тогда величина (τ − 2h − θ) меняется на промежутке
[τ − 2h, τ − h], разобьем этот участок на [τ − 2h, 0] ∪ [0, τ − h], на первом
промежутке значение аргумента отрицательное, тогда K(τ −2h−θ) = 0n×n ,
следовательно интеграл на участке от [τ −2h] будет иметь нулевое значение,
поэтому интеграл от [−h, 0] сведется к интегралу от [−h, τ − 2h]. Когда
θ ∈ [−h, τ − 2h], тогда (τ − 2h − θ) ∈ [0, h], а на промежутке [0, h] матрица
K(τ − 2h − θ) = En×n . В итоге интеграл сведется к
τZ−2h
Ax(t + θ)dθ.
−h
Рассмотрим третье слагаемое
t+τ
Z −h
K(t + τ − h − ξ)Bu(ξ − τ )dξ,
t
когда ξ принимает значение равное t, аргумент превращается в (τ − h) ∈
[0, h], а когда ξ = t + τ − h, аргумент равен нулю. Получается, что K(t +
τ − h − ξ) = En×n . Заменим (ξ − τ ) на (t + s), в итоге получим
Z−h
Bu(t + s)ds.
−τ
Таким образом решение может быть записано в виде
x(t + τ − h) = x(t) +
+
τ −2h
R
−h
−h
R
Ax(t + θ)dθ +
Bu(t + ξ)dξ.
−τ
7
(2)
Глава 2. Построение стабилизирующего управления
Выберем управление для системы (1) следующим образом
u(t) = F x(t + τ − h),
где F – постоянная матрица размерности m × n. Подставляя x(t + τ − h),
получим
u(t) = F x(t) + F
τ −2h
R
Ax(t + θ)dθ +
−h
+F
−h
R
Bu(t + ξ)dξ.
−τ
Замкнутая система будет иметь вид
ẋ(t) = Ax(t − h) + Bu(t − τ ),
τZ−2h
Z−h
u(t) = F x(t) + F
Ax(t + θ)dθ + F Bu(t + ξ)dξ.
(3)
−τ
−h
Замечание 1 В работе [2] был получен следующий вид характеристической функции замкнутой системы (3)
f0 (s) = det[sEn×n − e−sh (A + BF )].
Для устойчивости замкнутой системы (3) необходимо и достаточно,
чтобы корни f0 (s) лежали в левой полуплоскости комплексной плоскости.
Лемма 1 Корни функции f0 (s) имеют отрицательную вещественную
часть тогда и только тогда, когда собственные числа матрицы (A+BF )
лежат в области
n
π π o
,
Γ = s = α + iβ | α = −ω sin ωh, |β| < |ω cos ωh|, ω ∈ − ,
2h 2h
комплексной плоскости [1].
Для определенности выберем матрицу F так, чтобы все корни f0 (s)
имели отрицательную вещественную часть.
Замена интегралов в выражении (3) конечными суммами может приводить к неустойчивости замкнутой системы [2]. Для решения этой проблемы воспользуемся методом, предложенным в работе [4]: использование
дополнительного фильтра, а именно выберем матрицу G ∈ Rm×m , и ис-
8
пользуя идею фильтрации получим
du(t)
− Gu(t) = F ẋ(t + τ − h) − GF x(t + τ − h) =
dt
= F Ax(t + τ − 2h) + Bu(t − h) − GF x(t)−
− GF
τZ−2h
K(τ − θ − 2h)Ax(t + θ)dθ−
−h
Z−h
− GF K(−h − ξ)Bu(t + ξ)dξ.
−τ
В итоге приходим к замкнутой системе вида
ẋ(t) = Ax(t − h) + Bu(t − τ ),
τZ−2h
du(t)
= Gu(t) + F Bu(t − h) − GF x(t) + A
x(t + θ)dθ+
dt
−h
Z−h
+ B u(t + ξ)dξ + F Ax(t + τ − 2h).
−τ
В работе [2] был получен следующий вид характеристической функции
замкнутой системы
q(s) = det[sEn×n − e−sh (A + BF )] × det[sEm×m − G].
Для устойчивости замкнутой системы необходимо, чтобы корни первого и
второго множителей имели отрицательную вещественную часть. Для второго множителя это достигается путем выбора матрицы G– матрицей Гурвица, а для того, чтобы первый множитель имел такие корни используем
условия леммы.
9
Глава 3. Робастный анализ
3.1 Оценка отклонений матрицы A
Рассмотрим возмущенную систему
dx(t)
= (A + ∆1 )x(t − h) + Bu(t − τ ),
dt
τZ−2h
du(t)
= Gu(t) + F Bu(t − h) − GF x(t) + A
x(t + θ)dθ
dt
−h
−h
Z
+B u(t + ξ)dξ + F Ax(t + τ − 2h),
(4)
−τ
где ∆1 ∈ Rn×n – матрица возмущений.
Воспользовавшись подстановками Эйлера вида x(t) = µest и u(t) = γest ,
где µ и γ - n-мерные вектора, получим
µsest = (A + ∆1 )µe(t−h)s + Bγe(t−τ )s ,
τZ−2h
st
st
s(t−h)
µe(t+θ)s dθ+
− GF µest + A
γse = Gγe + F Bγe
−h
Z−h
+B
γe
(t+ξ)s
dξ + µF Ae(t+τ −2h)s .
−τ
Далее, перенесем все слагаемые в одну часть и сгруппируем по множителям
µ и γ, тогда для данной замкнутой системы характеристическая матрица
будет иметь вид
GF +
sE − (A + ∆1 )e−sh
GF A(es(τ −2h) −e−sh )
s
где Ω(s) = −F Be−sh +
двух матриц
−Be−sτ
− F Aes(τ −2h)
GF B(e−sh −e−sτ )
.
s
,
sE − G + Ω(s)
Представим эту матрицу как сумму
10
GF +
sE − Ae−sh
GF A(es(τ −2h) −e−sh )
s
−Be−sτ
− F Aes(τ −2h)
+
sE − G + Ω(s)
−sh
0
−∆1 e
= R1 (s) + ∆1 (s) = R(s).
+
0
0
Собственными числами системы (4) будем называть корни ее характеристической функции. По выбору матрицы F , для системы без возмущения
собственные числа функции f0 (s) находятся в левой полуплоскости. По
непрерывности, при достаточно малых ∆1 собственные числа возмущенной
системы изменятся незначительно и свойство устойчивости не нарушается.
Исследуем значения, которые может принимать матрица возмущений, при
сохранении устойчивости системы. Известно, что система теряет устойчивость, когда одно из ее собственных чисел попадает на мнимую ось. Найдем
такие значения ∆1 (iω), при которых у матрицы R(iω) появляется хотя бы
одно нулевое собственное число. Это означает, что матрица
R(iω) = R1 (iω) + ∆1 (iω),
имеет нулевое собственное число. Вынесем за скобки множитель R1 (iω),
получим
R1 (iω)(E(m+n)×(m+n) + R1−1 (iω)∆1 (iω)).
Поскольку матрица R1 (iω) не имеет нулевых собственных чисел, то она
будет невырожденной для всех ω ∈ R. Это означает, что матрица
E(m+n)×(m+n) + R1−1 (iω)∆1 (iω),
должна иметь нулевое собственное число. Пусть γ – собственный вектор,
соответствующий нулевому собственному числу. В таком случае будут справедливы равенства
[E(m+n)×(m+n) + R1−1 (iω)∆1 (iω)]γ = 0,
γ = −R1−1 (iω)∆1 (iω)γ,
||γ|| = ||R1−1 (iω)∆1 (iω)γ||.
Из субмультипликативности нормы матрицы следует, что
||γ|| 6 ||R1−1 (iω)|| ||∆1 (iω)|| ||γ|| 6 max||R1−1 (iω)|| ||∆1 (iω)|| ||γ||.
ω∈R
11
Так как ||γ|| > 0, поделим данное выражение на нее. Введем обозначение
max||R1−1 (iω)|| = m, получим
ω∈R
||∆1 (iω)|| > 1/m.
Возьмем сопряжение для ∆1 (iω),
T
iωh
−iωh
−∆T
e
0
−∆
e
0
∆
∆
0
n×m
1
n×m
n×m
1
1 1
=
,
0m×n
0m×m
0m×n
0m×m
0m×n 0m×m
в итоге
||∆1 (iω)|| = ||∆||.
Получаем
||∆|| > 1/m.
Это означает, что для всех ||∆|| < 1/m ни одно из собственных чисел
возмущенной системы не попадает на мнимую ось.
Подводя итог, можно сформулировать теорему
Теорема 1 Если для системы (4) справедливо
||∆1 || < 1/m,
то возмущенная система экспоненциально устойчива.
3.2 Оценка отклонений матрицы B
Рассмотрим возмущенную систему
dx(t)
= Ax(t − h) + (B + ∆2 )u(t − τ ),
dt
τZ−2h
du(t)
= Gu(t) + F Bu(t − h) − GF x(t) + A
x(t + θ)dθ
dt
−h
Z−h
+B u(t + ξ)dξ + F Ax(t + τ − 2h),
(5)
−τ
где ∆2 ∈ Rn×m – матрица возмущений.
Аналогично случаю с матрицей A, получим характеристическую матрицу
GF +
sE − Ae−sh
GF A(es(τ −2h) −e−sh )
s
−Be−sτ
− F Aes(τ −2h)
12
+
sE − G + Ω(s)
−sh
0 −∆2 e
= R2 (s) + ∆2 (s) = R(s).
+
0
0
Действуем также, как и в предыдущем случае, исследуем значения, которые может принимать матрица возмущений, при сохранении устойчивости
системы. Матрица
R(iω) = R2 (iω) + ∆2 (iω),
имеет нулевое собственное число. Выносим за скобки R2 (iω), получим
R2 (iω)(E(m+n)×(m+n) + R2−1 (iω)∆2 (iω)).
Поскольку матрица R2 (iω) не имеет нулевых собственных чисел, то R2 (iω)
будет невырожденной для всех ω ∈ R. Это означает, что матрица
E(m+n)×(m+n) + R2−1 (iω)∆2 (iω),
должна иметь нулевое собственное число. Пусть µ – собственный вектор,
соответствующий нулевому собственному числу. В таком случае будут справедливы равенства
[E(m+n)×(m+n) + R2−1 (iω)∆2 (iω)]µ = 0,
µ = −R2−1 (iω)∆2 (iω)µ,
||µ|| = ||R2−1 (iω)∆2 (iω)µ||.
Получаем
||µ|| 6 ||R2−1 (iω)|| ||∆2 (iω)|| ||µ|| 6 max||R2−1 (iω)|| ||∆2 (iω)|| ||µ||.
ω∈R
Так как ||µ|| > 0, поделим выражение на нее. Введем обозначение
max||R2−1 (iω)|| = m, получим
ω∈R
||∆2 (iω)|| > 1/m.
Возьмем сопряжение для ∆2 (iω),
0n×n −∆2 e−iωh
0n×n 0n×m
0n×n
0n×m
=
,
iωh
−∆T
0m×m
0m×n
0m×m
0m×n ∆T
2e
2 ∆2
в итоге
||∆2 (iω)|| = ||∆||,
получаем
||∆|| > 1/m.
13
Это означает, что для всех ||∆|| < 1/m ни одно из собственных чисел
возмущенной системы не попадает на мнимую ось.
Подводя итог, можно сформулировать теорему
Теорема 2 Если для системы (5) справедливо
||∆2 || < 1/m,
то возмущенная система экспоненциально устойчива.
14
Пример
Проведем оценку отклонений матриц коэффициентов на конкретных
значениях, для простоты возьмем матрицы A ∈ R2×2 , B ∈ R2×1 . Пара AB–
полностью управляема
4 −5
,
A=
−3 2
2
.
B=
1
τ = 1.5, h = 1, G = −1.
Проверим полную управляемость, воспользовавшись критерием Калмана [7]. Действительно,
2 3
rang(B, AB) = rang
= 2,
1 −4
значит пара A B– полностью управляема. Матрицу (B, AB) обозначим S.
Приступим к поиску матрицы F ∈ R1×2 . По теореме ГамильтонаКэли [8] всякая квадратная матрица является корнем своего характеристического полинома, т.е. если характеристический полином
s−4
5
A=
= s2 − 6s − 7,
3
s−2
то A2 − 6A − 7E = 0.
Преобразуем матрицу A, пусть
A1 = S −1 AS ⇒ SA1 = AS ⇒ (B, AB)A1 = (AB, A2 B) ⇒
⇒ (B, AB)A1 = (AB, 6AB + 7B).
Получаем
0 7
A1 =
.
1 6
Преобразуем матрицу B, пусть
B1 = S −1 B ⇒ SB1 = B ⇒ (B, AB)B1 = B.
Получаем
1
B1 =
.
0
15
Рассмотрим
q1 7 + q2
1
0 7
(q1 q2 ) =
.
+
A1 + B1 Q =
0
1
6
1 6
Найдем характеристический полином этой матрицы
s − q1 −7 − q2
= s2 − (q1 + 6)s + 6q1 − 7 − q2 ,
−1
s−6
q1 и q2 такие, что у этого характеристического полинома выбраны корни
λ1 и λ2 . Получаем
(s − λ1 )(s − λ2 ) = s2 − (λ1 + λ2 )s + λ1 λ2 ,
выбираем q1 = λ1 + λ2 − 6, q2 = −λ1 λ2 + 6q1 − 7. У матрицы (A1 + B1 Q) за
счет выбора коэффициентов q1 и q2 можно сделать собственными числами
любые наперед заданные числа. Рассмотрим
A1 + B1 Q = S −1 AS + S −1 BF S = S −1 (A + BF )S,
так как (q1 q2 ) = (f1 f2 )S, следовательно (f1 f2 ) = (q1 q2 )S −1 . При таком
выборе матрицы F , видим, что матрица (A1 + B1 Q) имеет те же собственные числа, что и матрица (A + BF ), потому что они подобны, т.к. связаны
преобразованием подобия.
Пусть λ1 = −0.5; λ2 = −1. Вычислив S
4
(f1 f2 ) = (−7.5 − 52.5)
11
1
11
3
11
2
− 11
−1
=
4
11
1
11
3
11
2
− 11
, получим
= (−7.5 7.5).
Замкнутая система будет иметь вид
4 −5
2
ẋ(t)
=
x(t
−
1)
+
u(t − 1.5),
−3 2
1
−0.5
Z
u̇(t) = u(t) − 7.5u(t − 1) − (−7.5 7.5)x(t) − (−52.5 52.5)
x(t + θ)dθ+
−1
−1
Z
+ 7.5
u(t + ξ)dξ + (−52.5 52.5)x(t − 0.5).
−1.5
Поскольку аналитическое выражение для ||R1−1 (iω)|| невозможно найти,
построим численное, для этого воспользуемся пакетом MATLAB. Возьмем
ω от [-5,5] с шагом (0,1), построим график нормы R1−1 (iω) и визуально
16
найдем максимум (Рис.1).
Рис. 1: График ||R1−1 (iω)||
Получим, что m = 512.6673 и для системы (4) с такими выбранными
коэффициентами, при
||∆|| < 0.0019505,
возмущенная система будет экспоненциально устойчива.
17
Выводы
В работе была произведена оценка отклонений матриц коэффициентов от их расчетных значений, при сохранении устойчивости замкнутой
системы. Показано, что предложенная оценка зависит от нормы характеристической матрицы на мнимой оси. Для наглядности был рассмотрен
пример с подробным описанием вычисления коэффициентов и построением графика нормы, данные результаты были получены с использованием
пакета MATLAB.
18
Список литературы
[1] Bellman R., Cooke K. L. Differential Difference Equations. New York:
Academic Press, 1963. 462 p.
[2] Kharitonov V. L., 2015. Prediction Based Control: Implementation Issue.
Differential Equations and Control Processes, No 4. P. 52–65.
[3] Manitius A. Z., Olbrot, A. W., 1979. Finite spectrum assignment for systems
with delay. IEEE Trans. on Automatic Control, No 24. P. 541–553.
[4] Mondie S., Michiels W.,2003. Finite spectrum assignment of unstable timedelay sytems with a safe implementation, IEEE Trans. on Automatic
Control, No 12. P. 2207-2212.
[5] Гантмахер Ф. Р. Теория матриц. Изд. 2-е изд. М.: Наука, 1966. 576 с.
[6] Емельянов С. В., Коровин С. К., Ильин А. В., Фомичев В. В., Фурсов
А. С. Математические методы теории управления. Проблемы устойчивости, управляемости и наблюдаемости. М.: ФИЗМАТЛИТ, 2013. 200 с.
[7] Карелин В. В., Харитонов В. Л., Чижова О. Н. Лекции по теории стабилизации программных движений. СПб, ЦОП типографии изд-ва СПбГУ, 2003. 80 с.
[8] Фаддеев Д. К. Лекции по алгебре: Учебное пособие для вузов.— M.: Наука. Главная редакция физико-математической литературы, 1984. 416 с.
19
Отзывы:
Авторизуйтесь, чтобы оставить отзыв