книги из ГПНТБ / Ларин В.Б. Синтез оптимальных линейных систем с обратной связью
.pdfN = |
Ap (s)P |
VW, |
(1.69) |
Q = |
Ap (s) В + |
AN, |
(1.70) |
матрицы Fx и Fu, определяемые (1.65) и (1.66), можно запи сать в виде
FX= |
P - 1+ N Q -1( 0 - A P ~ 1), |
(1.71) |
Fll = |
Ap (s)Q -i ( 0 - A P - 1). |
(1.72) |
Так как матрицы Fx и Fu должны быть аналитическими в правой полуплоскости, то, подставив (1.71) и (1.72) в (1.59), получим
|
/ ° ° |
|
|
е = \ |
\ Sp[l[P7'(® *-P7% )Q 7'M :l]R [P -' + |
|
|
|
~ jco |
|
|
+ |
NQ~l (Ф - АР~)] + (Ф, - р 7'А*) х |
|
|
К Q7'A; (S) САР (s) Q -1(Ф - АР~1)} 5ф] ds = |
|
||
|
|
/со |
|
= - М |
S p ( [ 0 „ Q r 'G . G Q - ' O + O . Q r 1 X |
|
|
|
— / м |
|
|
X (Лу? - |
GJSQ-'A) Р ~ 1+ Р ~ 1(.RN - A,Q7'GtG) Q~' Ф + |
||
|
°7\Р - A.,Q7]^ R - RNQ-'A + |
|
|
|
+ |
/1,Q7,G ,G Q -^ )P -|] S ^ } ^ , |
(1.73) |
|
G,G = N JiN + &Us) CAP (s). |
(1.74) |
Выясним, при каких условиях сформулированная выше задача минимизации функционала (1.59) на классе устой чивых замкнутых систем эквивалентна задаче минимизации функционала (1.73) на классе физически реализуемых функ ций Ф 1.
Поскольку минимум функционала (1.59) разыскивается на классе физически реализуемых функций Fx и Ftl, а мини мум функционала (1.73) методом Винера — Хопфа нахо дится на классе физически реализуемых функций Ф, то при минимизации этих функционалов могут допускаться только аналитические в правой полуплоскости вариации 8FX, 8FUи
1 Еще раз отметим, что физически реализуемая передаточная функ ция — это функция, аналитическая в правой полуплоскости, т. е. соот ветствующая ей весовая функция равна нулю при t < 0.
30
6Ф. Принимая во внимание формулы (1.63) и (1.65), находим, что из требования аналитичности в правой полуплоскости вариаций 8FX, бF u и 6Ф вытекает требование аналитичности в правой полуплоскости матрицы Z вместе с обратной. К та кому же выводу можно прийти, исходя из требования устой чивости замкнутой системы.
Пусть в результате решения соответствующего уравне ния Винера— Хопфа найдена матрица Ф , обращающая в нуль первую вариацию функционала (1.73). Поскольку эта матрица является аналитической в правой полуплоскости, ее можно записать в виде
где ф0 (s) — общий знаменатель элементов матрицы Ф (гурвицев полином), Ф 0 — полиномиальная матрица.
Согласно (1.62) и (1.56),
W0 = Фо (s) В + ФоМ. W = Ф 0Р — Фо (s) А.
Дважды воспользовавшись формулой вычисления опре делителя блочной матрицы [5]
АВ
С D = \A \.\D -CA -'B\ ( И | ^ 0 ) , (1.75)
характеристический определитель системы уравнений (1.51), (1.52), описывающей движение замкнутой системы объект -f- 4- регулятор, можно записать так:
Р |
— М |
A(s) = |
Ар (s) det (W0 — WP-'М) = |
— W |
w 0 |
= Ар (s) det [фо (s) В + Ф0М — (Ф0Р — Фо (s) А) Р 1М] =
= |
Ар (s) ф'0" (s) det (В + |
|
АР~‘М) = |
|
= |
Р |
— М~\ |
= |
Фо! (s) det Z. |
Фот (5) det |
В |
|||
|
А |
|
|
Таким образом, замкнутая система будет устойчивой, если det Z — гурвицев полином. Но так как матрица Z — полиномиальная, то из этого следует аналитичность матри цы Z~l в правой полуплоскости.
31
Перейдем непосредственно к решению задачи. Запишем выражение для первой вариации функционала (1.73):
8е = А- |
6Ф. |
|
д |
6Ф |
ds, |
|
дФ |
||||
1 |
* 0 Ф„ |
|
* |
|
|
где |
|
|
|
|
|
{ } = |
1%Q7'G*GQ- ' Ф |
+ Ф Д -' (N,R - |
|
||
|
~G ^G Q -'A )P -]]S^, |
|
|
||
или |
/м |
|
|
|
|
|
|
|
|
|
|
& = |
- f J Sp{6®1|1[Q.-1G,GQ-,0 + |
|
|||
|
— /со |
|
|
|
|
+ 07' 0Ѵ*Я - |
G*G<T'Л) |
|
+ 5ф ^ Q r'G .G Q -* + |
||
+ Р~' (RN - A*Q7%G) Q -1] 6Ф} ds. |
(1.76) |
||||
Факторизуем матрицы 5ф и |
Q~'G^GQ-1 [35 J, |
T. e. пред |
|||
ставим их в виде |
|
|
|
|
|
|
5ф = |
ГГ*, |
|
(1.77) |
|
|
Q7lG*GQ~' = |
H Ji\ |
|
(1.78) |
где матрицы Г и Я вместе с обратными аналитические в правой полуплоскости и вещественны.
Если матрицу Н~х(Q7'N.^R — Н^НА) Р -1Г предста вить как сумму трех матриц:
Я Г 1(Q7'M*R - Я ,Я Л ) р - ‘г = к 0 + К + + К -, (1.79)
ще элементы матрицы /(0 — целые части (полиномы от s), Л+ — правильные дроби с полюсами только в левой полу плоскости, К - — правильные дроби с полюсами только в правой полуплоскости, то матрица Ф, обращающая в нуль 1 ервую вариацию функционала (1.76) и имеющая полюсы только в левой полуплоскости, определится соотношением
Ф = — Я -1 (К0 + /(+) Г-1 . |
(1.80) |
Чтобы получить окончательную формулу для искомой матрицы не, едаточных функций регулятора, проделаем не
1 Такая факторизация предполагает положительную определен ность матрицы GJJ , что накладывает определенные ограничения на матрицы R и С (см. (1.74)).
32
которые промежуточные выкладки. Используя (1.79), пре образуем (1.80) к виду
ф = |
А Р~1— Q (G^G)“ 1Л^РР“ 1+ Н -'К -Г-1 . |
(1.81) |
||
Тогда |
|
|
|
|
В + « М |
- В + ^ - |
АѴ + |
« (0 .0 )-'JV ,W |
+ |
|
+ |
H ~' К-Т~'м . |
|
(1.82) |
Из (1.70) имеем |
|
|
В + |
АЯ = |
< 2 |
|
Д p ( s ) |
Д р (S) |
исоотношение (1.82), учитывая (1.74), можно преобразовать
квиду
В+ ФМ = Q ( В Д - 1а; ( S ) С + Н - 1К-Т~'М ,
или, согласно (1.78):
в + Фм = я -1 (др (s) я е д е д + К-Т-'м). (і .83)
Аналогично, подставив в (ФР — А) значение Ф из (1.81), получим
ФР _ А = А — Q (G*G)-' Я»Р + Н ~1К -Г~'Р — А —
= Я -1 (К _Г“ 'Р — H~'Q~'NtR). |
(1.84) |
Таким образом, искомая матрица передаточных функций оптимального регулятора определится, согласно (1.62), (1.83) и (1.84), формулой
W = (В + ФМ)“ 1(ФР — А) =
= [д;(s) HZ'QT'C+ к-ѵ-'мг1[Я-г-'р- яедгХР].
(1.85)
Приведем еще один вариант формулы для W, получае мой непосредственной подстановкой (1.80) в (1.62), который понадобится в дальнейшем:
IT = |
[{К0+ |
К+) Т~'М - Н В Г' [(К0 + К+) Г - 'Р + НА]. |
|
|
|
(1.85 |
а) |
Для определения минимального значения функционала |
|||
(1.73) сначала преобразуем его так: |
|
||
е = |
/°° |
Sp{№* + Р~' (RNQ-'H -'H -' - Л,)] HJH [Ф + |
|
у - J |
|
3 3 - 5 8 2 |
33 |
|
+ (H~'H7'Q7'NtR ~ |
А) Д '1] 5ф - P ~ l (RNQ-'H-'HZ' - |
- A J H J i |
- А) p - % + |
+ P - l [(En - |
AtQZ'NJ R (En - NQ-'A) + |
+ A,QrlА; (S) CAP (S) Q-'A] p - % } ds.
Подставив значение Ф из (1.80) в эту формулу и исполь зуя (1.79) и (1.78), получим выражение для минимального значения функционала качества
/оо |
|
втіп = 4- { [Sp (K _ ,K _ ) + Tj (s)] ds, |
(1.86) |
— /оо
где
ч (s) = Sp (Р ~ % Р ^ [R - RN (G .ß r' В Д } .
Полученное решение задачи (формулы (1.85) и (1.86)) требует проведения дополнительных исследований, а имен но необходимо показать независимость решения от произво ла в выборе матриц А и В и указать алгоритм перехода от матрицы передаточных функций регулятора к его уравне нию, т. е. получить соотношение вида (1.52), что и сделано ниже. Кроме того, в конце параграфа указан класс внешних возмущений, относительно которых регулятор сохраняет свойство оптимальности.
Покажем независимость решения задачи {W и етіп) от произвола в выборе матриц А и В. Пусть варьируемая ма
трица Ф выбрана в виде
Ф= ÄFX+ BFU,
т.е. матрицы передаточных функций Fx и Fu связаны с варьируемой матрицей Ф уравнением
'Р |
— ЛГ |
~FX |
-Fx- |
' E ' |
А |
В |
= |
Z |
Ф |
Fu. |
Л . |
|||
Здесь ~А и В не совпадают с А и В, но удовлетворяют тре |
||||
бованию аналитичности в правой полуплоскости матрицы Z |
||||
вместе с обратной. |
|
|
W и етіп от матриц |
|
Для доказательства независимости |
А и В достаточно показать, что при замене А и J3 на А и В значения W и ешіп не изменятся.
34
Как видно из формул (1.85) и (1.86),'для этого достаточ но показать, что
H7'Q7l = H7'Q7l> |
(1.87) |
||
К - = К - |
|
(1 .8 8 ) |
|
Пусть П — матрица, определяемая |
уравнением |
||
z |
= u z ; |
|
(1.89) |
т. е. |
— М' 'Р |
~ М ■ |
|
'Р |
|||
П = ZZ-1 |
В |
|
(1.90) |
А |
А |
В |
Воспользовавшись формулой Фробениуса обращения блочных матриц и учитывая аналитичность в правой полу
плоскости матриц Z и Z вместе с обратными, убеждаемся, что матрица П имеет структуру
'Еп
П =
Дх
где Пх — матрица т X п, аналитическая в правой полу плоскости, П2 — матрица т X т, аналитическая вместе с обратной в правой полуплоскости.
Согласно (1.89), (1.70), (1.69) и (1.78):
|
А = |
ILP + П,А, |
1 |
|
|
В = — n xM + |
П2В, |
(1-91) |
|
|
J |
|||
Q = |
Ар (s) ( - и гМ + |
П2В) + |
(П,Р + |
ПИ) N = n 2Q, |
|
Ü ß = Q:'G*GQ-' = |
itfH 'H U T'. |
||
Так как матрица П2 аналитическая вместе с обратной в |
||||
правой |
полуплоскости, |
то |
|
|
и |
|
Я = ЯЩ -‘ |
(1.92) |
|
|
|
|
|
& 7107' = H7% *n-7.lQ7l = H T 'Q: 1,
т. е. равенство (1.87) доказано.
Для доказательства (1.88), как видно из (1.79) и (1.87),
достаточно доказать равенство |
|
[ЯЛЯ- 'Г]_ = [НАР-1Г]_, |
(1.93) |
3* |
35 |
где [ ]_ — матрица, элементы которой — суммы правиль ных дробей с полюсами в правой полуплоскости, получаю щиеся в результате разложения элементов матрицы, стоя щей в квадратных скобках, на сумму целой части (полино мов от s) и правильных дробей.
Подставим (1.91) и (1.97) в (1.93):
[Н АР-1Г]_ = [ЯПГ1(ІУ |
3 + ГМ ) Р~'Г]_ = |
= [НАР-'Г]-, так как |
[ЯПГ‘ПХГ]_ = О, |
т. е. равенство (1.88) также доказано.
Теперь осталось указать алгоритм перехода от матрицы W, определяемой формулой (1.85), к уравнению регулятора вида (1.52). Для этого исследуем структуру матрицы W, определяемой формулой (1.85).
Покажем сначала, что элементы матриц, стоящих в квад ратных скобках формулы (1.85), не содержат полюсов в пра
вой полуплоскости, т. е. |
|
|
|
|
|
[А; (s) H:'QT 'C + /< _ Г -‘М]_ = |
0, |
(1.94) |
|||
[ Я - Г - ’Р _ |
Я 7 ,(37ІЯ ,/?]_ = 0. |
|
(1.95) |
||
Согласно (1.79), |
|
|
|
|
|
К - = [(ЯГ'ЗГ'Л^Я - |
НА) Р ~ 1Т]-. |
(1.96) |
|||
Учитывая (1.74), (1.78) и (1.70), левую часть (1.94) мож |
|||||
но преобразовать следующим образом: |
|
|
|||
[А* (s) H ~lQ~'C - f Я - Г ~ ’М]_ = |
|
|
|||
= [А; (s) H~'Q~]C + |
(H-'Q-'N^RN - |
HAN)]- = |
|||
|
(HZ'Q7'G#G — HAN)]_ = |
|
|||
|
Д р (s) |
|
|
|
|
Подставив значение К - из (1.96) в левую часть (1.95), |
|||||
получим |
|
|
|
|
|
[Я _ г -У - |
Я 7!(2 7 'а д _ = |
[HTQ7'N, R - |
н а - |
||
- |
Я 71(271я*і?]_ = - |
[НА]- а |
о. |
|
Таким образом, равенства (1.94) и (1.95) доказаны.
36
Покажем теперь, что элементы исследуемых матриц не содержат полюсов и в левой полуплоскости, за исключением, быть может, полюсов матрицы Г -1 .
Как видно из формулы (1.85), полюсы в левой полупло скости, отличные от полюсов Г-1 , могут появиться у матриц [Д* (s) Я Г 1 Q7lC + К -Г ~ ]М ] и [7<_Г_1Р — Я Г 1QT'N^R } только за счет полюсов матрицы Q71. Однако удается пока зать, что эти матрицы не содержат полюсов матрицы Q71, если учесть сомножители Я* и Ар (s).
Действительно, согласно (1.70) и (1.69),
А; (s) Q71= [Ар (s) Q“ 1}, = |
'АР (s) [А, (s) В + Л Я Г 1}., = |
|
= |
{(5 + |
ЛР-іуИ Г1},. |
Но матрица (В + |
А Р~ХМ )~Х аналитическая в правой |
полуплоскости (см. элемент Ѳ22 матрицы Z~x, аналитиче ской в правой полуплоскости (1.67)), следовательно, матри
ца {(Я + А Р~1М)~1)х не имеет полюсов |
в левой полупло |
||
скости. |
|
|
|
Аналогично |
|
|
|
0 7 % |
= (М2-1)* = (N [Ар (S) В + |
Л Я ]-1}, = |
|
|
= [Р-'М (В + |
А Р -'М Г1}#. |
|
Согласно |
(1.67), матрица |
Р~ХМ (В + |
А Р~ХМ)~Х= Ѳ12 |
и, следовательно, не имеет полюсов в правой полуплоскости,
т. е. матрица {Р~ХМ (В + |
АР~ХМ )~х)^ не имеет полюсов в |
левой полуплоскости. |
1 Q7^C - f К -Т ~ХМ ] и [К -Т ~ХР — |
Если матрицы [Ар (s) Я 7 |
— H ~xQTxN.tR ] умножить на полином у (s), равный обще
му знаменателю элементов матрицы Г -1 , то в результате получим полиномиальные матрицы и, согласно (1.56) и (1.52), уравнение оптимального регулятора запишется в виде
(у (s) д ; (s) H~xq rxC + к -у (S) Г-'М ] и = |
|
= [^-Ѵ (S) Г ~'р - у (.S) Я Г 'С Г 'а д *■ |
(1.97) |
Таким образом, движение замкнутой системы объект + + регулятор будет описываться системой уравнений (1.51), (1.97) и характеристический определитель Д (s) этой системы
запишется так: |
|
Р |
— A4 |
А (s) = y {s )H ^ Q -xN , R - |
V(s) Др (s)H ~lQ -'C + - |
~ K - y ( s ) T - ' P |
+ K - y (s )r ~ lM |
|
(1.98) |
Используя формулы вычисления определителя блочной матрицы (1.75), (1.69) и (1.78), получаем явную формулу для A (s) и убеждаемся еще раз, что A (s) — гурвицев поли ном:
А (s) = |
Ар (s) del [у (5) A; (S ) H~'Q~'C + |
К -у (s) r~ 'M |
• |
|||||||
- |
К -у (s) Г-'М + |
у (s) H -'Q -% R P ~ l] = |
|
|||||||
|
= |
Ap (s) del t “p&P(s) |
* |
* |
|
|
||||
Ap (s) det |
Y(s) |
HQ |
|
ym(s) |
det H det Q. |
(1.99) |
||||
Д Р (s) |
|
, Ш— 1 |
||||||||
|
|
|
|
|
|
(s) |
|
|
|
|
По определению матрицы |
Q (1.70) |
|
|
|
||||||
det <2 = det [Ap (s) В + |
AN] = |
A"1(s) det (В + Л Р-'М ). |
||||||||
С другой стороны, учитывая (1.75), |
|
|
|
|||||||
det Z = det |
ГР — |
M l |
Ap (s) det (B + |
AP-'A4), |
||||||
В |
= |
|||||||||
T . e. |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
det Q — A"!-1 (s) det Z. |
|
|
(1.100) |
||||
Согласно |
(1.78), |
|
|
|
|
|
|
|
|
|
|
det |
|
= |
т ш і7 |
« |
< а д |
т Ф |
г |
<U 0 1 > |
|
Вычислим |
определитель |
некоторой |
вспомогательной |
блочной матрицы1, дважды пользуясь формулой (1.75):
■Р |
0 |
- м |
~ |
р * |
0' |
|
|
0 |
' |
||
det R |
Р * |
= Ар (s)det 1 |
— A4 |
С |
|
0 |
- М * |
с |
Vі |
|
WJ |
_ |
|
|
1 Эта матрица эквивалентна матрице уравнений Эйлера — Лагран жа задачи аналитического конструирования регуляторов (частный B H J
этой матрицы для т = 1 см., например, в [18]).
38
Р |
P* |
RP-'M |
[0 ; - A f ] = Äp(s)det - Л Г , |
С |
=Ар (s) Ар (s) det (С +
=Ap (s) Ap (s) det J—-sr
A p ( s ) A p ( s )
i-ln n -I;
M.,P~lR P -lM)
[Ap(s)CAp(s) + A gW ]} =
|
|
|
1 |
|
^ d e t (G,G). |
|
|
||
|
|
|
|
|
|
|
|||
|
|
[Ap(s) A p |
(s)]' |
|
|
|
|
||
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-Р |
0 |
— мг |
|
|
|
|
|
|
det |
R |
я* |
0 |
|
|
|
|
|
|
|
0 |
— Л1 . |
с |
|
Обозначив |
|
|
|
|
|
g* (s) g (s), |
|
|
|
|
"Я |
0 |
|
— М' |
|
|
|||
det |
R |
Р* |
|
|
= |
|
(1 .1 0 2 ) |
||
|
0 |
- м ., |
С |
|
|
||||
|
|
|
|
0 |
|
|
|
|
|
где g (s) — полином ОТ S, имеющий нули только |
в левой |
||||||||
полуплоскости, |
получим |
|
|
|
|
|
|
||
det (G*G) = [А; (S) Ap (s )f |
£ * (s) £ (s). |
(1.103) |
|||||||
Подставим (1.103) и (1.100) в (1.101): |
|
|
|
||||||
det (Я*Я) = |
|
g* (s) [А ; (s) Ap (s )]" -1^ ) |
|
* |
|||||
[ A p |
(s)]m |
1 det Z , |
|
Ш—1 |
|||||
|
|
det Z [ Ä p ( s ) ] |
|
|
|||||
откуда |
|
|
|
|
|
|
|
|
|
|
|
d8 |
t H |
“ |
i i T |
. |
|
|
O -'04) |
так как матрица И вместе с обратной аналитическая в пра вой полуплоскости.
Таким образом, согласно (1.99), (1.100) |
и (1.104), харак |
|
теристический определитель |
системы объект + регулятор |
|
А (s) = |
ут (s) g (s) |
(1.105) |
имеет нули только в левой полуплоскости. |
|
|
Приведенное в настоящем параграфе |
решение зада |
чи позволяет указать класс внешних возмущений, относи тельно которых регулятор, определяемый формулой (1.85),
39