=Paper= {{Paper |id=Vol-2064/paper38 |storemode=property |title= Алгоритмы робастного оптимального управления системой магнитной левитации (Robust optimal control algorithms for magnetic levitation plant) |pdfUrl=https://ceur-ws.org/Vol-2064/paper38.pdf |volume=Vol-2064 |authors=Margarita Sotnikova,Julia Gilyazova,Ekaterina Selitskaya }} == Алгоритмы робастного оптимального управления системой магнитной левитации (Robust optimal control algorithms for magnetic levitation plant) == https://ceur-ws.org/Vol-2064/paper38.pdf
УДК 519.71
                          Сотникова М.В., Гилязова Ю.А., Селицкая Е.А.
              Санкт-Петербургский государственный университет, г. Санкт-Петербург, Россия

       АЛГОРИТМЫ РОБАСТНОГО ОПТИМАЛЬНОГО УПРАВЛЕНИЯ СИСТЕМОЙ
                       МАГНИТНОЙ ЛЕВИТАЦИИ*
   Аннотация
        Исследованиям в области синтеза робастных законов управления уделяется существенное
        внимание в современной теории управления. Это определяется особой практической
        значимостью рассматриваемых здесь вопросов и необходимостью создания новых
        эффективных методов и алгоритмов робастного управления, базирующихся на
        современных возможностях цифровой вычислительной техники.
        Основной целью синтеза робастных законов управления является обеспечение некоторых
        желаемых робастных свойств замкнутой системы, таких как устойчивость и качество
        процессов управления, при всевозможных вариациях модели объекта в заданных допустимых
        пределах.
        В работе рассматриваются вопросы построения робастных законов управления для
        системы магнитной левитации. Эта система имеет неточную математическую модель в
        связи с существенно нелинейной динамикой и сложностью математического описания
        магнитного поля.
        Предлагаются два оптимизационных подхода к синтезу законов управления. Первый из них
        базируется на использовании прогнозирующих моделей, а второй является модификацией
        линейно-квадратичного оптимального синтеза с добавлением дополнительного
        частотного ограничения. Приводятся соответствующие вычислительные алгоритмы,
        обеспечивающие реализацию законов управления в режиме реального времени. Выполняется
        сравнение этих алгоритмов на тестовых примерах управления системой магнитной
        левитации.
   Ключевые слова
        Алгоритмы    управления;    робастность;    оптимизация;    магнитная                    левитация;
        прогнозирующая модель; реализация в режиме реального времени.
                          Sotnikova M.V., Gilyazova Yu.A., Selitskaya E.A.
                           Saint-Petersburg State University, Saint-Petersburg, Russia

     ROBUST OPTIMAL CONTROL ALGORITHMS FOR MAGNETIC LEVITATION PLANT
   Abstract
        Robust control design is one of the main branches of research activity in modern control theory. This
        is determined by special practical importance of the issues discussed here and the necessity to create
        new effective methods and algorithms for robust control design based on modern capabilities of
        digital computers.
        The main goal of robust control design is to provide some desired robust properties of the closed loop
        system, such as stability and quality of control processes, while the mathematical model can vary
        within given admissible limits.
        In the paper the problem of robust control design for magnetic levitation plant is considered. This
        system has an inaccurate mathematical model, because it has essentially nonlinear dynamics and very
        difficult approximate description of the magnetic field.

   * Труды II Международной научной конференции «Конвергентные когнитивно-

информационные технологии» (Convergent’2017), Москва, 24-26 ноября, 2017
   Proceedings of the II International scientific conference "Convergent cognitive information
technologies" (Convergent’2017), Moscow, Russia, November 24-26, 2017

                                                       325
       Two different optimization approaches for control design are proposed. The first of them is based on
       the use of predictive models and the second one is the modification of a linear-quadratic synthesis,
       where additional constraints in the frequency domain are introduced. The corresponding
       computational algorithms for real-time implementation of a control laws are given. These algorithms
       are compared by illustrative examples of magnetic levitation system control.
   Keywords
       Control algorithms; robust control; optimization; magnetic levitation; predictive model; real-time
       implementation.


Введение
   Исследованиям в области синтеза робастных законов управления уделяется существенное внимание
в современной теории управления. Это определяется особой практической значимостью
рассматриваемых здесь вопросов и необходимостью создания новых эффективных методов и алгоритмов
робастного управления, базирующихся на современных возможностях цифровой вычислительной
техники.
   В литературе принято различать два класса неопределенностей в модели объекта:
структурированного и неструктурированного типа [1]. В рамках первого варианта неопределенными
являются параметры математической модели объекта, а во втором случае неопределенность
порождается неизвестной немоделируемой динамикой. Отметим, что оба этих варианта повсеместно
встречаются на практике при построении математических моделей объектов управления.
   Основной целью синтеза робастных законов управления является обеспечение некоторых желаемых
робастных свойств замкнутой системы, таких как устойчивость и качество процессов управления, при
всевозможных вариациях модели объекта в заданных допустимых пределах. В настоящее время
разработано множество подходов к синтезу робастных законов управления, например, методы,
связанные с применением линейных матричных неравенств [2], теория структурированного
сингулярного числа μ [3], методы, основанные на теории H2 и H∞ [4] и другие. Данные подходы отличаются,
в частности, типом используемых математических моделей, оптимизируемыми функционалами качества,
возможностью применения к различным классам систем, а также сложностью соответствующих
вычислительных алгоритмов.
   В данной работе рассматриваются вопросы построения робастных законов управления для системы
магнитной левитации. Эта система имеет существенно нелинейную динамику и характеризуется
сложностью математического описания магнитного поля, действующего на подвешенный в воздухе
объект. Таким образом применение робастных алгоритмов управления для данного объекта является
наиболее целесообразным.
   Основу предлагаемого в работе подхода к синтезу закона управления составляют использование
прогнозирующей модели и оптимизация динамики замкнутой системы на конечном горизонте прогноза
с учетом имеющейся неопределенности параметрического типа. Отметим, что ранее в работе [5] был
предложен алгоритм прогнозирующего управления, обеспечивающий робастную устойчивость
замкнутой системы в линейном приближении. При этом особенностью предлагаемого в данной работе
подхода является обеспечение определенного робастного качества замкнутой системы. Для сравнения
рассматривается также вариант синтеза робастного закона управления, являющийся модификацией
линейно-квадратичного синтеза с добавлением дополнительного частотного ограничения. Приводятся
соотвестсвующие вычислительные алгоритмы для реализации разработанных законов управления в
режиме реального времени. Полученные результаты иллюстрируются примерами имитационного
моделирования в среде Matlab/Simulink.
Постановка задачи синтеза оптимального робастного стабилизирующего управления
   Рассмотрим математическую модель системы магнитной левитации [5]. Она представляет собой
стальной шарик, который находится в воздухе, и электромагнит. На шарик действуют две силы: Fg – сила
тяжести и Fm – сила притяжения электромагнита. Управляя напряжением, подаваемым на электромагнит,
требуется стабилизировать положение шарика в заданной точке, используя силу притяжения
электромагнита для уравновешивания силы тяжести.
   Запишем систему нелинейных дифференциальных уравнений, представляющих математическую
модель магнитной левитации. На основе законов электрических цепей и второго закона Ньютона, а также
с учетом приближенного выражения для силы притяжения электромагнита, получим уравнения:




                                                     326
                                                  1 K x2           R    1
                             x1  x2 , x 2  g   m 23 , x3   x3  u.                              (1)
                                                  2 Mx1            L    L

   Здесь x1  x  xb – расстояние от электромагнита до шарика, причем начало системы координат Oxy
расположено на поверхности электромагнита, а ось Ox направлена вертикально вниз; x3  I – сила тока
катушки электромагнита, u  V – напряжение, подаваемое на катушку, R – сопротивление катушки, L –
ее индуктивность, M – масса шарика, g – гравитационная постоянная, Km – магнитная постоянная.
Управляющим воздействием является напряжение u , а контролируемой переменной – смещение шарика
xb . Дополним систему (1) уравнениями измерений:

                                          y1  x1, y2  x3.                                              (2)

    Отметим, что уравнения (1), (2) лишь приближенно представляют динамику системы, поскольку
имеются существенные сложности в формализованном описании электромагнитного поля при наличии
дополнительных неучтенных воздействий с его стороны. При этом наибольшие трудности возникают в
моделировании поведения шарика вблизи поверхности электромагнита.
    Будем рассматривать динамику системы (1) в отклонениях от положения равновесия
 x10 ,0, x30    xb0 ,0, I 0  , где xb0 – положение шарика, соответствующее напряжению u  u0 . При этом
соответствующее значение силы тока I 0 найдем из соотношения: I 0  2 gM / K m xb0 . Введем переменные,
описывающие систему в отклонениях: x1  x1  x10 , x2  x2 , x3  x3  x30 , u  u  u0 и составим уравнения
линейного приближения
                                                2g        2g             R    1
                             x1  x2 ,   x2       x1     x3 , x3   x3  u ,                       (3)
                                                xb 0      I0             L    L

а также уравнения для измерений: y1  y1  y10 , y2  y2  y20 . Будем считать, что уравнения (3)
представляют собой номинальную линейную модель объекта управления.
   Для примера подставим в уравнения (3) физические параметры конкретного устройства Quanser
MAGLEV [6]: L =0.4125 H, R =11 Ом, Km =6.5308Е-005 Н м2 / A2 , M =0.068 кг. Рассмотрим положение
равновесия системы для смещения шарика xb0  0.006 м и найдём соответствующие собственные числа
матрицы разомкнутой системы (3): 1  57.18 , 2  57.18 , 3  26.67 . Одно из них является
положительным, что свидетельствует о неустойчивости нулевого положения равновесия.
   На основе системы (3) запишем уравнения модели в tf-форме от входа u к выходу y   y1 y 2 T :

                                                     y  Pn ( p)u ,                                      (4)

где Pn ( p) – передаточная матрица номинальной модели, p – оператор дифференцирования. Ограничим
область неопределенности номинальных моделей (3) и (4), варьируя значение коэффициента a21
непрерывной модели (3) в пределах 20% от номинального значения a21
                                                                 0
                                                                     2 g xb 0 , то есть будем считать,
что a21  [0.8a21
               0       0
                  ,1.2a21 ] . Данное предположение основано на том, что при изменении положения
равновесия шарика, а также с учетом неточностей описания магнитного поля, линейные модели (3)
отличаются главным образом значением коэффициента a21 .
   Цель управления состоит в том, чтобы стабилизировать положение шарика в заданной точке, то есть
обеспечить выполнение равенства:
                                                     lim x1 (t )  0 .                                  (5)
                                                     t 

   Качество процессов управления будем определять следующим квадратичным функционалом,
заданным на движениях замкнутой системы (3)
                                                    

                                                     
                                             J (u )  (x T Qx  ru 2 )dt .                              (6)
                                                     0



                                                         327
   Здесь x  ( x1 x2 x3 ) T – вектор состояния системы (3), Q – положительно полуопределенная
весовая матрица, а r  0 – заданное вещественное число.
   Ставится задача синтеза закона управления, обеспечивающего достижение цели управления (5) для
объекта, представленного уравнениями (3), с минимизацией заданного функционала качества (6) с
учётом неточности задания математической модели объекта. При этом неточность модели определяется
отмеченной выше возможностью вариации коэффициента a21 модели (3) в заданных допустимых
пределах. Аналогично формулируется задача синтеза для дискретной модели объекта и квадратичного
функционала.
   Далее в статье рассматриваются два различных подхода к решению поставленной задачи. Первый из
них основан на использовании прогнозирующих моделей, а второй является модификацией линейно-
квадратичного синтеза с введением дополнительного частотного ограничения.
Синтез робастных законов управления с использованием прогнозирующих моделей
   В основе предлагаемого подхода лежит идеология управления с прогнозом (Model Predictive Control,
MPC), представленная, например, в работах [7], [8].
   Для пояснения основной идеи подхода введем линейную прогнозирующую модель общего вида,
представляя ее следующей системой разностных уравнений
                             xˆ i  1  Axˆ i   Buˆ i , i  k  j, j  0,1,2,..., xˆ k   ~
                                                                                                   xk ,
                                                                                                          (7)
                             yˆ i   Cxˆ i .
   Здесь x̂  E n , û  E m и ŷ  E l – векторы состояния, управления и измерения соответственно, A , B и
C – постоянные матрицы соответствующих размерностей. Прогнозирующая модель (7) обычно
формируется на основе имеющейся линейной математической модели объекта управления и позволяет
приближенно спрогнозировать его динамику на определенный конечный интервал времени вперед,
называемый горизонтом прогноза. Заметим, что начальные условия для прогнозирующей модели
совпадают с текущим состоянием ~          xk  объекта, достигнутом на k-ом такте его функционирования.
   Будем считать, что целью управления является стабилизация нулевого положения равновесия
замкнутой системы. Для характеристики качества процессов стабилизации введем квадратичный
функционал, рассматриваемый на горизонте прогноза P :
                                                       P
                           J k  J k ({xˆ },{uˆ })    xˆ[k  j] R
                                                       j 1
                                                                 T           ˆ          ˆ           T        ˆ
                                                                       k  j x[k  j ] u[k  j  1] Q k  j u[k  j  1]   .   (8)


   Здесь R k  j и Q k  j – положительно определенные симметрические матрицы для любого дискретного
момента j  1,...,P . Нетрудно показать, что задача минимизации функционала (8) сводится к задаче
квадратичного программирования [8] следующего вида
                                                  J k (u )  u T Hu  2f T u  g  min mP ,                                      (9)
                                                                                   u E


где u  (uˆ [k ], uˆ [k  1],...,uˆ [k  P  1]) T  E mP – вспомогательный вектор, обозначающий программную
последовательность векторов управления на горизонте прогноза; матрица H и вектор f определяются
матрицами A, B, C прогнозирующей модели и весовыми матрицами R k  j и Q k  j функционала (8);
  E mP – допустимое множество, образованное системой ограничений на контролируемые и
управляющие переменные.
    Известная классическая схема реализации управления с прогнозом состоит из следующих действий:
    1) Осуществляется измерение вектора ~             y[k ] и восстанавливается текущее состояние ~x[k ] объекта с
помощью асимптотического наблюдателя.
    2) Решается задача квадратичного программирования (9) для прогнозирующей модели (7) с
начальным условием xˆ [k ]  ~          x[k ] .
    3) Из найденной в результате решения задачи (9) оптимальной последовательности
ˆu*[k ], uˆ *[k  1],...,uˆ *[k  P  1] используется только первый вектор uˆ *[k ] в качестве управления на
следующем такте (с момента времени k  1 до момента k  2 ).
   4) Для следующего такта, начиная с момента времени k  1 , все операции, указанные в пунктах 1–3,
повторяются заново.


                                                              328
   Заметим, что при отсутствии ограничений задача (9) имеет аналитическое решение [8]:

                                                          u  u*  Kxˆ[k ] .                                    (10)

   Здесь матрица K не зависит от номера такта и однозначно вычисляется для заданных матриц
прогнозирующей модели (7) и весовых матриц функционала (8). Однако, в соответствии со стратегией
управления с прогнозом, из последовательности uˆ *[k ], uˆ *[k  1],...,uˆ *[k  P  1] используется только
первый элемент на следующем такте k  1 . Этот элемент определяется как

                                                           uˆ *[k ]  Kxˆ [k ] ,                                (11)

где K – первые m строк матрицы K . Поскольку матрица K не зависит от номера такта, ее достаточно
вычислить один раз вне контура управления, что в данном случае значительно упрощает его реализацию.
   Важно отметить, что качество процессов управления замкнутой MPC-регулятором системы
существенно зависит от точности прогноза, а следовательно, от адекватности представления
прогнозирующей моделью реальной динамики системы. В некоторой степени неточность модели
компенсируется пересчетом оптимального программного управления на горизонте прогноза для каждого
такта, то есть адаптацией к фактическому состоянию объекта и текущим условиям функционирования.
Тем не менее, качество процессов управления может быть улучшено, если в процессе оптимизации
учитывать неопределенность математической модели объекта.
   Будем считать, что часть коэффициентов матриц математической модели (7) задана неточно и
принадлежит некоторому диапазону. Модифицируем приведенную выше схему управления с прогнозом.
Для этого введем следующий функционал
                                             J k ( u )  max s u T H (θ) u  2f (θ)T u  g ,                    (12)
                                                         θ   E


где θ  E s – вектор, в который объединены все коэффициенты матриц A и B модели (7), заданные
неточно, а  – допустимое множество вариации указанных коэффициентов. При этом множество 
определяется как декартово произведение диапазонов допустимых вариаций для каждого из
коэффициентов в отдельности. Отметим, что значение функционала (12) для фиксированного
программного управления u равно наибольшему значению квадратичной функции при всевозможных
вариациях параметров θ в пределах допустимого множества  , то есть соответствует наихудшей
возможной ситуации.
   Теперь, вместо задачи квадратичного программирования (9) будем рассматривать следующую
оптимизационную задачу о поиске робастного оптимального программного управления на горизонте
прогноза:
                                 min        J k (u )      min         max u T H (θ) u  2f (θ) T u  g (θ) .   (13)
                               u  E mP                u  E mP θ   E s

   В соответствии с идеологией прогнозирующего управления задача оптимизации (13) должна
решаться достаточно быстро в режиме реального времени. В связи с этим с целью экономии
вычислительных ресурсов вместо точного ее решения сформируем алгоритм поиска приближенного
решения. Предлагаемый алгоритм состоит из следующих действий, которые выполняются на каждом
такте функционирования системы:
   1) в качестве начального приближения u0 на текущем такте k принимается оптимальное
программное управление, найденное на предыдущем такте;
   2) вместо допустимого множества  рассматривается конечная сетка, узлы которой принадлежат
данному множеству, и вычисляется значение функционала J k (u0 ) по формуле (12). При этом вместо
решения задачи максимизации осуществляется перебор конечного числа вариантов, среди которых
выбирается тот, для которого квадратичная функция принимает наибольшее значение;
   3) на i -ой итерации вычисляется следующее приближение ui 1 на основе предыдущей точки ui в
соответствии с выбранным методом нелинейного программирования; отметим, что для этого, как
правило, требуется вычислить значение целевой функции еще в нескольких точках;
   4) вычисляется значение минимизируемого функционала J k (ui 1 ) в точке ui 1 , номер итерации
увеличивается на единицу и осуществляется переход к пункту 3;
   5) вычисления продолжаются до тех пор, пока не будет выполнен один из критериев остановки


                                                                 329
численного метода оптимизации.
   Рассмотрим применение изложенного подхода к управлению системой магнитной левитации. Как
было отмечено ранее, неточность математической модели (3) определяется коэффициентом a21 ,
который может варьироваться в пределах a21  a21  min   max
                                                      ,a21                          
                                                            . Сформируем на основе модели (3)
прогнозирующую модель (7), используя один из методов дискретизации. Тогда компоненты матриц A и
B полученной модели будут зависеть от коэффициента a21 , а задача оптимизации (13) примет
следующую форму:
                             min J k ( u )  minmP        max                u T H (a 21 ) u  2f (a 21 ) T u  g (a 21 ) .   (14)
                            uE mP          uE           
                                                     a 21 a21
                                                            min    max
                                                                , a21    
   Отметим, что допустимое множество  в данном случае совпадает с пространством E mP , так как на
управление не накладывается никаких дополнительных ограничений.
   В соответствии с приведенным выше алгоритмом решения задачи (13) разобьем отрезок

                                                  a max  a21
                                                             min
a21  a21
       min    max
           , a21  на N равных частей, так что a21  21          . В результате получим конечную сетку с
                                                          N
фиксированным шагом a21 . Вычислим значение функционала J k (u) для заданного программного
управления u . Для этого в каждом узле построенной сетки найдем значение квадратичной функции и
выберем максимальное из них по параметру a21 . Далее, используя один из известных численных методов
безусловной оптимизации, определим такой вектор u * , при котором достигается минимум функционала
J k (u) .
    В качестве итоге, запишем алгоритм формирования робастного оптимального управления на основе
MPC-подхода. Алгоритм состоит из следующих действий.
    1. Задать начальный вектор u0 .
    2. Вычислить значение функционала J k (u0 ) , используя конечный перебор на построенной сетке.
   3. На i -ой итерации вычислить следующее приближение ui 1 на основе предыдущей точки ui в
соответствии с выбранным методом безусловной оптимизации.
   4. Вычислить значение минимизируемого функционала J k (ui 1 ) в точке ui 1 , номер итерации
увеличить на единицу и перейти к пункту 3.
   5. Продолжать вычисления до тех пор, пока не будет выполнен один из критериев остановки
численного метода оптимизации.
Синтез робастных законов управления на основе частотного подхода
  Рассмотрим вопрос построения робастного закона управления на основе частотного подхода и
линейно-квадратичной оптимизации.
  Для начала запишем линейную математическую модель магнитной левитации в матричной форме:

                                               x  A n x  B n u ,
                                                                                                                              (15)
                                               y  C n x.

   Здесь A n , B n и C n – матрицы номинальной модели (3). Так как измеряется неполный вектор
состояния, сформируем асимптотический наблюдатель следующего вида
                                          z  A n z  B nu  G(y  Cn z) ,                                                   (16)

где z  E 3 – вектор состояния наблюдателя, а G – матрица коэффициентов, которая выбирается из
условия гурвицевости характеристического полинома наблюдателя. В частности, это может быть сделано
с использованием модального синтеза.
   Далее, выполним синтез линейно-квадратичного регулятора (LQR-регулятора) для модели (15) и
функционала (6). В результате получим базовый стабилизирующий закон управления u  Kx . Отметим,
что его практическая реализация осуществляется с использованием выхода асимптотического
наблюдателя, то есть в соответствии с равенством
                                                              u  Kz .                                                        (17)
   Применим преобразование Лапласа к системе (16) при нулевых начальных условиях и выразим
значение z . В результате получим


                                                              330
                                                                                  y 
                                                z  F1 ( s)u  (F21 ( s) F22 ( s)) 1  ,                         (18)
                                                                                   y2 

где F1 (s)  sE  A n  GCn 1 B n , F2 ( s)   sE  A n  GCn 1 G , а F21 (s) и F22 (s) – первый и второй столбцы
матрицы F2 (s) соответственно. Обратимся теперь к уравнению (4), представляющему математическую
модель магнитной левитации в tf-форме, и запишем его в следующем виде:
                                                   y1  Pn1 (s)u , y2  Pn2 (s)u .                                (19)

   Тогда, подставив (18) и (19) в уравнение (17) и, разрешив его относительно u , получим
                                                           u  K (s) y1 ,                                         (20)

                      KF21 ( s)
где K ( s)                                     . Таким образом, в результате проведенных преобразований показано,
          1  KF1 ( s )  KF22 ( s ) Pn 2 ( s )
что динамический регулятор (16), (17) может быть представлен в эквивалентной форме (20).
   Рассмотрим вопрос робастной устойчивости, то есть построения предельно допустимых границ
изменения модели объекта, которые не приводят к потере устойчивости замкнутой регулятором (20)
системы. Для этого воспользуемся частотным подходом, подробно изложенным в работе [1]. Согласно [1],
достаточным условием сохранения устойчивости является выполнение следующего неравенства:
                                            P1 ( j)  Pn1 ( j)      1
                               0 ( j)                                  ,    , ,                      (21)
                                                  Pn1 ( j)        T ( j)

где P1 ( s) – передаточная функция возмущенного объекта, Pn1 (s) – номинальная передаточная функция,
  0 (s) – относительное возмущение модели, а передаточная функция T ( s)  K ( s)(1  Pn ( s) K ( s)) 1 Pn ( s). При
этом отношение 1 T ( j) в правой части рассматриваемого неравенства задает частотную границу
робастной устойчивости, которая определяет допустимый "коридор" вариации амплитудно-частотной
характеристики (АЧХ) A()  P1 ( j) возмущённой модели объекта. Если функция A() находится в
пределах указанного частотного "коридора", то гарантируется сохранение устойчивости замкнутой
системы с возмущенной моделью объекта для регулятора (20).
     Важно отметить, что ширину частотного "коридора" можно варьировать с помощью изменения
коэффициентов весовой матрицы Q и числа r в функционале (6), а также полюсов асимптотического
наблюдателя (16), которые выбираются с учётом того, что вариации АЧХ возмущённой модели объекта
должны лежать в пределах границ робастной устойчивости.
     В итоге, сформируем следующий алгоритм синтеза робастного закона управления, который основан
на использовании частотного подхода и является модификацией линейно-квадратичного синтеза.
Алгоритм состоит из следующих действий.
     1) Вычислить матрицу K LQR-регулятора для номинальной математической модели (15) и
функционала (6).
     2) Задать вектор p желаемых корней характеристического полинома асимптотического наблюдателя
(16) и вычислить соответствующую матрицу G коэффициентов при невязках.
     3) Вычислить передаточную функцию K (s) динамического регулятора (20) и соответствующую
передаточную функцию T ( s)  K ( s)(1  Pn ( s) K ( s)) 1 Pn ( s).
   4) Построить частотную границу робастной устойчивости, обеспечиваемую регулятором K (s) .
   5) Если полученный частотный "коридор" включает АЧХ возмущенных моделей объекта при вариации
параметра a21 в диапазоне [a21min    max
                                  , a21  ] , то полученный регулятор вида (20) принимается в качестве
решения поставленной задачи. В противном случае необходимо изменить вектор p желаемых корней
наблюдателя, либо весовые матрицу Q и множитель r функционала (6), и перейти к п. 1.
   Таким образом, необходимо выбирать настраиваемые элементы p , Q и r таким образом, чтобы, во-
первых, АЧХ возмущенного объекта при любых вариациях параметра a21 находилась в пределах границ
робастной устойчивости, а во-вторых, обеспечивалось необходимое качество переходного процесса.
Примеры имитационного моделирования
   Рассмотрим примеры имитационного моделирования процессов управления системой магнитной


                                                             331
левитации. Зададим следующие параметры алгоритма управления с прогнозом: период дискретизации
Ts  0.002 c, горизонт прогноза P  100 , весовая матрица Q  I33 , весовой множитель   1 . При
реализации MPC-регулятора будем также использовать дискретный вариант асимптотического
наблюдателя.
   Далее, выберем параметры робастного алгоритма управления, построенного на основе LQR-
регулятора: весовая матрица Q  diag([10,10,200]) , весовой множитель   0.01 , корни
характеристического полинома наблюдателя p  (5,  180,  200) T . Важно отметить, что такой выбор
параметров обеспечивает робастную устойчивость замкнутой регулятором системы при вариации
коэффициента a21 в пределах 20% от номинального значения. Это продемонстрировано на рис. 1, где
границы робастной устойчивости обозначены пунктирной линией, а также приведены АЧХ номинальной
модели и возмущенных моделей объекта, соответствующих значениям коэффициента a21  0.8a21       0
                                                                                                  и
a21  1.2a21
          0
             .
   В качестве начальных условий для проведения моделирования примем вектор x 0  (0.002, 0, 0.286) T .
На рис. 2 представлены графики переходных процессов по смещению шарика x1  xb при номинальном
значении коэффициента a21 . Как видно из рисунка, при выбранных параметрах алгоритмов управления
время переходного процесса для LQR-регулятора меньше, чем для MPC-регулятора. Однако
энергетические затраты в первом случае выше, чем во втором, и при введении дополнительных
ограничений на величину управляющего сигнал качество процессов для LQR-регулятора может
ухудшиться. Отметим также, что в отличие от MPC-регулятора в рамках частотного подхода обеспечение
желаемых границ робастной устойчивости приводит к тому, что полюса динамического регулятора (20)
смещаются влево от мнимой оси так, чтобы обеспечить достаточно большой запас устойчивости. В
частности, смещаются полюса асимптотического наблюдателя, что делает его более чувствительным к
влиянию шума измерений.




                   Рис. 1. Границы робастной устойчивости и АЧХ номинальной и возмущенных моделей




                 Рис. 2. Переходные процессы по смещению шарика x1  xb при номинальном значении a21



                                                        332
   На рис. 3 представлены графики переходных процессов по смещению шарика x1  xb при значении
значении коэффициента a21  1.2a21
                                0
                                   .




                 Рис. 3. Переходные процессы по смещению шарика x1  xb для значения a21  1.2a21
                                                                                               0


   Из рисунка видно, что здесь качество процессов для MPC-регулятора несколько лучше, чем для LQR-
регулятора. В целом оба приведенных алгоритма позволяют обеспечить желаемое качество процессов
управления системой магнитной левитации с учетом неточностей ее математической модели. При этом
MPC-регулятор показывает лучшие результаты при наличии шума в измерениях и дополнительных
ограничениях на управляющие и контролируемые переменные.
Заключение
   В работе предложены два различных оптимизационных подхода к синтезу робастных законов
управления. Выполнен их сравнительный анализ на примерах имитационного моделирования для
системы магнитной левитации. Важно отметить, что разработанные алгоритмы могут быть
использованы для управления подвижными объектами различных классов. В частности, подход,
основанный на прогнозирующих моделях, может быть применен в задачах с ограничениями на
управляющие и контролируемые переменные, а также для нелинейных моделей объектов управления.
Благодарности
   Работа поддержана Грантом РФФИ № 17-07-00361a.
                                                          Литература
   1.   Веремей Е. И. Линейные системы с обратной связью: учебное пособие. – СПб.: Издательство «Лань», 2013. – 448 с.
   2.   Boyd S., Ghaoui E., Feron E., Balakrishnan V. Linear matrix inequalities in systems and control theory. – Philadelphia: Society for
        Industrial and Applied Mathematics, 1994. – 193 p.
   3.   Doyle J. C. Analysis of feedback systems with structured uncertainties // IEE Proc. Pt. D: Control theory and applications. — 1982.
        — Vol. 129, no. 6. — P. 242–250.
   4.   Kwakernaak H. H2-optimization – Theory and applications to robust control design // Annual Reviews in Control. – 2002. – Vol. 26,
        Issue 1. – P. 45-56.
   5.   Сотникова М.В. Синтез робастных алгоритмов управления с прогнозирующими моделями // Системы управления и
        информационные технологии. – Т. 50, № 4. – 2012. – С. 99-102.
   6.   MAGLEV: Magnetic Levitation Plant. User Manual. – Quanser Inc. – Ontario, Canada, 2006. – 18 p.
   7.   Camacho E. F., C. Bordons. Model Predictive Control. – 2nd ed. – London: Springer-Verlag, 2004. – 405 p.
   8.   Веремей Е.И., Сотникова М.В. Управление с прогнозирующими моделями. Учебное пособие. – Воронеж: ООО "Издательство
        "Научная книга", 2016. – 214 c.

                                                           References
   1.   Veremey E.I. Lineynye sistemy s obratnoi svyaz'yu: uchebnoe posobie. – SPb.: Izdatel'stvo «Lan'», 2013. – 448 s.
   2.   Boyd S., Ghaoui E., Feron E., Balakrishnan V. Linear matrix inequalities in systems and control theory. – Philadelphia: Society for
        Industrial and Applied Mathematics, 1994. – 193 p.
   3.   Doyle J. C. Analysis of feedback systems with structured uncertainties // IEE Proc. Pt. D: Control theory and applications. — 1982.
        — Vol. 129, no. 6. — P. 242–250.
   4.   Kwakernaak H. H2-optimization – Theory and applications to robust control design // Annual Reviews in Control. – 2002. – Vol. 26,
        Issue 1. – P. 45-56.
   5.   Sotnikova M.V. Synthez robustnyh algoritmov upravleniya s prognoziruyuschimy modelyamy // Sistemy upravleniya i
        informatsionnye tekhnologii. – Vol. 50, № 4. – 2012. — S. 99-102.
   6.   MAGLEV: Magnetic Levitation Plant. User Manual. – Quanser Inc. – Ontario, Canada, 2006. – 18 p.
   7.   Camacho E. F., C. Bordons. Model Predictive Control. – 2nd ed. – London: Springer-Verlag, 2004. – 405 p.


                                                                 333
   8.   Veremey E.I., Sotnikova M.V. Upravlenie s prognoziruyuschimy modelyamy. Uchebnoe posobie. – Voronezh: Izdatel'stvo "Nauchnaya
        kniga", 2016. – 214 s.

Об авторах:
Сотникова Маргарита Викторовна, доктор физико-математических наук, доцент кафедры
        компьютерных технологий и систем, Санкт-Петербургский государственный университет,
        m.sotnikova@spbu.ru
Гилязова Юлия Андреевна, бакалавр, кафедра компьютерных технологий и систем, Санкт-
        Петербургский государственный университет, ug114@bk.ru
Селицкая Екатерина Александровна, ассистент кафедры механики управляемого движения, Санкт-
        Петербургский государственный университет, velikova_e@mail.ru

Note on the authors:
Sotnikova Margarita V., Doctor of Physical and Mathematical Sciences, Associate Professor of Department of
         Computer Applications and Systems, Saint-Petersburg State University, m.sotnikova@spbu.ru
Gilyazova Julia A., bachelor, Department of Computer Applications and Systems, Saint-Petersburg State
         University, ug114@bk.ru
Selitskaya Ekaterina A., Assistant of Department of Mechanics of Controlled Motion, Saint-Petersburg State
         University, velikova_e@mail.ru




                                                               334