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

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

CC BY
330
75
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СТАБИЛИЗАЦИЯ / УПРАВЛЕНИЕ / ЛИНЕЙНЫЕ МАТРИЧНЫЕ НЕРАВЕНСТВА / STABILIZATION / CONTROL / LINEAR MATRIX INEQUALITIES

Аннотация научной статьи по математике, автор научной работы — Федюков Александр Анатольевич

Рассматривается задача стабилизации динамического объекта с помощью регулятора по измеряемому выходу. Показано, что решение задачи в случае поиска регулятора пониженного порядка сводится к поиску двух взаимно-обратных матриц, удовлетворяющих матричным неравенствам. Предложен алгоритм поиска этих матриц и показаны условия его сходимости. Построена модель двузвенного перевернутого маятника и решены задачи стабилизации по измеряемому выходу полного и пониженного порядков.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

OUTPUT FEEDBACK STABILIZATION OF A TWO-ELEMENT INVERTED PENDULUM

The output feedback stabilization problem for a dynamic object is considered. It is shown that the solution of the problem in the case of a reduced-order controller is reduced to the search of two mutually inverse matrices satisfying matrix inequalities. A search algorithm for these matrices is proposed and its convergence conditions are shown. A model for a two-element inverted pendulum has been constructed and its output feedback stabilization problems for full and reduced order controllers have been solved.

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

Математическое моделирование. Оптимальное управление Вестник Нижегородского университета им. Н.И. Лобачевского, 2012, № 2 (1), с. 177-183

УДК 681.51+519.711

СТАБИЛИЗАЦИЯ ПО ИЗМЕРЯЕМОМУ ВЫХОДУ ДВУЗВЕННОГО ПЕРЕВЕРНУТОГО МАЯТНИКА

© 2012 г. А.А. Федюков

Нижегородский госуниверситет им. Н.И. Лобачевского

Т eleginSasha@yandex.ru

Пчступело в редокцею 02.11.2011

Рассматривается задача стабилизации динамического объекта с помощью регулятора по измеряемому выходу. Показано, что решение задачи в случае поиска регулятора пониженного порядка сводится к поиску двух взаимно-обратных матриц, удовлетворяющих матричным неравенствам. Предложен алгоритм поиска этих матриц и показаны условия его сходимости. Построена модель двузвенного перевернутого маятника и решены задачи стабилизации по измеряемому выходу полного и пониженного порядков.

Ключевые слова: стабилизация, управление, линейные матричные неравенства.

Введение

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

1. Математическая модель двузвенного перевернутого маятника

Рассмотрим плоский двузвенный перевернутый маятник, изображенный на рис. 1, со звеньями, имеющими одинаковую длину I, и с равными массами т на концах звеньев. Углы отклонения звеньев маятника от вертикали обозначим фі и ф2, а горизонтальное смещение точки опоры в плоскости качания маятника - U.

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

Обозначим / П/ координату 7-й массы маятника. Непосредственно из рис. 1 находим, что

^ = U -1 sin Ф1, ^1 = l cos Ф1 ,

£2 = U -1 sin Ф1 -1 sin Ф2 , "Л2 = l cos Ф1 + l cos Ф2 . Тогда кинетическая T и потенциальная V энергии маятника будут иметь следующий вид:

T =—[(U-ср1/cosф1)2 + (ср1/sinp^2 + (U-ср1/ cosф1 -

-ф2/cosф2)2 + (Ф1/ si^ +Ф2/ sinp2)2],

V = mg/(2cosф1 + cosф2) .

Введем функцию Лагранжа L = T - V и за-

d dl dL

пишем уравнения Лагранжа--------------------= 0,

dt Эф i Эф(

(i = 1,2) для рассматриваемой системы. Ограничимся малыми углами ф1, ф2 и введем безразмер-

ное время t = л\— t. Получим уравнения:

2ф1 + ф 2 - 2ф1 - 2 ~Y = 0 ф1 + Ф 2 - ф 2 - “/" = 0 •

Отсюда

UCC

Ср1 = 2Ф1 -ф2 + у , Ф2 =“2Ф1 + 2Ф2

или в каноническом виде управляемой линейной системы

Рис. 1

время

Рис. 2

время

Рис. 3

х = Ах + Ви .

(1)

где

' 0 0 1 0^

ф2 и 0 0 0 1 0

х = , и =—, А = , В =

ф 1 1 2 -1 0 0 1

чф 2 ) V- 2 2 0 0, V0,

Для системы (1) решим следующую задачу управления.

2. Постановка и решение задачи стабилизации по состоянию

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

и = 0х, (2)

где и е Rm - управление, 0 - матрица параметров регулятора соответствующего порядка, при котором состояние х = 0 замкнутой системы (1),

(2) является асимптотически устойчивым по Ляпунову.

Известно, что при выборе управления в виде и = а1ф1 + Ъхф 1 + а2ф2 + Ъ2ф 2 (3)

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

А,4 - Ъ1Я,3 - (4 + а1 )А,2 + 2(Ъ1 + Ъ2)^ +

+ 2(1 + а1 + а2) = 0 имели отрицательные действительные части.

Известен [2] также критерий Рауса-Гурвица: для того, чтобы корни полинома

с0 хп + с1 хп-1 +... + сп = 0 имели отрицательные действительные части, нужно, чтобы с0 > 0 и для матрицы

0 с1 с3

0 с„ с,

все ее главные миноры были положительными

(А,- > 0).

В нашем случае эти условия будут иметь вид:

с1 > 0 , с1с2 - с0с3 > 0 ,

Сз(СіС2 - с0сз) - с4с2 > 0, с4 > 0, (4)

где

с0 = ^ с1 с2 =-(4 + al), с3 = 2(Ь1 + Ь2), с4 = 2(1 + а1 + а2).

Таким образом, получаем систему из 4 уравнений. Значения аі, Ьі, а2, Ь2, удовлетворяющие системе (4), позволяют построить управление (3), стабилизирующее двузвенный перевернутый маятник по состоянию.

Нетрудно видеть, что одним из возможных управлений является управление вида

и = —113ф1 - 13ф1 + 256ф2 + 38ф 2. (5)

На рис. 2 приведены графики углов отклонения ф1 и ф2 1-го (непрерывная линия) и 2-го (пунктир) звеньев двузвенного маятника (в радианах). Начальное отклонение звеньев маятника в радианах ф1 = 0.0052, ф2 = 0.0035. На рисунке 3 приведен полученный график управления (5).

На рис. 4 представлена блок-схема взаимодействия объекта, системы измерения и системы управления объектом. Измеренные значения ф1, ф2, ф 1, ф 2 поступают на систему управления, которая генерирует управление и по закону

(3) и подает его на объект.

с1 с3 с5

с0 С2 С4

Объект Система

-т - измерения

/ч П

С истина

управления Ф\. Фі

где

(6)

Рассмотрим управляемый объект

х = Ах + Ви ,

У = Сх,

где х е Rn - состояние системы, и е Rm - управ ление, у е Я - измеряемый выход системы.

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

\хг = Агхг + В^ и = Сгхг + Dry,

где хг е Я*" - состояние регулятора ^ < п), х,(0) = = 0, обеспечивающего асимптотическую устойчивость замкнутой системы (6), (7).

Представим уравнение замкнутой системы (6), (7) при k Ф 0 в виде

(А + BDC ВС Л

(8)

Ac =

BC

К Xr J

A0 =

Г A 0 ^ ОО

Во =

к1 0 J

Co =

ГО

C

Рис. 4

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

В задаче были доступны измерению оба угла отклонения звеньев маятника от вертикали ф1, ф2 и обе скорости отклонения ф1, ф2. Как быть в ситуации, когда мы не можем измерить все 4 величины? Можно ли, зная только ф1, стабилизировать двузвенный маятник?

3. Постановка и решение задачи стабилизации по выходу

(7)

Тогда условие разрешимости поставленной задачи сводится к существованию квадратичной функции Ляпунова V(x) = xT(t)Xx(t) с матрицей X = XT > 0, такой, что по любой траектории системы выполнено неравенство V(х) < 0 . Это условие эквивалентно следующему матричному неравенству:

ATCX + XAC < 0. (9)

Введя параметры регулятора

(A B Л

0 = C D , (10)

V Cr Dr У

представим матрицу замкнутой системы (8) в виде

Ат = A0 + Bn0Cn,

Здесь символ «I» обозначает единичную матрицу размера (k х k).

Тогда неравенство (9) можно переписать в виде матричного неравенства

A0TX + XA0 + C0TQTBT0X + XB00C0 <0. (11)

В этом неравенстве матрицы 0 и X неизвестны, поэтому оно не является линейным относительно совокупности переменных 0 и X. В настоящее время не существует алгоритмов решения таких матричных неравенств. Но в то же время известны алгоритмы для численного решения линейных матричных неравенств (например, с помощью пакета для инженерных расчетов MatLab). Если мы зафиксируем 0, то получим линейное матричное неравенство относительно X. Аналогично, фиксируя X, получим линейное матричное неравенство относительно неизвестных параметров регулятора 0.

Известно, что линейное матричное неравенство

V + PTQT + QT0P < 0, где у, P, Q - заданные матрицы, причем у -симметричная матрица размера (n х n), P и Q -прямоугольные матрицы порядков (l х n) и (k х n) соответственно, 0 - неизвестная прямоугольная матрица размера (k х l), разрешимо тогда и только тогда, когда

WpT yWP < 0, WTQ \\iWq < 0,

где столбцы матриц WP и Wq образуют базисы ядер матриц P и Q соответственно, т.е. PWP = 0 и QWq = 0.

Тогда, обозначив

у = A0TX + XA0 , P = C0 и Q = BT0X, получим, что разрешимость матричного неравенства (11) сводится к разрешимости системы линейных матричных неравенств относительно матриц X=XT > 0 и Y = YT > 0

Ll(X,Y) = WT (A0TX + XAo ) W < 0,

L2 (X, Y) = WTt (YAoT + Ao Y)W t < 0

(12)

в которых У = X 1 (т.е. таких, что ХУ = I), а столбцы матриц WC и ^ 7 образуют базисы

ядер матриц С0 и ВТ0 соответственно.

Если условия (12) выполнены и такие матрицы найдены, то параметры 0 искомого регулятора (10) находятся как решения линейного матричного неравенства (11) относительно переменной 0.

r У

где Хс =

Неравенства L1(X,Y) и L2(X,Y) являются линейными матричными неравенствами относительно матриц X и Y соответственно. Но есть еще одно условие на матрицы, а именно, Y = X -1, которое не является линейным и, соответственно, не позволяет легко решать эту задачу специальными программными средствами. Обозначим эту задачу поиска взаимно-обратных матриц X и Y, удовлетворяющих условию (12), как Задача 1.

Для ее решения сначала рассмотрим другую задачу.

Задача 2: найти

А,шт = шіп{я,: X - Y- <11, X = Хт > 0,

Y = Yт > 0, Ц (X, Y) < 0, і = 1,2, L3 (X, Y) < 0],

где , Y) =

Г- X і Л і -

Дополнительное линейное матричное неравенство Ь3(Х,У) < 0 в силу леммы Шура эквивалентно неравенствам X > 0 и X > УЛ Поэтому в случае, когда в Задаче 2 Хт1П = 0, соответствующие матрицы X > 0 и У > 0 являются также решением Задачи 1.

Для решения Задачи 2 требуется минимизировать линейную функцию при ограничениях, одно из которых

(13)

не является выпуклым и, следовательно, не может быть представлено в виде линейного матричного неравенства. Это обстоятельство вновь не позволяет решать Задачу 2 методами выпуклой оптимизации.

В связи с этим рассмотрим еще одну вспомогательную задачу.

Задача 3: найти ХШ1П = ш1п{?.: F(X,У,в1,G2) < Я1, X = Xт > 0,

У = Ут > 0, (X,У) < 0, , = 1,2, 1^X7) < 0},

где

F (X ,У, в1, в2) =

= X + У + 201 + Ю2 + 01У01 + С2 XG2,

Gi = Gт', , = 1,2, - некоторые заданные матрицы.

В Задаче 3 по сравнению с Задачей 2 вместо неравенства (13) стоит линейное матричное неравенство F(X, У, G1, G2) < И. Представим функцию F(X, У, G1, G2) в виде

F (X,У, G1, G2) = (G1 + У-‘)У (G1 + У-1) +

+ (G2 + X4)X^2 + Xч) + (X - У ч) + (У - Xч). Нетрудно видеть, что в силу неравенства X > У-1 функция F(X, У, G1, G2) > 0, и когда матрицы G1 = = - У-1, G2 = - ^' и величина ХШ1П = 0, то соответствующие решения X и У Задачи 3 являются и решением Задачи 2.

Тогда алгоритм поиска взаимно-обратных матриц можно представить следующим образом:

Алгоритм

Шаг 1) полагаем ; = 0.

Шаг 2) фиксируем матрицы G1 = G1(j) и G2 = G2;).

Шаг 3) решаем Задачу 3, например, с помощью команды штсх пакета Ма1ЬаЬ и находим Ау+1, X, У у.

Шаг 4) задаем = -У,-1 и в(2 ;+1) = -X;1.

Шаг 5) если разность между двумя итерациями |Х; - Х;-1| < е, где е - некоторое заданное значение, то взаимно-обратные матрицы X=X > > 0 и У = Ут > 0 найдены и Алгоритм останавливается. Иначе полагаем; =; + 1 и переходим на Шаг 2).

Сходимость алгоритма доказана ниже в Утверждении 1.

В случае поиска регулятора полного порядка, т.е. при п = k, поиск стабилизирующего регулятора может быть осуществлен следующим образом [3].

Матрицы X и У, входящие в линейные матричные неравенства (12), имеют размерность 2п, где п - размерность матрицы А. Очевидно, что чем выше размерность матриц, тем больше времени необходимо для поиска решения, тем больше будет погрешность вычислений. Поэтому прежде чем решать эти неравенства, проанализируем их. В соответствии с блочной структурой матрицы А0 представим матрицы X и У в блочном виде

(У У

111 -м

X =

Г X11

V X т

X12 Л

X,

Y =

а матрицы Ж т =

22 У

Ж т

Вт

0

Vі 12

(14)

‘22 У

Тогда неравенства (12) примут вид

WTтT УАт + А¥п^вт <0,

WT (АтX11 + XuА^с < 0. (15)

Здесь матрицы X11 и У11 размера (п х п)не являются взаимно-обратными, но являются блоками взаимно-обратных матриц. Известна форма Фробениуса для обращения блочной матрицы. Из нее следует, что при выполнении

неравенства У11 - Xn- = V > 0, которое по лемме Шура эквивалентно условию

Г X,, 1Л

1

> 0,

(16)

41 у

выбор соответствующих У12 и У22 может быть осуществлен следующим образом: У12 = У22 = V.

Таким образом, в случае п = k для поиска закона управления вида (7), который обеспечивает асимптотическую устойчивость замкнутой системы (6), (7), необходимо:

т

с

0

Таблица 1

Динамический регулятор Полюса замкнутой системы

( - 82.9655 287.3701 -146.5238 -253.0056 1 - 32.2399 119.1331 - 61.8659 -107.2983 0 = - 19.9244 78.0305 -41.6514 - 71.1643 V - 84.6103 287.6369 -146.3035 - 252.0946 ) - 1.6028 + 0.0622І - 0.6969 + 4.2621 і - 0.2815 + 0.7283І - 0.3216

Таблица 2

Динамический регулятор Полюса замкнутой системы

( 0.0023 -0.0046 -0.0068 1.1617 0.72721 -0.7954 + 2.3425І

0.0033 -0.0035 -0.0072 1.0172 -0.7390 -0.5554 + 1.9215І

0 = 103 -0.0005 0.0004 -0.0001 -0.2002 0.3886 -1.5804 -1.1193

-0.0001 0.0002 0.0000 -0.0046 0.3760 -0.2878

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

V -0.0000 0.0000 0.0000 -0.0010 -0.0021у -0.2397

Рис. 5

Рис. 6

1. Решить систему линейных матричных неравенств (15), (16) относительно матриц

Х11 = Х11г > 0 и 7П = 711г > 0 при заданном начальном состоянии х0.

2. Восстановить матрицу

(

Г —

Гіі - Х11 Г11 - Х11

1

3. Подставить эту матрицу в неравенство (11) и, решив линейное матричное неравенство относительно неизвестной матрицы 0, найти параметры регулятора (10).

4. Результаты численного эксперимента

Как было получено выше, математическая модель двузвенного маятника имеет вид (1), т.е. объект описывается уравнением

и.

Пусть мы можем измерять только угол отклонения ф1 нижнего звена маятника от вертикали. Тогда измеряемый выход системы (6) имеет вид:

( * ' ( 0 0 1 0 ^ (Х11 ( 01

х2 0 0 0 1 х2 0

— +

Х3 2 -1 0 0 Х3 1

V Х4 ) V- 2 2 0 0, V Х4 ) V 0 ,

У = *1.

Требуется синтезировать динамический регулятор третьего порядка.

Численное решение в Ма1ЬаЬ заняло 9 итераций. Начальное отклонение звеньев маятника в радианах ф1 = 0.0052, ф2 = 0.0035. В таблице 1 приведен полученный при этом динамический регулятор (10) и полюса замкнутой системы (8), определяющие качество переходного процесса.

На рис. 5 приведен полученный график управления (7). Рисунок 6 представляет собой графики углов отклонения ф1 и ф2 1-го (непрерывная линия) и 2-го (пунктир) звеньев двузвенного маятника (в радианах).

При поиске при тех же начальных условиях регулятора полного порядка (случай п = к) получен следующий динамический регулятор (10) и полюса замкнутой системы (8), определяющие качество переходного процесса (табл. 2).

На рисунке 7 приведен полученный график управления (7). Рисунок 8 представляет собой графики углов отклонения ф1 и ф2 1-го (непрерывная линия) и 2-го (пунктир) звеньев двузвенного маятника (в радианах).

11

Е-Р'Иця

Рис. 7

ерги*

Рис. 8

5. Заключение

В работе решена задача стабилизации двузвенного перевернутого маятника при наличии возможности измерения только угла отклонения нижнего звена. В процессе решения был предложен алгоритм решения Задачи 1.

Предложенный подход к синтезу закона управления обеспечивает стабилизацию механических систем, функционирующих в условиях неопределенности, и позволяет моделировать управление, например, в электрических схемах, без точного вычисления силы тока или в механических системах без точного вычисления скоростей. При построении управления по состоянию вида (3) необходимо знать ф1 и ф2. Датчики снимают показания в некоторые дискретные моменты времени, а численное нахождение производной несет в себе ошибки вычисления. Отсутствие же необходимости вычислять производную позволяет улучшить качество управления и дает систему управления без ошибок, порожденных ее неточным вычислением.

Утверждение 1. Для любых начальных матриц G1(0) и G20) числовая последовательность X/, генерируемая алгоритмом, является невозрастающей, и существуют следующие пределы: lim X = X , lim X = X , lim У; = У .

; * ; * *

Доказательство. Рассмотрим изменение спектрального радиуса матрицы F(X, У, G1, G2) по траектории алгоритма. Обозначим р = р^ (Xj,

I; , в^в^)).

Представим

Др = р ;+1 - р ; = р^ (Х;+1, У.+1, Gl(j+1), в2;+1)) -

-р^ (X,., Г, G1*), G2' >))

в виде

Др = ДР1 + Др 2 = [р^ (Х.+1, У.+1,+1), 02.+1))) --р^ (X., У., в.1', 02(.+1)))] +

+ [р^ (X., У., в.", 02.+1))) -

-р(F (X., Уj, в;), 02;)))].

Поскольку на (/ + 1)-й итерации X принимает минимальное значение при X = X/+1, У = Уj+1, то выражение в первых квадратных скобках неположительно в силу алгоритма.

Рассмотрим разность двух матриц, фигурирующих во вторых квадратных скобках. Используем то, что в. = -У.1, в1|'/+1) = -У.-1, 0<; = -X--,

02 ;+1) = - X;1. Сделаем следующие преобразования:

F (X., У;, о! .+1), 02( .+1)) - F (X., У., о!;), 02;)) =

= -У-1 + 2Уы - У-У У-1 - X-1 + 2 ^ -

-х- xjx;-l=-(у;1 -.у- (у;1 -/)-

-(X- ‘- x;-l) X- (X- ‘- x;-l) * °.

Поскольку из неравенства А - В < 0 следует, что р(А) < р(В), получаем, что Др < 0, т.е. что последовательность р. является невозрастающей.

Из неравенства L2(X,У) < 0 следует, что X > > У-1, следовательно, функция F(X, У, 0(, в2) > 0

и, следовательно, р. > 0.

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

Из Утверждения 1 следует, что при остановке алгоритма возможны две ситуации. В случае, когда X* = 0, X*!* = I и матрицы X*, У* являются решениями Задачи 1 . Во втором случае, когда X* > 0, нельзя сделать определенного

вывода о разрешимости Задачи 1. В этом случае целесообразно повторить алгоритм поиска взаимно-обратных матриц при других начальных условиях 0( = в1(0) и в2 = в20), как это обычно делают в задачах глобальной оптимизации.

Работа выполнена при финансовой поддержке РФФИ (коды проектов 10-01-00514, 11-01-00215 и 1101-97022 р-поволжье).

Список литературы

1. Неймарк Ю.И. Математические модели в естествознании и технике. Н. Новгород: Изд-во ННГУ, 2004. 401 с.

2. Неймарк Ю.И. Динамические системы и управляемые процессы. М.: Наука, 1978. 336 с.

3. Баландин Д.В., Коган М.М. Синтез законов управления на основе линейных матричных неравенств. М.: Физматлит, 2007. 280 с.

OUTPUT FEEDBACK STABILIZATION OF A TWO-ELEMENT INVERTED PENDULUM

A.A. Fedyukov

The output feedback stabilization problem for a dynamic object is considered. It is shown that the solution of the problem in the case of a reduced-order controller is reduced to the search of two mutually inverse matrices satisfying matrix inequalities. A search algorithm for these matrices is proposed and its convergence conditions are shown. A model for a two-element inverted pendulum has been constructed and its output feedback stabilization problems for full and reduced order controllers have been solved.

Keywords: stabilization, control, linear matrix inequalities.

i Надоели баннеры? Вы всегда можете отключить рекламу.