Условия робастной устойчивости линейных нестационарных систем управления с интервальными ограничениями Текст научной статьи по специальности «Математика»

УДК 681.5.037

УСЛОВИЯ РОБАСТНОЙ УСТОЙЧИВОСТИ ЛИНЕЙНЫХ НЕСТАЦИОНАРНЫХ СИСТЕМ УПРАВЛЕНИЯ С ИНТЕРВАЛЬНЫМИ ОГРАНИЧЕНИЯМИ

М.В. Морозов

На основе метода сравнения с вектор-функцией Ляпунова специального вида установлены достаточные условия робастной устойчивости систем рассматриваемого класса. В случае периодических интервальных ограничений на элементы матрицы системы найден вид систем, для которых полученные условия являются не только достаточными, но и необходимыми.

Ключевые слова: система управления, робастная устойчивость, интервальные ограничения, вектор-функция Ляпунова.

ВВЕДЕНИЕ

Важное место в теории управления занимает проблема робастной устойчивости, которая связана с получением условий устойчивости не одной конкретной системы, а целой совокупности систем с заданными ограничениями на их параметры. Её решению для линейных систем управления с параметрической неопределенностью посвящено большое число работ (см., например, библиографию в работах [1—8]). В них рассматривались, как правило, лишь стационарные множества, задающие ограничения на параметры системы. Обычно для матрицы линейной части системы в качестве такого множества рассматривается некоторый выпуклый многогранник в пространстве матриц заданной размерности. В частном случае так называемых интервальных матриц [2, 3, 7] таким многогранником является многомерный параллелепипед, грани которого параллельны соответствующим координатным плоскостям в матричном пространстве. Относительно характеристик нелинейных элементов обычно предполагается, что они принадлежат заданным секторам (с фиксированными границами), как в случае классической задачи об абсолютной устойчивости.

Однако, как отмечалось в работах [9, 10], ряд практических задач, в частности, задача об абсолютной устойчивости систем управления с периодически изменяющимися параметрами, приводит к необходимости рассмотрения таких множеств

изменения параметров системы, границы которых изменяются по заданным периодическим законам.

В работах [11, 12] с помощью метода функций Ляпунова были установлены общие критерии (необходимые и достаточные условия) робастной устойчивости для линейных нестационарных непрерывных и дискретных систем управления с периодически изменяющимися ограничениями на элементы матрицы системы. Эти критерии сформулированы в форме условий существования положительно определенной функции Ляпунова из некоторого функционального (в непрерывном случае) или параметрического (в дискретном случае) класса, строго убывающей на решениях рассматриваемой системы.

В общем случае эффективная проверка выполнения этих условий затруднительна, поскольку в конструкции соответствующей функции Ляпунова присутствуют параметры, значения которых априори неизвестны. В связи с этим несомненный теоретический и практический интерес представляет задача получения конструктивно проверяемых достаточных условий робастной устойчивости для заданного класса систем. Для линейных нестационарных систем управления со стационарными интервальными ограничениями на элементы матрицы системы такие достаточные условия были получены в работах [13] (в непрерывном случае) и [14, 15] (в дискретном случае).

В настоящей работе установлены достаточные условия робастной устойчивости для случая нестационарных интервальных ограничений. Для их получения используется метод сравнения с век-

АНАЛИЗ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

1

тор-функцией Ляпунова специального вида. Показано, что если интервальные ограничения являются периодическими, то в ряде случаев полученные достаточные условия робастной устойчивости оказываются одновременно и необходимыми.

1. ПОСТАНОВКА ЗАДАЧИ

Рассматривается линейная нестационарная система, описываемая уравнением вида

X = A(^)x, х е Rn, (1)

где А(?) = (а.(?))П . = 1 — произвольная матрица

(а..(?), I, у = 1, п — измеримые функции), которая на всяком конечном интервале полуоси [0, да) почти всюду удовлетворяет неравенствам

А(?) т А(?) т А (?), А(?) = (а())1. = г,

А (?) = (а. (ЫП. = 1. (2)

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

.) т а. т а. (?), /, у = 1, п,

где а..(?), а.. (?), I, у = 1, п — произвольные измери-

-У V

мые функции.

Таким образом, рассматривается не одна фиксированная система (1), а совокупность линейных нестационарных систем (1) с интервальными ограничениями (2). Будем в дальнейшем называть систему (1) интервальной нестационарной системой.

Как и в работе [11], будем называть интервальную нестационарную систему (1) робастно устойчивой относительно ограничений (2), если ее нулевое решение х(?) = 0 асимптотически устойчиво по Ляпунову при любом выборе матрицы А(?), удовлетворяющей неравенствам (2).

Задача состоит в получении эффективно проверяемых достаточных условий робастной устойчивости нестационарной интервальной системы (1). Основой для получения этих условий служит метод сравнения с вектор-функцией Ляпунова специального вида [16].

2. ОСНОВНЫЕ РЕЗУЛЬТАТЫ

Введем в рассмотрение матрицу

A = (л/О)^j = i , аи (t) = ait (t), an (t) = max{|aj.(t)|, | aj (t)|}, i * j, i, j = 1, n . (3)

Сопоставим матрице A (t) систему

X = A (t)x. (4)

Теорема 1. Интервальная нестационарная система (1) робастно устойчива относительно ограничений (2), если система (4) асимптотически устойчива по Ляпунову. ♦

Доказательство теоремы приведено в Приложении.

Предположим, что заданные ограниченные

«крайние» матрицы A(t) и A (t) периодичны с периодом T > 0, т. е. выполнены условия

A(t + T) = A(t), A (t + T) = A (t). (5)

В этом случае матрица A (t) периодична с периодом T.

Периодические ограничения вида (5) возникают, например, при рассмотрении нестационарной

системы (1) [17], в которой элементы a..(t) матри-

ij

цы A(t) представимы в виде

aj(t) = Uj(t)fj(t), i, j = 1, n, (6)

где fj( t), i, j = 1, n — заданные периодические фун-

ij

кции периода T, а u..(t) — произвольные измери-

ij

мые функции, удовлетворяющие стационарным ограничениям

aij m uj(t) m P j h j = M . (7)

Нетрудно проверить, что в этом случае периодические функции aj(t) и atj (t) в неравенствах (2) определяются равенствами

j) = °,5{(я^ + Pij)f,(t) - a - Pijiifji}, aj(t) = °,5{(a(j + f + к, - ef }

Как известно [18], необходимым и достаточным условием асимптотической устойчивости системы (4) является неравенство

Р(Ф(Л) < 1, (8)

где через р(Ф(7)) обозначен спектральный радиус матрицы монодромии Ф^) системы (4).

В общем случае аналитическая проверка выполнения условия (8) затруднительна в связи со сложностью построения матрицы монодромии Ф^) в явном виде. В таких случаях можно применять численно-аналитические методы [18], связанные с численным построением матрицы Ф^).

Можно выделить один частный случай, когда достаточные условия робастной устойчивости системы (1) с интервальными ограничениями (2) пери-

24

CONTROL SCIENCES № 3 • 2009

одического вида (5), устанавливаемые теоремой 1, оказываются одновременно и необходимыми.

Теорема 2. Пусть выполнены неравенства

|аг7(?)| < а у (?) при всех I ^ у, I, у = 1, п . (9)

Тогда для робастной устойчивости системы (1) относительно интервальных ограничений (2) периодического вида (5) необходимо и достаточно, чтобы было выполнено условие (8). ♦

Доказательство теоремы приведено в Приложении.

Заметим, что неравенства (9) заведомо выполнены в случае, когда элементы матрицы А(?) представимы в виде (6) и в неравенствах (7) а.. = —1,

ц

вц(?) = 1, I, у = 1, п.

ПРИЛОЖЕНИЕ

Доказательство теоремы 1. Используем метод сравнения с вектор-функцией Ляпунова [16]. Рассмотрим вектор-функцию Ляпунова вида

V(x) = jxj = (jxj, ..., jxj)3

с компонентами

V(x) = jxj, t = І, n .

(П.І)

(П.2)

В выражении (П.1) и далее под абсолютной величиной |x| вектора x е Rn понимается и-мерный вектор с компонентами |xj, ..., |xn|.

Правой верхней производной от V(x) относительно системы (1) будем называть вектор-функцию [13]

D+ V(x(t)) = Tim П x ( t + h)) - V(x ( 0 ). h ^ +0 h

Вычислим компоненты вектор-функции D+V(x(t)) = = (D+Vj(x(t)), ..., D+Vn(x(t)))T:

D+V;.(x(t)) = signx/t + 0) x i (t) = aiY(0|x,(0| +

n n

+ {signx.(t + 0)} ^ aiy(t)xy(t) m aij.(t)|xj.(t)| + ^ |ajj.(t)||xj.(t)|.

j = і j * i

j = 1 j * i

Отсюда с учетом неравенства (2) и определения матрицы А (?) в силу формул (3) вытекает неравенство:

D+V(x(t)) m 2Н (t)jxi(t)j + X (t)jx/t)j. (П.3)

j = і j * i

Следовательно, в силу формулы (П.2) и неравенства (П.З) справедливы неравенства

D+ V(x(t)) m a„ (t) V(t) + X h (t) V(t), t = і, n. (П.4)

j = і

j * i

Система скалярных неравенств (П.4) эквивалентна матричному неравенству

£+К(х(0) < А (?№(?)). (П.5)

В работе [16] (см. гл. 2, § 2) рассматривается система

^х

dt

= X(t, x), X(t, О) = О, x є Rn.

(П.б)

Вещественные функции X '(t, x1, ..., xn) определены и непрерывны в области Г = {(t, x): ||x|| < n, t l 0} (n = const > 0 или n = ^ +cc) и имеют в ней непрерывные частные производные по x1, ..., xn, которые ограничены в каждой замкнутой области Г0 = {(t, x) е Г: ||x || < n0, t > 0}, 0 < n0 < n. Это обеспечивает существование, единственность и нелокальную продолжимость решений системы, непрерывную зависимость их от начальных условий (и времени t) в области Г. При n ^ предполагается продолжимость решений для всех t е I = [0, +да). Рассматривается также вектор-функция Y(t, x) = (Y1(t, x), ..., yk(t, x))T, у: Г ^ Rk. Для нее вводится норма ||y(t, x)|| = |y1(t, x)|+ ... +|yk(t, x)| и производная по времени в силу системы (П.6)

Y (t, x) =

Y (t, x)

Y (t, x)

= ay ( t, x) + ay ( t, x) X(t, x),

at ax

где — вектор-столбец, а dy — k x n-матрица с эле-

dt dx

ментами

dy

3x!

Непрерывно дифференцируемая функция y: Г ^ R и вспомогательное дифференциальное уравнение

- = /(t, У), У є R k,

(П.7)

называются вектор-функцией сравнения и системой сравнения для системы (П.6), если для них выполнены условия

Y (t, x) m f(t, Y(t, x)) при (t, x) е Г,

f е W(Q), f(t, 0) = 0,

Q = {(t, у) е I x Rk: ||y|| < Kv t l 0},

K ^ +да или sup ||Y(t, x)|| = K < K < +да,

(t, »)еГ

где W(Q) — класс функций, определенных, непрерывных в открытой области Q с I x Rk и квазимонотон-ных в следующем смысле: каждая вещественная функция fs является неубывающей по совокупности внедиа-гональных переменных (у1, ..., У 1, У+1, ..., yk) в области Q, т. е. такой, что fs(t, у1) m fs(t, у2) для любых

(t, у1), (t, у2) є Q: уі m у2 , ..., уі і m y2 *, уі

s +1 ^ s +1 k ^ k

Уі m У2 , ..., Уі m y2.

n

n

АНАЛИЗ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

1

Для вектор-функции Y(t, x) и целого числа /(1 m / m k) на Г определена скалярная непрерывная функция

Y (t, x) = max Ys(t, x).

s = 1“'

Вектор-функция сравнения y для системы (П.6) называется вектор-функцией Ляпунова для этой системы, если она обладает одним из следующих свойств:

Y (t, x) > 0 при ||x|| > 0, t l 0;

Y (t, x) определенно положительна;

Y (t, x) допускает бесконечно большой низший предел;

Y (t, x) l a||x|p (a > 0, £ l 1);

Ys(t, x) допускает бесконечно малый высший предел;

||Y(t, x)|| m p||x|p (P > 0, £ l 1).

В работе [16] (см. гл. 2, § 4) доказана следующая теорема.

Для асимптотической устойчивости невозмущенного движения x = 0 системы (П.6) достаточно, чтобы для некоторых Г0, k и /(1 m / m k) существовала вектор-функция Ляпунова, обладающая в Г0 следующими свойствами:

— функция Y (t, x) определенно положительна;

— нулевое решение системы сравнения (П.7) асимптотически устойчиво относительно у1, ..., у1 при условии У0 = Y(t0, x,) при (t0, x„) е Г0.

Так как скалярная функция v (x) = max V(x) =

1 < i < n

= max |x;| определенно положительна в Rn, то в соот-

1 < i < n

ветствии с приведенными выше определениями и с учетом неравенства (П.5) вектор-функция V(x) и система (4) являются соответственно вектор-функцией Ляпунова и системой сравнения для всякой конкретной системы вида (1) при любом выборе матрицы A(t), удовлетворяющей неравенствам (2). Поэтому из приведенной выше теоремы следует, что условие асимптотической устойчивости системы сравнения (4) обеспечивает асимптотическую устойчивость всякой системы из интервального множества (1), (2), а значит, и робастную устойчивость системы (1) относительно интервальных ограничений (2). Теорема 1 доказана.

Доказательство теоремы 2. В доказательстве нуждается лишь необходимость, так как достаточность следует из теоремы 1. Для доказательства необходимости заметим, что из определения матрицы A (t) в соответствии с выражением (3) и условия (9), вытекает неравенство A (t) = A (t). Поэтому в рассматриваемом случае матрица монодромии Ф(Т) для системы (7) будет одновременно матрицей монодромии для периодической системы

x = A (t)x. (П.8)

Асимптотическая устойчивость системы (П.8) является необходимым условием для робастной устойчивости интервальной системы (1), (2). Следовательно, в условиях теоремы 2 неравенство (8) определяет не только достаточное, но также и необходимое условие робастной устойчивости системы (1), (2). Теорема 2 доказана.

ЛИТЕРАТУРА

1. Dorato P., Yedavalli R.K. Recent Advances in Robust Control. — New York: IEEE Press, 1990.

2. Гусев Ю.М., Ефанов В.Н., Крымский В.Г., Рутковский В.Ю. Анализ и синтез линейных интервальных динамических систем (состояние проблемы). I, II // Изв. АН СССР. Техническая кибернетика. — 1991. — № 1. — С. 3—23; № 2. — С. 3—30.

3. Джури Э.И. Робастность дискретных систем (обзор) // Автоматика и телемеханика. — 1990. — № 5. — С. 3—28.

4. Zhoy K., Doyle J.C., Glover K. Robust and optimal control. Upper Saddle River. — NJ: Prentice Hall, 1996.

5. Sanchez-Pena R., Sznaier M. Robust systems: theory and applications. — New York, Wiley, 1998.

6. Keel L.H., Bhattacharyya S.P. Robust stability and performance with fixed-order controllers // Automatica. — 1999. — Vol. 35. — P. 1717—1724.

7. Поляк Б.Т., Щербаков П.С. Робастная устойчивость и управление. — М.: Наука, 2002.

8. Поляк Б. Т., Щербаков П. С. Трудные задачи линейной теории управления и некоторые подходы к их решению // Автоматика и телемеханика. — 2005. — № 5. — С. 7—46.

9. Молчанов А.П., Морозов М.В. Абсолютная устойчивость нелинейных нестационарных систем управления с периодической линейной частью // Там же. — 1992. — № 2. — С. 49—59.

10. Молчанов А.П., Морозов М.В. Функции Ляпунова для нелинейных нестационарных дискретных систем управления с периодической линейной частью // Там же. — 1992. — № 10. — С. 37—45.

11. Молчанов А.П., Морозов М.В. Робастная устойчивость линейных нестационарных систем с периодическими параметрами // Устойчивость и колебания нелинейных систем управления / Тез. докл. Междун. семинара. Самара, июль 1994. — С. 32.

12. Молчанов А.П., Морозов М.В. Робастная абсолютная устойчивость нестационарных дискретных систем управления с периодическими ограничениями // Автоматика и телемеханика. — 1995. — № 10. — С. 93—100.

13. Xu Daoui. Simple Criteria for stability of interval matrices // In-ternat. Journ. Contr. — 1985. — Vol. 41, N 1. — P. 289—295.

14. Bauer P.H., Premaratne K. Robust Stability of Time-Variant Interval Matrices // Proc. 29 th Conference on Decision and Control. Honolulu, HI. — Dec. 1990. — P. 334—335.

15. Mota F, Kaszkurewicz and Bhaya A. Robust Stabilization of Time-Varying Discrete Interval Systems // Proc. 31st Conference on Decision and Control. Tucson, AZ. Dec. 1992. — P. 341—346.

16. Абдуллин Р.З. и др. Метод векторных функций Ляпунова в теории устойчивости / Под ред. А.А. Воронова, В.М. Матросова. — М.: Наука, 1987.

17. Шильман С.В. Метод производящих функций в теории динамических систем. — М.: Наука, 1978.

18. Якубович В.А., Старжинский В.М. Линейные и дифференциальные уравнения с периодическими коэффициентами и их приложения. — М.: Наука, 1978.

Статья представлена к публикации членом редколлегии

С.Д. Земляковым.

Морозов Михаил Владимирович — канд. физ.-мат. наук,

ст. науч. сотрудник, Институт проблем управления

им. В.А. Трапезникова РАН, г. Москва, S (495) 334-90-31,

И miguel@ipu.ru.

2G

CONTROL SCIENCES № 3 • 2009