3832
.pdfпри этом невозмущенным движением будет xi = 0, а решение (2.250) называ-
ют тривиальным. Переменные xi, (i= 1, 2, ..., n) являются координатами со-
стояния системы.
Попутно можно отметить, что формально уравнение (2.250) совпадает с линеаризованными уравнениями нелинейной системы (см. 2.2.7), т.е. резуль-
тат линеаризации можно рассматривать возмущенным движением относи-
тельно некоторой опорной траектории. Конкретный вид уравнений (2.250)
зависит от вида установившегося процесса y*i (t ), поэтому, исследуя эти уравнения необходимо оговаривать, об устойчивости какого установившего-
ся режима или невозмущенного движения y*i (t ) идет речь.
Геометрически невозмущенное (установившееся) движение y*i (t ) сис-
темы n-го порядка можно представить условно в виде некоторой интеграль-
ной кривой в n–мерном пространстве с добавленной осью времени t (рис. 2.25, а). Возмущенное движение yi(t), вызванное начальным отклонением при t= t0, изображено на рис. 2.25 другой интегральной кривой.
а) б)
Рис. 2.25. Геометрическая интерпретация возмущенного и невозмущенного |
|
движений системы |
В |
отклонениях xi(t), т. е. в пространстве координат состояния системы, эта кар-
тина возмущенного движения будет выглядеть, как показано на рис. 2.25, б.
При этом невозмущенное движение x*i (t ) 0 изобразится прямой линией,
совпадающей с осью t.
Невозмущенное движение системы x*i (t ) 0 называется устойчивым,
если, задав «трубку» сколь угодно малого n-мерного сечения (рис. 2.25, б), 171
можно подобрать в начальный момент t0 такую область начальных условий ,
зависящую от , что с увеличением t возмущенное движение xi(t) не выйдет из заданной трубки. Положение равновесия системы (2.250) совпадает с на-
чалом координат и может быть устойчиво, асимптотически устойчиво и не-
устойчиво.
Будем говорить, что положение устойчиво, если для любого < (рис. 2.26) существует такое , что траектория x(t), начинающаяся в точке t0
сферической области S( ), все время остается в сферической области S( ).
Иначе говоря, траектория x(t), начинающаяся внутри области S( ), ни-
когда не достигает сферы H( ).
Положение асимптотически устойчиво, если оно устойчиво и, сверх то-
го, существует такое < , что каждая траектория x(t), начинающаяся в сфе-
рической области S( ), стремится к началу координат, когда время неограни-
ченно растет.
|
|
|
|
|
|
Положение неустойчиво, если для |
||||||
|
|
|
|
|
|
некоторого (хотя бы одного) < и любо- |
||||||
|
|
|
|
|
|
го r, каким бы малым r не выбиралось, все- |
||||||
|
|
|
|
|
|
гда найдется внутри сферической области |
||||||
|
|
|
|
|
|
S( ) такая точка x0, что траектория x(t), на- |
||||||
|
|
|
|
|
|
чинающаяся в этой точке, достигает за ко- |
||||||
|
|
|
|
|
|
нечное время сферы H( ). |
||||||
Рис. 2.26. Траектории движения |
Таким образом, устойчивость, как |
|||||||||||
устойчивой, асимптотически |
||||||||||||
|
|
|
|
|
|
|||||||
устойчивой и неустойчивой систем |
следствие тривиального решения (2.250), |
|||||||||||
может быть определена следующим образом: , |
( ,t0 ) 0 такое, что |
|||||||||||
выполняется |
|
x(t,x0 ) |
|
, |
t t0 |
, если |
|
x0 |
|
( ,t0 |
). |
|
|
|
|
|
172
2.6.3.Анализ устойчивости прямым методом Ляпунова
Основные фундаментальные результаты теории устойчивости получе-
ны русским математиком Ляпуновым А.М. (1857 – 1918 г.г.).
Заслуга А. М. Ляпунова /8/ заключается в том, что он указал подход к определению свойства устойчивости, не связанный с анализом траекторий,
т.е. дал способ, не требующий нахождения решений дифференциальных уравнений.
По существу этот подход основан на простой идее, известной из меха-
ники. В положении равновесия система имеет минимум потенциальной энер-
гии. Хорошо известно, что минимум потенциальной энергии всегда можно считать равным нулю. Тогда в любой окрестности положения равновесия ве-
личина потенциальной энергии будет положительной. Применение функций,
положительных всюду за исключением положения равновесия, к анализу ус-
тойчивости и лежит в основе метода, разработанного А. М. Ляпуновым.
Предположим, что положением равновесия системы, описываемой сис-
темой (2.250), и которое необходимо исследовать, является начало коорди-
нат, т. е. выполняются условия Xi(0, 0) = 0. Допустим, что известна некоторая функция переменных состояния V(xi), которая положительна всюду, за ис-
ключением начала координат, где она равна нулю. Такая функция показана на рис. 2.27, а; проекции сечений этой функции плоскостями V = const и по-
казаны на рис. 2.27, б /39/.
Если для любой начальной точки x0 ( x10 x20 ) функция V( x0 ) такова
что ее производная dV 0 , то траектория направлена в сторону уменьшения dt
V. Если всюду, как это показано на рис. 2.27, б, dV 0 то траектория стре- dt
мится к началу координат, которое устойчиво, в данном случае асимптотиче-
173
ски. Если окажется, что вблизи начала координат
следовательно, начало координат просто устойчиво.
V
dV 0, то V = const и, dt
x2
c1 < c2
V = c=const |
0 |
c2 |
x1 |
X |
|
||
|
|
c1 |
|
x2 |
|
x1 |
|
|
а) |
|
б) |
|
|
Рис. 2.27. Геометрическая интерпретация теорем об устойчивости систем по Ляпунову
Согласно условиям теорем динамика системы такова, что решение всегда пе-
ремещается в направлении линий с меньшим значением функции. Все линии охватывают начало координат и не пересекаются с линиями другого уровня.
Поэтому существование функции Ляпунова гарантирует устойчивость дви-
жения системы. Функция Ляпунова в данном случае играет роль энергии возмущенной траектории (напомним, что исследуется устойчивость триви-
ального решения), которая с течением времени уменьшается и обеспечивает затухание возмущений
Таким образом, устойчивость зависит от свойств производной функции
V как функции времени.
Найдем полную производную функции V по времени, т. е.
dV |
|
V |
|
dx1 |
|
V |
|
dx2 |
n |
V |
n |
V |
|
|
|
|
|
|
x |
Xi ( x1 , ,xn ). (2.251) |
|||||||
|
|
|
x2 dt |
xi |
|
||||||||
dt x1 dt |
|
i 1 |
i 1 |
xi |
Первая теорема Ляпунова гласит, что если существует функция V(x)
такая, что
1(u) V( x )
174
где 1(u) при u 0 – скалярная непрерывная неубывающая функция, причем
(0)=0 и (u)>0, u>0 и
|
V |
|
n |
V |
|
|
V |
|
|
fi (s) 0 , |
|||
|
|
|||||
|
t |
i 1 |
xi |
|||
то тривиальное решение устойчиво. |
|
|
|
Поскольку функции V(x) и X(х) предполагаются известными,
(2.252)
то для
определения производной dV нет необходимости отыскивать траектории dt
движения, достаточно иметь лишь уравнения системы (2.250).
Введем некоторые определения. Для этого рассмотрим функцию V(x1, .
. ., xn), определенную в пространстве переменных (x1, . . ., xn), непрерывную в некоторой области G, включающей начало координат и имеющую в этой об-
ласти непрерывные частные производные.
Функцию V(x1, . . ., xn) назовем определенно положительной в области
G, если всюду в этой области, кроме точки О(0,...,0), имеет место неравенство
V> 0. Если же выполняется неравенство V < 0, то функция V называется оп-
ределенно отрицательной. В том и другом случае функцию можно называть
знакоопределенной.
Если в области G всюду выполняется неравенство V 0 или неравенст-
во V 0, то функция называется знакопостоянной, причем в первом случае ее
называют знакоположительной, а во втором – знакоотрицательной.
Если функция V принимает в области G значения как положительного,
так и отрицательного знаков, то в этом случае функцию V назовем знакопе-
ременной. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Например, |
функция V ( x ) x |
2 |
x |
2 |
3x2 |
x4 |
определенно положи- |
||||||||||||
|
|
|
|
|
|
1 |
1 |
|
2 |
|
3 |
3 |
|
|
|
|
|
|
|
тельная |
функция |
лишь |
|
в |
области |
|
G: |
|
x3 |
|
|
|
; функция |
||||||
|
|
|
|
3 |
|||||||||||||||
V ( x ) ( x |
1 |
x |
2 |
)2 x2 |
x2 |
определенно положительна во всем пространст- |
|||||||||||||
2 |
|
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ве переменных; |
функция V ( x ) ( x |
1 |
x |
2 |
)2 |
x |
2 лишь знакоположительна, |
||||||||||||
|
|
|
|
|
3 |
|
|
|
|
|
3 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
175 |
|
|
|
|
|
|
|
|
|
поскольку кроме точки начала координат она обращается в нуль и на линии
[ x1 x2 0; x3 0]; функция V4 ( x ) x1 x2 x32 знакопеременна.
Функции V(х), удовлетворяющие одному из данных выше определений и предназначенные для анализа устойчивости, называются функциями Ляпу-
нова.
К сожалению, не существует единого способа формирования функции Ляпунова для анализа конкретных систем автоматического регулирования.
Наибольшее распространение для анализа устойчивости систем и, в ча-
стности, широкого класса линейных систем находят функции Ляпунова в ви-
де квадратичных форм /8/.
Квадратичная форма может быть представлена в виде
n |
n |
|
|
|
V pij xi xj , |
pij pji |
(2.253) |
||
i 1 |
j |
1 |
|
|
или в матричной форме
p11
где P
pn1
V xT Px, |
(2.254) |
p1n
– симметричная матрица.
pnn
Квадратичная форма, представленная в виде (2.253) или соответст-
вующей матрицы Р (2.254), называется положительно определенной, отрица-
тельно определенной, знакоположительной или знакоотрицательной, если соответственно xT Px 0, xT Px 0, xT Px 0 или xT Px 0. Все осталь-
ные квадратичные формы являются знакопеременными. Укажем признаки,
по которым можно проверить, каким из указанных выше свойств обладает изучаемая квадратичная форма или соответствующая ей матрица.
Квадратичная форма (2.253), или матрица Р (2.254), являются положи-
тельно определенными, отрицательно определенными, знакоположительны-
ми, знакоотрицательными, неопределенными или тождественно равными ну-
176
лю в том и только в том случае, если собственные значения i матрицы Р
(2.254), которые для симметричной матрицы действительны, соответственно все положительны, все отрицательны, все неотрицательны, все неположи-
тельны, имеют различные знаки или все равны нулю.
Собственные значения i (j= 1,2, . . ., n) матрицы Р – это корни характе-
ристического уравнения
det( E P) E P 0
или
p11 |
p12 |
p1n |
|
|
|
p21 |
p22 |
|
p2n |
0 . |
(2.255) |
|
|
|
|
|
|
pn1 |
pn2 |
pnn |
|
|
Сформулируем еще один признак определенной положительности квадратичной формы, известный как критерий Сильвестра.
Для того чтобы квадратичная форма (2.254) была положительно опре-
деленной, необходимо и достаточно, чтобы каждый из угловых миноров
|
|
|
|
|
k |
|
p11 |
p1k |
, |
k 1,2, ,n |
(2.256) |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
pk1 pkk |
|
|
|
||
матрицы Р был положителен. |
|
|
|
|
|
|||||||
|
В частном случае стационарной автономной системы уравнения со- |
|||||||||||
стояния могут быть записаны в виде (2.102) при В=0 |
|
|||||||||||
|
|
|
|
|
|
|
|
|
y Ax, |
|
(2.257) |
|
|
|
a11 |
a12 |
a1n |
|
|
|
|
|
|
||
|
|
|
a22 a2n |
|
|
|
|
|
|
|||
|
|
a21 |
|
|
|
|
|
|
||||
где |
A |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
an2 |
ann |
|
|
|
|
|
|
||
|
|
an1 |
|
|
|
|
|
|
Для того чтобы проанализировать устойчивость, введем функцию Ля-
пунова в виде положительно определенной квадратичной формы (2.254).
177
Найдем производную этой функции с учетом уравнений (2.257)
V |
dxT Px |
dx T |
Px xT P |
dx |
dx T |
Px xT PAx |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|||
dt |
|
dt |
|
|
|
|
|||||||
|
|
dt |
|
|
dt |
|
|
|
|||||
Ax T Px xT PAx xT AT Px xT PAx |
. |
(2.258) |
|||||||||||
xT ( AT P PA)x |
|
|
|
|
|
|
|
|
|
||||
Введем обозначение |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
AT P PA Q. |
|
|
|
|
(2.259) |
|||
Если матрица Q положительно определенная, то V xTQx 0, когда |
|||||||||||||
V 0, т. е. происходит убывание функции V, а, |
следовательно, |
траектория |
системы стремится к началу координат. Итак, если одновременно выполня-
ются неравенства V >0 и V 0 в некоторой области пространства перемен-
ных (x1, . . ., xn), включающей начало координат, то положение равновесия в начале координат асимптотически устойчиво.
Согласно теореме Ляпунова об асимптотической устойчивости, для то-
го чтобы нулевое решение автономной линейной системы (2.257) было асим-
птотически устойчиво, необходимо и достаточно, чтобы для произвольной положительно определенной матрицы Q существовала положительно опре-
деленная матрица Р, удовлетворяющая уравнению (2.259). Отметим, что обе матрицы Р и Q являются симметричными. Действительно, если матрица Р симметрична, т. е. РT = Р, то
QT ( AT P PA)T PT A AT P ( AT P PA) Q
и, следовательно, матрица Q симметрична. Справедливо и обратное.
Рассмотрим теперь интерпретацию задачи определения устойчивости для системы, описываемой конечно-разностным уравнением в дискретном времени (цифровой системы)
x[k 1] f ( x[k ],k ), xk 1 fk ( xk ). (2.260)
Функция V(x[k],k)=Vk(x) является функцией Ляпунова для системы
(2.260) в случае если:
1. Vk(x) непрерывна по x и Vk(0)=0; 178
2.Vk(x) – положительно определена при x 0, Vk(x)>0;
3.Vk(x)=Vk(xk+1)-Vk(xk)=Vk(f(xk))-Vk(xk) 0 (неотрицательно определе-
на).
Теорема об устойчивости формулируется следующим образом: если для системы (2.260) существует функция Ляпунова, то решение x[k]=xk=0
асимптотически устойчиво.
Как уже упоминалось, главную трудность составляет нахождение под-
ходящей функции Ляпунова. Однако она легко определяется для линейных систем вида
xk 1 Axk , x0 a x[0 ].
Отметим, что разность x x x для другого решения
xk 1 Axk , |
x0 |
a |
также удовлетворяет уравнению |
|
xk 1 Axk , |
x0 a a . |
Это значит, что если xk устойчиво, то каждое другое решение также ус-
тойчиво. То есть для линейных систем устойчивость – свойство системы, а не конкретного решения.
Для линейной системы при a=0 функцию Ляпунова обычно ищут в ви-
де
Vk ( x ) xkT Bxk ,
где B – положительно определенная матрица. Вычислим первую разность функции Ляпунова и преобразуем ее к виду
Vk ( x ) xkT 1Bxk 1 xkT Bxk xkT AT BAxk xk BxkxkT ( AT AB B)xk xkTCxk
где C – некоторая положительно определенная матрица, которая находится из матричного уравнения
AT BA B C I
Это уравнение (матричное уравнение Ляпунова) всегда имеет решение,
если система устойчива. В качестве C обычно выбирают единичную матрицу
179
C=I.
Если матрицу A путем невырожденного преобразования F можно при-
вести к диагональному виду, то
|
k |
x0 |
, |
xk Fxk , |
|
1 |
xk A |
|
A FAF |
|
и решение есть линейная комбинация ik , где i, i=1,2,…,m собственные чис-
ла матрицы A. Для достижения асимптотической устойчивости все решения должны стремиться к нулю при k . В этом случае все собственные числа матрицы А должны обладать свойством i <1. В самом простейшем случае скалярного уравнения xk+1=rxk, x0=a устойчивость достигается при r <1, так как xk+1=rkx0 и любое возмущение начального значения будет «погашено» с
течением времени.
2.7. Инвариантность и чувствительность линейных систем
автоматического управления
Инвариантность. Данное свойство динамических систем определяет степень восприимчивости одного или нескольких компонентов движения системы в фазовом пространстве x(t) от изменяющегося во времени возму-
щающего воздействия (t)
x f( x,u, ,t ). |
(2.261) |
Инвариантность траектории системы (2.261) обеспечивается достаточ-
но сложно и только при наличии точной математической модели и необхо-
димого объема априорных данных. Даже для линейной стационарной систе-
мы условия инвариантности определяются на основе специальных уравнений для элементов матрицы А ( x Ax Bu C ), которые определяют условия компенсации возмущений и которые не всегда имеют решение. Порядок сис-
темы для обеспечения инвариантности должен быть не менее двух, так как в противном случае имеется ее полная неуправляемость. Более подробно ос-
новные положения теории инвариантности излагается в разделе 3.9.3.
180