CC BY
13
УДК 977.1 ББК 161.8
РЕШЕНИЕ ЗАДАЧИ АНАЛИЗА С ВОЗМУЩЕНИЕМ ВО ВХОДЕ И ВЫХОДЕ
Железное К. 0.1
(ФГБУН Институт проблем управления им. В.А. Трапезникова РАН, Москва)
Предлагается метод решения задачи анализа для линейной системы управления с возмущением, подаваемым на вход и выход системы. На примере тестовой задачи из СОИРШЪ демонстрируется его более высокая эффективность по сравнению со стандартным подходом.
Ключевые слова: линейные матричные неравенства, техника инвариантных эллипсиодов, задача слежения.
Введение
Задачи управления регулируемым выходом системы управления можно разбить на два класса, которые отличаются по целям управления: задачи синтеза заданного поведения, когда требуется обеспечить наличие у замкнутой системы управления некоторых заданных свойств, и оптимальные задачи, когда требуется оптимизировать некий критерий качества работы замкнутой системы. Как правило, указанные задачи рассматриваются при наличии внешних возмущений и помех, которые являются неиз-меряемыми. При таких условиях требуется выполнение основной цели системы при компенсации внешних возмущений и помех.
Первой работой, посвященной созданию систем, не зависящих от внешних возмущений, является [11]. Такие системы получили название инвариантных [3]. Данная работа посвящена решению одной из возможных задач управления первого класса —
1 Кирилл Олегович Железное, аспирант ([email protected]). 24
задаче слежения, которая является одной из основных задач как линейной, так и нелинейной теории управления и не теряет актуальности и сейчас. Наибольшее внимание уделяется решению различных постановок задач слежения и их приложений в линейных системах. Ключевые аспекты теоретического аппарата данной теории изложены в [6, 7, 14, 23]. К основным подходам к решению указанной задачи можно отнести линейное следящее управление (Linear Tracking Control, [16]); подход, основанный на применении векторных функций Ляпунова [4, 12]; естественное следящее управление (Natural Tracking Control, [17]); метод линейных матричных неравенств (Linear Matrix Inequalities, LMI), который приобрел значительную популярность в последнее время [13, 21, 22, 26, 27]. Предпринимаются попытки исследования постановок задач слежения при неполной априорной информации, в частности, при неизвестных верхних границах возмущений [8]. В данной работе используется метод инвариантных эллипсоидов [5], который также основан на технике LMI.
Целью работы является исследование задачи управления регулируемым выходом линейной системы в одной из разнообразных постановок задачи анализа для задачи слежения, восходящей к Р. Калману [18].
В данной работе, в отличие от [2], рассматривается постановка задачи анализа, при этом источником возмущений и помех является один и тот же векторный сигнал (в частности, аналогичная система управления рассматривается в [9]). Стандартным походом к решению таких задач является предположение, что возмущения на входе и выходе системы предполагаются разными (независимыми). Это позволяет оценивать каждую из частей выхода системы по отдельности и затем суммировать получившиеся оценки. Но если возмущение во входе и выходе системы имеет одинаковый источник, то такое предположение «огрубляет» оценку, поскольку не учитывает внутреннюю связь системы. По этой причине решение таких задач без указанного предположения представляется более сложным, чем решение задач, в которых возмущения во входе и выходе предполагаются разными
(независимыми). Стоит отметить, что используемая постановка задачи (которая будет детально описана ниже) включает в себя частный случай, когда возмущения и помехи являются независимыми. Существуют разнообразные примеры систем, в которых возмущение и помехи имеют одинаковый источник. В частности, при перелетах источником помех является ветер. Он оказывает влияние как непосредственно на состояние системы, так и на все измерительные приборы (необязательно с одинаковой интенсивностью).
С технической точки зрения полученные далее задачи сводятся к решению задачи полуопределенного программирования (Semi-Definite Programming, SDP) и одномерной оптимизации. Для ее решения существуют эффективные программные средства, в частности — свободно распространяемые пакеты SDPT3 [24, 25] и YALMIP [20] на базе системы MATLAB.
Для демонстрации эффективности предложенных подходов использовалась задача из стандартной библиотеки COMPleib [19]. Данная библиотека содержит математические модели как практических задач, так и их упрощенных учебных версий. Она широко используется для тестирования и сравнения алгоритмов решения различных задач в теории управления.
1. Постановка задачи анализа
В дальнейшем нам потребуются два следующих определения.
Определение 1. Эллипсоид с центром в начале координат (1) Ер = {х е Мга: жтР-1х < 1}, Р У 0,
называется инвариантным для непрерывной системы х = Ах + Dw, если из условия х(0) е ЕР следует x(t) е ЕР для всех моментов времени t ^ 0. Это означает, что вектор фазового состояния системы будет находиться внутри эллипсоида ЕР, если он находится в этом эллипсоиде в начальный момент времени.
Определение 2. Эллипсоид с центром в начале координат
ЕСРСт = {z е R : zT(CPCT)-lz < 1}, Р У 0,
называется ограничивающим по выходу для динамической системы
х = Ах + Бы, х(0) = х0, х = Сх,
соответствующим инвариантному эллипсоиду (1). Соответственно, если состояние х0 принадлежит инвариантному эллипсоиду с матрицей Р, то выход системы будет находиться в эллипсоиде £срст для всех £ ^ 0.
Теперь сформулируем задачу анализа. Рассмотрим линейную непрерывную систему управления
х = Ах + Бы, , ,
(2) ж(0) = жо,
у = Сх + Е'ш,
где А е Мпхп,о е мгахр,С е Мтхп,Е е мтхР,х(г) е мга -это фазовое состояние системы, и> е Мр — внешнее возмущение, такое что
(3) й] = -5'ш + Д, УДУ ^ 1,
где 5 е М1 > 0 определяется условиями задачи, а Д е Мр — неизвестная ограниченная аддитивная компонента. Целью является нахождение минимального (по критерию следа) ограничивающего эллипсоида, содержащего выход у.
Здесь и далее || ■ У — евклидова норма вектора.
2. Решение задачи
2.1. Подход на основе суммирования эллипсоидов
В данном разделе рассматривается стандартный подход к решению задачи (см., например, [10]), который состоит в следующем. Будем строить грубую оценку, получая искомый эллипсоид как сумму эллипсоидов для векторов Сх и Е'ш. Найдя ограничивающий эллипсоид для каждого из слагаемых, можно получить минимальный ограничивающий эллипсоид (по критерию следа) для выхода у. Нам потребуется следующее утверждение.
Утверждение 1. Если вектор I е Мга лежит в эллипсоиде с матрицей Ь е Мгахга, а вектор Ъ е Мга — в эллипсоиде с матрицей
27
Н е Мгахга, то вектор (I + К) лежит в эллипсоиде с матрицей
(^Ь + -^Н) е мгахга при Уе е (0,1). е 1 — е
Доказательство. Если вектор I е Кга лежит в эллипсоиде с матрицей Ь е Мгахга, то он удовлетворяет неравенству
1ТЬ-11 < 1,
и если вектор К е Мга — в эллипсоиде с матрицей Н е Мгахга, то он удовлетворяет неравенству
КТН-1К < 1.
Таким образом, задача состоит в определении матрицы минимального эллипсоида К такой, что
(4) (I + К)ТК-1(1 + К) < 1 при 1тЬ-11 < 1 и ИТН-1К < 1. Вводя в рассмотрение вектор 8 = ^^ е К2га, представим условие (4) в виде
(5) ,т (к-; < 1
(6) при ,т (Ь0; 1 и „т (0 < 1
В силу 5-процедуры с двумя ограничениями условие (5) эквивалентно выполнению линейного матричного неравенства
(К-1 К-1\ (Ь-1 0\ ./0 0 \ п
(7) (К-; д-0 —Ч 0 о) —' (0 я-0 ^ 0
(8) при е,д > 0 таких, что е + 6 ^ 1. По лемме Шура (7) равносильно
К-1 — еЬ-1 < К-1(К-1 — 5Н-1)-1К-1.
Домножая слева и справа на К, а затем снова применяя лемму Шура, получим
(К — £ КЬ-1К I
V I К-1 — 5Н -
I ^ 0,
-О
что, согласно критерию Сильвестра, равносильно выполнению следующих неравенств
Я - еЯЬ-1Я < 0,
(Я - еЯЬ-1Я)(Я-1 - 5Н-1) - I У 0.
Первое из которых равносильно Я У - Ь, а второе —
£
I - еЯЬ-1 - 5ЯН-1 - е5ЯЬ-1ЯН-1 - I У 0 ^ Я У -Н + -Ь.
о е
Поскольку ищется минимальный эллипсоид, то, полагая 5 = 5таХ = 1 - е, приходим к утверждению теоремы.
Нам понадобится определить матрицу минимального инвариантного эллипсоида Ш для возмущения -ш. Для этого воспользуемся следующим утверждением, установленным в [7].
Лемма 1. Эллипсоид 8Р = {х е Мга : хТР-1х < 1}, Р У 0, является инвариантным для системы
х = Ах + Б'ш, |И1 ^ 1,
тогда и только тогда, когда его матрица Р удовлетворяет линейным матричным неравенствам
АР + РАТ + аР + 1 ОБ1 ^ 0, Р У 0.
а
Теперь можно сформулировать следующую лемму. Лемма 2. Возмущение ■ш, удовлетворяющее (3), содержится в инвариантном эллипсоиде с матрицей
(9) Ъ = 11.
Доказательство. Применяя лемму 1 при А = -5, И = I, получим, что матрица инвариантного эллипсоида Ш удовлетворяет неравенству
-25Ш + (хШ + 11 ^ 0.
а
Откуда получаем
W -г I-
а(2д — а)
Исследуя функцию —--- на минимум, находим, что мини-
а(2д — а)
мальное значение достигается при а = 6. Лемма доказана.
Отметим, что найденный эллипсоид является минимальным по критерию вложенности. Этот критерий является более «строгим», чем критерий следа. Для формулировки теоремы нам понадобится следующая лемма, установленная в [7]. Лемма 3. Образом эллипсоида
£Р = {х е Мга : хТР-1х ^ 1}, Р У 0,
при линейном отображении z = Сх, где C — матрица максимального строчного ранга, является эллипсоид
Zcpcт = {ze Rl : zT(CPCT)-1z < 1}, Р У 0.
Теперь можно сформулировать следующую теорему. Теорема 1. Решение задачи минимизации
tr ETE + -^CTSC ^ min eö2 1 — е
при ограничениях
(10) AS + SAT + ßS + 1DDT ^ 0, S У 0,
ß
где минимизация проводится по матричным переменным S = ST e Rraxra и числовым параметрам e e (0,1) и ß > 0, определяет матрицу ограничивающего эллипсоида
R = ~\2EtE + -^CtSC.
eö2 1 — e
Доказательство. Применяя леммы 1 и 3 к системе (2), получаем, что решение задачи минимизации tr CTSC ^ min при ограничениях (10) определяет матрицу ограничивающего эллипсоида для выхода C х. Применяя лемму 2 и суммируя полученные эллипсоиды, при помощи утверждения 1 приходим к утверждению теоремы. 30
2.2. Основной результат
Вводя в рассмотрение вектор
перепишем систему (2) в виде
. ;а (о
*=!0 -5l)z +
„„ -J-1S'
А w
у = ( CE)z = Cz. Теорема 2. Решение Q задачи минимизации
(12) tr Н ^ min при ограничениях
(13) (QA + AJQ + aQ Q\ ^ 0, \ Q aI J
(14) О Q) * 0.
(15) Q h^I, 7 е R1 ^ 0,
где минимизация проводится по матричным переменным Q = QT е r(™+0*(™+0 , Н = Нт е М(га+0*(™+0 и числовому параметру a > 0, определяет матрицу Р = Q-1 инвариантного эллипсоида для системы (11).
Доказательство. Применяя лемму 1 к (11), получим, что матрица инвариантного эллипсоида Р должна удовлетворять
АР + РА4т + аР + -I ^ 0.
a
Домножив данное неравенство слева и справа на Q, получаем
QÄ + A^Q + aQ + -QQ < 0,
a
что, согласно лемме Шура, равносильно
Xqa + AJQ + aQ Q
n Tl^ 0.
Q —al)
Чтобы свести задачу минимизации 1т Р = ^ (-1 к линейной, введем матрицу Н = Нт такую, что (-1 ^ Н. Последнее неравенство эквивалентно линейному матричному неравенству (14). Нетрудно видеть, что тривиальное решение ( = 0 удовлетворяет системе (13), (14). Такое решение хоть и является корректным, но означает, что инвариантным эллипсоидом с матрицей (-1 является все пространство. Для того чтобы избежать при численном решении сходимости к решению ( = 0, в систему добавляется техническое условие (15). Тогда при выборе достаточно малого 7 система будет иметь решение, отличное от тривиального.
Пример 1. Продемонстрируем предложенный подход на примере видоизмененной задачи AС5 из библиотеки COMPleib, где
А =
В
- 4,3760 1,0000
8,9117 -3,5000
1,0000 5,000
- 1,0000 -10,0000
/1\
= 0 1 , с = I1
0
-0,1209 -130,7500 -153,5000
0 0
1,000 -3,5500
О- -= (?)
При использовании стандартного подхода 1 при = 0,2 получим следующую матрицу эллипса
М1 =
/ 0,8045 -0,8452\ у—0,8452 37,6434у ,
след которой равен 36,9390.
При использовании предлагаемого подхода получим следующую матрицу
( =
4,3213 -2,0168 -2,2524 -0,0522 -0,7185
-2,0168 3,8277 -0,6608 0,8856 0,2765
-2,2524 -0,6608 108,7736 -0,0367 -0,5232
-0,0522 0,8856 -0,0367 0,3629 0,0948
-0,7185 0,2765 -0,5232 0,0948 0,2488
Ей соответствует следующая матрица эллипса
3,8817 -0,8077\
( 3,81 V—0,8
М = , 2 0,8077 11,0059)
след которого равен 14,8875.
Результирующие эллипсы изображены на рис. 1. Синим цветом изображен эллипс, полученный при решении задачи стандартным подходом, а красный цветом — эллипс, полученный при использовании предлагаемого подхода. При этом по критерию следа второй эллипс (красный) оказался меньше второго эллипса (синего) на примерно 60%. Таким образом, на рассматриваемом примере видно, что предлагаемый подход оказался эффективнее стандартного.
40 г 30 -20 -
-20 --30 -
У
-401-1-1-1-1-1-1-1-1
-40 -30 -20 -10 0 10 20 30 40
Рис. 1. Ограничивающие эллипсы при использовании двух подходов
3. Выводы и перспективы
В работе предложен новый подход решения задачи анализа при одинаковом возмущении, подаваемом на вход и на выход
33
системы. В описанном примере на основе задачи АС5 след ограничивающего эллипсоида при использовании предлагаемого подхода оказался примерно в полтора раза меньше, чем при использовании стандартного подхода. При этом в предлагаемом подходе требуется минимизация по одному числовому параметру вместо двух в стандартном подходе. В дальнейшем планируется применение предлагаемого подхода для синтезирования оптимального управления в задаче слежения.
Литература
1. АХОБАДЗЕ А. Г., КРАСНОВА С. А. Задача слежения в линейных многомерных системах при наличии внешних возмущений // Автоматика и телемеханика. - 2009. - №6. -С. 21-27.
2. ЖЕЛЕЗНОВ К. О., ХЛЕБНИКОВ М. В. Применение метода инвариантных эллипсоидов для решения линейной задачи слежения // Труды МФТИ. - 2013. - Т. 5, №1. -С. 115-121.
3. ЛЕЗИНА З. М., ЛЕЗИН В. И. Щипанов и теория инвариантности. - М.: УРСС, 2004. - 428 с.
4. МАТРОСОВ В. М. К теории устойчивости движения // Прикладная математика и механика. - 1962. - Т. 26, №5. -С. 885-895.
5. НАЗИН С. А., ПОЛЯК Б. Т., ТОПУНОВ М. В. Подавление ограниченных внешних возмущений с помощью метода инвариантных эллипсоидов // Автоматика и телемеханика. - 2007. - №3. - С. 106-125.
6. ПОЛЯК Б. Т., ХЛЕБНИКОВ М.В., ЩЕРБАКОВ П. С. Управление линейными системами при внешних возмущениях: Техника линейных матричных неравенств. -М.: УРСС, 2014. - 560 с.
7. ПОЛЯК Б. Т., ЩЕРБАКОВ П. С. Робастная устойчивость и управление. - М.: Наука, 2002. - 303 с.
8. СОКОЛОВ В. Ф. Робастное слежение при неизвестных верхних границах возмущений и помехи измерений // Автоматика и телемеханика. - 2013. - №1. - С. 98-115.
9. ЦЫКУНОВ А. М. Робастная система слежения с компенсацией возмущений и помех // Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика. -2014. -№1.- С. 54-61.
10. ШОЛОХОВ А. В. Об эллипсоидальной аппроксимации суммы двух эллипсоидов по минимуму объема // Кибернетика и системный анализ. - 2011. - №6. - С. 138-144.
11. Щипанов Г. В. Теория и методы проектирования автоматических регуляторов // Автоматика и телемеханика. -1939. - №47. - С. 49-66.
12. Bellman R. Vector Lyapunov Functions // J.S.I.A.M. Control. - 1966. - Vol. 1, №1. - P. 32-34.
13. BOUOUDEN S., CHADLI M., FILALI S., EL HAJJAJI A. Fuzzy model based multivariable predictive control of a variable speed wind turbine: LMI approach // Renewable Energy. - 2012. - Vol. 37, №1. - P. 434-439.
14. BOYD S., EL GHAOUI L., FERON E., BALAKRISHAN V. Linear matrix inequalities in system and control theory. -SIAM, 1994. - 250 p.
15. CERVANTES I., ALVAREZ-RAMIREZ J. On the PID tracking control of robot manipulators // Systems & control letters. - 2001. - Vol. 142, №1. - P. 37-46.
16. GRUJIC L. T. Tracking control of linear systems. - CRC Press, 2013.
17. GRUJIC L.T., MOUNFIELD W.P. Natural tracking PID process control for exponential tracking // AIChE journal. -1992. - Vol. 38, №4. - P. 555-562.
18. KALMAN R. E. Contributions to the theory of optimal control // Bol. Soc. Mat. Mexicana. - 1960. - Vol. 5, №2. -P. 102-119.
19. LEIBFRITZ F. COMPleib: COnstrained Matrix-optimization
Problem library. Version 1.1 // Univ. Trier, Germany. URL: www.compleib.de.
20. LOFBERG J. YALMIP: A toolbox for modeling and optimization in MATLAB // Computer Aided Control Systems Design, 2004 IEEE International Symposium - 2004. -P. 284-289.
21. LIAO F., WANG J.L., YANG G.-H. Reliable robust flight tracking control: an LMI approach // Control Systems Technology, IEEE Transactions on. - 2002. - Vol. 10, №1. -P. 76-89.
22. PHAT V.N., KNOGTHAM Y., RATCHAGIT K. LMI approach to exponential stability of linear systems with interval time-varying delays // Linear Algebra and its Applications. - 2012. - Vol. 436, №1. - P. 243-251.
23. SKOGESTAD S., POSLETHWAITE I. Multivariable feedback control: analysis and design. - New York: Wiley, 2007. - 608 p.
24. TOH K., TODD M., tUtUncU R. SDPT3—a MATLAB software package for semidefinite programming, version 1.3 // Optimization methods and software. - 1999. - Vol. 11, №1-4. - P. 545-581.
25. TUTUNCU R., Toh K., Todd M. Solving semidefinite-quadratic-linear programs using SDPT3 // Mathematical programming. - 2003. - Vol. 95, №2. - P. 189-217.
26. ZHANG H., SHI I., MEHR A. S., HUANG H. Robust FIR equalization for time-varying communication channels with intermittent observations via an LMI approach // Signal Processing. - 2011. - Vol. 91, №7. - P. 1651-1658.
27. ZHANG B., ZHENG W.X., XU S. Passivity analysis and passive control of fuzzy systems with time-varying delays // Fuzzy Sets and Systems. - 2011. - Vol. 174, №1. - P. 83-98.
ANALYSIS PROBLEM SOLUTION WITH DISTURBANCE BOTH IN INPUT AND OUTPUT
Kirill Zheleznov, Institute of Control Sciences of RAS, Moscow, Ph.D. candidate ([email protected]).
Abstract: The conventional approach to disturbances suggests that input and output disturbances are independent. This assumption can lead to inaccurate estimation when input and output disturbances originates from a common source. New tracking problem solution method for linear systems with identical disturbance in both system's input and output is suggested. Our technique is based on semi-definite programming and scalar optimixation. Its higher effectiveness in comparison with conventional method is shown on example task from COMPleib.
Keywords: linear matrix inequalities, invariant ellipsoid techniques, tracking problem.
Статья представлена к публикации членом редакционной коллегии И. Б. Фуртатом.
Поступила в редакцию 09.02.2016. Дата опубликования 30.09.2016.
