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

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

CC BY
158
45
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СТАБИЛИЗАЦИЯ / ОБРАТНАЯ СВЯЗЬ ПО ВЫХОДУ / ДИФФУЗИОННЫЕ СИСТЕМЫ / STABILIZATION / OUTPUT FEEDBACK / DIFFUSION SYSTEMS

Аннотация научной статьи по математике, автор научной работы — Жилина Татьяна Евгеньевна

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

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

We consider stochastic systems modeled by Ito differential equations with Markovian switching, and propose the parametric description (parametrization) of all static output feedback stabilizing controllers. This controllers provide exponential stability in the mean square of the closed-loop system. Using this parametrization we obtain sufficient conditions of stabilization, which allow to develop an LMI-based algorithm for gain matrixes computation of both static and a dynamic regulators. This algorithm is applied to the solution of a stabilization problem of the inverted pendulum on the moving platform under conditions of step-like mass change and random vibration of the platform.

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

УДК 681.5.011+681.5.013 ББК 22.18

СИНТЕЗ СТАБИЛИЗИРУЮЩЕГО УПРАВЛЕНИЯ В ДИФФУЗИОННЫХ СИСТЕМАХ С МАРКОВСКИМИ ПЕРЕКЛЮЧЕНИЯМИ1

Жилина Т. Е.2

(Арзамасский политехнический институт Нижегородского государственного технического университета им. Р.Е. Алексеева, Арзамас)

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

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

Введение

В современных задачах управления широкое распространение получили многорежимные системы, режимы которых описываются стохастическим дифференциальным уравнением Ито, а переходы между ними - цепью Маркова. В отечественной

1 Работа выполнена при финансовой поддержке РФФИ, гранты 10-08-00843, 11-01-97025.

2 Татьяна Евгеньевна Жилина, аспирантка (zhilina@apingtu.edu.ru).

литературе модели таких объектов известны под названием «системы случайной структуры» [1], в западной используются термины «диффузионные системы с марковскими переключениями (скачками)» или «системы с переключаемой диффузией» [14]. Примерами могут служить склонные к отказам сложные производственно-технологические и энергетические системы, системы управления подвижными объектами и т.п. [9, 14]. Диффузионные модели с марковскими переключениями широко используются также при описании экономических процессов и в финансовой математике, для моделирования уровня спроса или производительности оборудования при планировании производства, для отслеживания изменений рыночных курсов и процентных ставок [14].

Основы исследования систем случайной структуры были заложены в цикле статей [4]. Результаты дальнейших исследований подведены в монографиях [2, 9, 14]. Широко изучались также дискретные модели [5, 8].

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

В данной работе подход [10, 11] развивается для класса диффузионных систем с марковскими переключениями. Предлагается параметрическое описание всех линейных стабилизирующих управлений со статической обратной связью по выходу, обеспечивающих экспоненциальную устойчивость в среднем квадрати-ческом систем этого класса. На основе такой параметризации получены достаточные условия стабилизации, которые позволяют разработать алгоритм нахождения матриц усиления статического и динамического регулятора с применением линейных мат-

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

1. Постановка задачи

Рассмотрим линейную систему, описываемую уравнением Ито с марковскими переключениями

т

(1) йхг = [А(п)хг + В(п)щ\<И + ^Yl(rt)Al(rt)xtdwlt,

1=1

yt = С(п)х^ £ > 0,

где xt е И,га - вектор состояния; щ е Кт - вектор входных переменных; yt е И,к - вектор выходных переменных; A(rt),Al(rt)(l = 1,...,т) - матрицы размеров п х п; В(^) -матрица размеров п х т; rt - однородная марковская цепь с пространством состояний N = {1, 2,..., V} и матрицей интенсивно-стей переходов

Р(в) = [Р,(^)Ц = [РгоЬ{г(£ + в) = 3 | г(£) = г}]? = ехр(Пв),

0 < £ < £ + в, П = [пг,, щ, > 0, (г = 3), пгг = - , пг,; Wlt (I = 1,... ,т) - стандартный винеровский процесс, определенный на полном вероятностном пространстве (О, Т, Р) с естественной фильтрацией Т, порожденной процессом w до момента £ включительно; начальные условия х(0) = хо и г(0) = г0 -детерминированные; процессы wt и rt - независимы; 71 (г)(1 = 1,...,т) - положительные скаляры; С- матрица размера к х п имеющая полный ранг по строкам.

Далее для краткости будем обозначать ^ = ^(^), Аг = А(п), Вг = Е(п), Сг = С(rt), Ан = АДп), если rt = г, г е N.

Закон управления зададим в виде динамической обратной связи по выходу:

(2) хсЛ = Асгха + ВСгу^ если rt = г, г е N

щ = С^х^ + DCгУt, если rt = г, г е N,

где Хсь - вектор состояния динамического регулятора; Асг, Всг, С а, Дсг - матрицы соответствующих размеров.

Введем в рассмотрение расширенный вектор состояния и объединим уравнения (1), (2) в виде:

т

(3) йхг = [А Хг + ВшЩ + ^ тиАиХгй'Ши,

1=1

Уг = Схг, £ ^ 0, г е N

(4)

и = -Г*у4, г е М,

где хг = [хг, хсг], Аг, Вг, Сг, Г определены следующим образом:

(5)

А =

Аг 0 00

Вг =

Вг 0

0 I

Сг =

Сг 0 0 I

= -

д

В

Ссг А

сг Асг

Для расширенной системы регулятор является статическим.

Определение 1. Решение х = 0 системы (3) называется экспоненциально устойчивым в среднем квадратическом, если при любых начальных условиях в области хг е И,"", г г е N, 0 ^ ¿0 ^ г существуют такие постоянные В > 0, а > 0, что при всех г ^ ¿о выполнено неравенство

М [ II х(г) ||2| хо,го ] < В II Хо II2 е-а(г-Ч

Поставим задачу описать в параметрической форме все матрицы усиления в (4), при которых система (3) будет экспоненциально устойчива в среднем квадратическом (ЭУСК), и получить алгоритм вычисления матрицы усиления стабилизирующего регулятора Г.

2. Параметризация стабилизирующих матриц усиления

Следующая теорема дает необходимые и достаточные условия параметризации всех матриц усиления стабилизирующих управлений со статической обратной связью по выходу. Она является обобщением результатов [10, 11] на диффузионные системы с марковскими переключениями

Теорема 1. Матрица усиления обеспечивающая экспоненциальную устойчивость в среднем квадратическом системы (3) с управлением (4), существует тогда и только тогда, когда найдутся матрицы параметров Qi = ^ 0, Я = ЛТ > 0 и ^ такие, что

(6) ад = Я"1 [В Тр + и],

где матрицы Pi = РТ > 0 и ^ удовлетворяют системе квадратных матричных неравенств

N

(7) + РгАг - адЯ"1 В^Р + ^ Р, +

3 = 1

т

+ ^ 7нАцТPiAli + Qi + РТк^и < 0. 1=1

Доказательство. Необходимость. Пусть р - матрица усиления стабилизирующего управления. Тогда согласно [2] существует положительно определенное решение системы неравенств.

N

(А - Дад)Тд + рД а - Дра) + ^ Р, +

3=1

т

(8) + ^ РА < 0,

1=1

очевидно, при этом найдутся матрицы = ^ 0 и Лг = ЛТ > 0 (возможно, достаточно малые) такие, что

N

(9) (А - ВгГгСг)ТРг + Рг(Аг - ВгГгСг) + ^ Пг,Р. +

.7 = 1

т

+ Е ТРгАг + дг + (ГгСг)ТЛгГгСг < 0. 1=1

Элементарными преобразованиями из (9) получим

(10) АгТРг + РгАг + (ГгСг)ТЛг(ГгСг) - (ГгСг)ТВгТр -

т N

-РгВг(ГгСг) + ^ ^РА^ + ^ Р, + ф < 0. 1=1 7=1

Обозначим

(11) Кг = ГгСг - Я'^Р и перепишем (10) в следующем виде:

(12) АгТРг + РгАг - рВгЯ-1ВгТр + К^К +

т N

+ Е ^г2гАггТРА + ^ пг,Р. + ^г < 0.

1=1 7=1

Определим

(13) ^ = ЯгКг.

Учитывая (13) и (11), легко получим (6) и (7). Достаточность. Пусть существуют матрицы Рг = РгТ > 0 и Гг, удовлетворяющие (6) и (7). Тогда матрицы £г и Кг определяются по формулам (11) и (13). Из (7) с учетом (6) последовательно

получим

т N

0 > АТр + РА - РРЯ"^TPi + ^ 72АнТрАн + ^ п,Р, +

1=1 3=1

+Qi + РТЯ"^ = (А - РР^)ТPi + Pi(Ai - ррС) +

т N

+ ^ Т^/рА^ + ^ п, Р, + Qi + (Р^)ТРР l=l 3=1

Из этого неравенства следует, что р - матрица усиления стабилизирующего управления.

Смысл сформулированной теоремы состоит в следующем. Теоретически матрицы р, Pi (стабилизирующую пару) можно было бы найти, решая систему билинейных матричных неравенств (8), но эти неравенства являются невыпуклыми и эффективные методы их решения неизвестны. Условия, заданные формулами (6) и (7), также являются невыпуклыми, но для них можно предложить эффективную выпуклую аппроксимацию в виде линейных матричных неравенств. Кроме того эти условия содержат свободные параметры в виде матриц Qi и р, которые по смыслу аналогичны весовым матрицам в задаче о линейно-квадратичном регуляторе, что дает дополнительные возможности выбора при проектировании.

3. Выпуклые достаточные условия и алгоритм вычисления матрицы усиления

Предположим, что для некоторого скаляра ^ > 0 и матриц параметров Qi, р и Р справедливо следующее неравенство

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

(14)

^¿^ рТ Р Я

и Рг = РгТ > 0 является решением обобщенных уравнений Рик-кати

N

(15) АгТРг + РА - РгБгЯ"1 ^Р + ^ Пг,Р, +

7=1

т

+ ^ ^Л^РА + (1 + = 0. 1=1

Тогда, учитывая (7), имеем

т N

АТР + РА - РгБгК-г1БгТРг + ^ 7г2гАггТРгАгг + ^ П,Р, +

1=1 7=1

+дг + < АгТРг + РА - Р^Д"1^Р +

т N

(16) + ^ + ^ Р, + (1 + = 0.

1=1 7=1

Далее, в соответствии с [13], необходимым и достаточным условием разрешимости уравнения (6) является выполнение равенства

(17) [БгТРг + £*](/ - С+С) = 0,

где Сг+ - псевдообращение по Муру-Пенроузу. При этом единственное решение (6) определится по формуле:

(18) Рг = Д"1[БгТРг + ¿г]Сг+. Таким образом, имеем следующее утверждение. Следствие 1. Пусть для некоторого скаляра > 0 и матриц параметров = ^ 0, Дг = ДТ > 0 система уравнений Риккати (15) имеет положительно определенное решение Рг = РгТ, удовлетворяющее (14), (17) для некоторой матрицы Ьг. Тогда закон управления (4) с матрицей усиления (18) обеспечивает ЭУСК системы (3).

В [6] показано, что решение задачи выпуклой оптимизации

N

^асе ^ Р, 3=1

тах, Р = РТ > 0,

АТР + РА + £ т=1РА+

2 Л. Т,

+ £ N=1 Р + (1 + №

В ТР-

Вг Рг

РВ

Р

^ 0

совпадает с решением системы уравнений Риккати (16).

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

Алгоритм 1.

1. Назначаем весовые матрицы ^г — ^0, -Р — Р исходя из принципов теории линейно квадратичного регулятора и задаем скаляр > 0.

2. Решаем задачу оптимизации при ограничениях в виде линейных матричных неравенств относительно переменных Рг — РТ и Р:

N

^асе ^ Р, 3=1

тах, Р — РТ > 0,

АгТ Р + РА + £ т=1 72 А1г1РгА1г +

2 Л. Т]

+ £ N=1 Пг, Р + (1 +

В ТР Вг Рг

РгВг

Р

^ 0,

¿г Р

> 0,

ВгТ Р + ¿г

(I - Сг+Сг) — 0.

3. Если эта система совместна, то вычисляем р по формуле (18).

4. Проверка. Если система линейных матричных неравенств относительно матриц Si

(A - BiFiCi)TSi + Si(Ai - BiFiCi) +

m N

+ ^ YuAiTSi Ai + ^ nijSj < 0.

¿=1 j=i

совместна, то Fi является искомой матрицей усиления стабилизирующего управления.

Необходимость шага проверки здесь обусловлена тем, что из-за дополнительных ограничений решение задачи оптимизации может не давать решение системы (16), но тем не менее, если выполнены условия монотонности левых частей (16) по переменным Pi, то решение системы неравенств

mN

AiTPi + PiAi - PiBiR-1BiTPi + ^ Y2iAiTPiAi + ^ nijPj +

¿=i j=i

+Qi + LTR-1Li < AiTPi + PiAi - PiBiR"1BiTPi +

mN

+ ^ Y2iAiTPiAi + ^ nijPj + (1 + ^i)Qi ^ 0.

¿=1 j=1

может быть стабилизирующим. Именно этот факт и устанавливает указанная проверка.

Определенную трудность в алгоритме представляет выбор весовых матриц. Далее предлагается возможная техника такого выбора. Она основана на том, что вычисляется начальное приближение матрицы усиления на основе решения вспомогательной детерминированной задачи с использованием пакета MATLAB -HIFOO (H-Infinity Fixed-Order Optimization) [7]. Пакет построен на основе гибридного алгоритма, объединяющего стандартные генетические алгоритмы и градиентные методы. HIFOO позволяет решать следующие задачи: стабилизации фиксированного порядка, одновременной стабилизации фиксированного порядка, оптимизации фиксированного порядка, ^-оптимизации фикси-

79

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

Алгоритм 2.

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

2. Для базового режима находим матрицу замкнутой системы Ас = А + ВрС, где А, В, С - матрицы, определяющие базовый режим.

3. Задаем весовую матрицу К и находим начальное приближение весовой матрицы фо, решая линейное матричное неравенство

Но = НоТ > 0, фо = фТ ^ 0 А^Яо + НоАс + фо + СТРКРС < 0.

4. Назначаем весовые матрицы для всех режимов = фо, К = К. Задаем скаляр ^ > 0.

5. Решаем задачу оптимизации при ограничениях в виде линейных матричных неравенств относительно переменных Р^ =

РТ:

N

^асе У^ Р, -,=1

АТ Р + РА + £1=172 А* ТрАй+

+ £ N=1 Р, + (1 + ^

Т

тах, Р = рТ > 0,

РВ

К

^ 0.

6. Решаем систему линейных матричных уравнений и неравенств относительно матрицы р

р

рТ К

> 0,

В1Р + рг

(I - С+С) = 0.

7. Если эта система совместна, то вычисляем Р по формуле (18).

8. Проверка. Если система линейных матричных неравенств относительно матриц 5

(А - ВгрСг)т5 + &(А - +

т N

+ ^ 7г2 АгТ$Аг + ^ п,< 0. 1=1 ,=1

совместна, то Р является искомой матрицей усиления стабилизирующего управления.

4. Пример

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

Рис. 1. Перевернутый маятник

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

81

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

Перемещение оси характеризуется функцией а угловое отклонение маятника - функцией ^>(Ь). Масса маятника т пренебрежимо мала по сравнению с массой платформы М. К маятнику приложена сила тд в центре тяжести. Н(Ь), V(Ь) - горизонтальная и вертикальная силы реакции у оси маятника. Вибрации оси моделируются белым шумом с составляющими Нд(Ь) и Рд(Ь).

Математическая модель рассматриваемой системы имеет

вид:

Х(Ь) =

+

0 1

0 ^ м

0 0

я 1 V' 0

0 0 0

0 0 0

0 0 0

1 0 1

им им

0 0 0 0 0 1 Я 0

V' 0 0 0 1 0

х(Ь) +

VR(t) +

0

1 м 0

0

0

__1 м 0

0

и(Ь) +

HR(t),

У(Ь) =

1000 0010

х(Ь),

где х = [в(Ь),8(Ь),(р,ф]Т; д - ускорение свободного падения; Ь' - эффективная длина маятника: Ь' = J ; ^ - момент инерции относительно центра тяжести; Ь - расстояние между осью и центром тяжести.

Система имеет следующие числовые параметры: .] = 0,006 кгм2, I = 0,47 м, т = 1 кг, Дт = 0,05 кг, д = 9, 8 м/с2, М = 1 кг, Ь = 0, 235 м.

Задача состоит в стабилизации маятника при допущениях, что вибрации оси моделируются белым шумом. При этом масса груза может скачкообразно изменяется, принимая одно из трех возможных значений: т—Дт, т, т+Дт, что в сумме дает 3 возможных «режима» работы такой системы. Смена этих режимов 82

происходит в соответствии с изменением состоянии марковской цепи (рис. 2).

мп + т о-

т

-о-

л т -т -о

Я2 Я,

83 Б!

Рис. 2. Граф состояний для системы

Для графа, изображенного на рис. 2, уравнение Колмогорова имеет вид:

Р1(*) ■ " А1 0

Р2(«) = Л1 -^1 - А2

Рз(*) 0 А2 -^2

Рз(*)

Интегрируя систему линейных дифференциальных уравнений с учетом начальных условий р(0) = (0,1, 0) методом Рунге-Кутта, определяем распределение вероятностей системы в любой момент времени.

В результате вычислений с применением предложенного алгоритма были получены:

1) Весовая матрица О0

О) = 105

1,61 -0,03 -0,64 0,02 -0,40 0,10

-0,03 0,04 -0,01 -0,26 0,03 -0,04

-0,65 -0,01 5,43 -0,01 0,23 -1,21

0,02 -0,03 -0,01 2,55 0,43 0,03

-0,40 0,02 0,23 0,43 4,51 -2,06

0,10 -0,04 -0,19 0,03 -2,06 0,98

2) Матрицы обратной связи по выходу

" 875,9 -174,6 42,1 44,6

Fi = 112,0 -320,4 792,7 -350,6

_ 358,8 -873,2 -342,5 198,6

" 972,7 -186,8 33,1 49,2

F2 = 112,0 -326,6 791,0 -349,8

390,1 -905,1 -344,8 199,0

" 989,7 -183,7 30,5 48,6

F3 = 115,5 -316,9 791,0 -349,8

379,5 -896,7 -344,7 199,0

На рис. 3 показаны графики переходных функций замкнутой системы в случае изменения ее состояний в соответствии с реализацией марковской цепи, представленной на рис. 4, и при отсутствии параметрических шумов.

0123456789 10

t, sec

Рис. 3. Графики переходных функций замкнутой системы

S3n

S;

Si L

0 123456789 10

t, sec

Рис. 4. Марковская цепь

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

Из приведенной таблицы видно, что с возрастанием интенсивности шума норма матрицы усиления возрастает и при определенной интенсивности задача стабилизации становится неразрешимой с помощью указанного алгоритма. Вычисления проводились в среде MATLAB с применением пакетов YALMIP и SEDUMI при относительной погрешности е = 1e — 7.

Таблица 1. Изменения интенсивности шума

интенсивность шума 7 матрица стабилизации ^ время решения сек.

0,01 Л = " 875,9 112,0 358,8 -174,6 -320,4 -873,2 42,1 792,7 -342,5 44,6 -350,6 198,6 1,6

= " 972,2 117,6 389,9 -186,0 -326,4 -904,6 33,0 791,0 -344,8 49,2 -349,8 198,9

Fя = 989,7 112,0 379,5 -183,7 -316,9 -888,2 30,5 790,0 -346,7 49,6 -349,3 199,4

0,1 Л = " 876,2 112,0 358,9 -176,9 -320,5 -873,4 42,2 792,7 -342,5 44,6 -350,7 198,7 2

= 987,7 117,7 390,1 -186,0 -326,6 -905,0 33,1 791,0 -344,8 49,2 -349,8 199,0

= " 994,1 110,8 379,7 -183,9 -317,1 -888,6 30,6 790,0 -346,7 49,7 -349,7 199,5

продолжение таблицы 1

1 " 998,7 -178,4 43,6 44,1 5

л = 123,0 -334,2 792,2 - -349,7

381,0 -901,1 - 343,5 200,1

1020,1 -190,4 43,6 44,1

Л = 129,9 -342,3 790,1 - -348,8

416,8 -939,3 - 346,9 201,2

1002,3 -187,9 35,4 48,1

Лз = 127,4 -339,0 790,0 - 348,9

409,0 -929,7 - -346,7 201,1

10 11246,0 -11800,6 132,3 21,2 10,5

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

Л = 2329,5 -2503,2 774,3 -318,0

3669,5 -4043,0 -422,2 276,0

15502,0 -16071,5 119,4 28,2 -

Л = 2248,0 -2397,3 755,7 -311,3

3534,2 -3869,5 -450,0 286,6

14632,4 -15200,7 122,0 27,0

Лз = 2274,7 -2427,0 758,1 -311,9

3573,5 -3913,1 -446,2 285,0

100 нет решения нет ре-

шения

Литература

1. КАЗАКОВ И.Е., АРТЕМЬЕВ В.М., БУХАЛЕВ В.А. Анализ систем случайной структуры. - М: Наука, 1993. - С. 270.

2. КАЦ И.Я. Метод функций Ляпунова в задачах устойчивости и стабилизации систем случайной структуры. - Екатеринбург: Изд-во Урал.гос.акад.путей сообщения, 1998.

3. КВАКЕРНААК Х., СИВАН Р. Линейные оптимальные системы управления. - M: Мир, 1977.

4. КРАСОВСКИЙ Н.Н., ЛИДСКИЙ Э.А. Аналитическое конструирование регуляторов в системах со случайными свойствами // Автоматика и телемеханика. - 1961. - №9. -C. 732-745; №11. - C. 1273-1278.

5. ПАКШИН П.В. Дискретные системы со случайными параметрами и структурой. - М.:Наука, 1994. - C. 304.

6. AIT RAMI M., GHAOUI L.EL LMI optimization for nonstandard Riccati equation arising in stochastic control // IEEE Trans. Automat. Control. - 1996. - №41. - P. 16661671.

7. BURKE J.C., HENRION D., LEWIS A.S. AND OVERTON M.L. HIFOO - A MATLAB Package for Fixed-Order Controller Design and H-infinity Optimizationon // Proceedings of the IFAC Symposium on Robust Control Design, Toulouse, France, - 2006. - URL: www.cs.nyu.edu/overton/software/hifoo.

8. COSTA O., FRAGOZO M., MARQUES R. Discrete-Time Markov Jump Linear Systems. - Springer, London, 2004.

9. MARITON M. Jump linear systems in automatic control. -Marcel Dekker, New York.

10. PAKSHIN P.V., PEAUCELLE D., ZHILINA T.YE. Stabilization of linear systems with state dependent noise via output feedback and its application to robust control design //Proceedings of the 14th International Conference

on Methods and Models in Automation and Robotics, Miedzyzdroje, Poland, 2009.

11. PAKSHIN P.V., PEAUCELLE D., ZHILINA T.YE. Parametrization and convex approximation approach to stabilization via output feedback // Journal of Cybernetics and Informatics. - 2010. - P. 29-38. - URL: http://www.ifac-papersonline.net/Detailed/41105.html.

12. PAKSHIN P.V., SOLOVIEV S.G. Parametrization of static output feedback controllers for Markovian switching systems and related robust control problems // Kybernetes. - 2009. -№48. - P. 1106-1120.

13. SKELTON R.E., IWASAKI T., GRIGORIADIS K.M. A unified algebraic approach to linear control design. - Taylor & Francis, London, 1997.

14. YIN G.G., ZHU C. Hybrid Switching Diffusions: Properties and Applications. - New York: Springer Verlag, 2010.

SYNTHESIS OF STABILIZING CONTROL IN DIFFUSION SYSTEMS WITH MARKOVIAN SWITCHING

Tatiana Zhilina. Arzamas Polytechnic Institute of R.E. Alekseev, Nizhny Novgorod State Technical University. Arzamas. post-graduate student (zhilina@apingtu.edu.ru).

Abstract: We consider stochastic systems modeled by Ito differential equations with Markovian switching, and propose the parametric description (parametrization) of all static output feedback stabilizing controllers. This controllers provide exponential stability in the mean square of the closed-loop system. Using this parametrization we obtain sufficient conditions of stabilization, which allow to develop an LMI-based algorithm for gain matrixes computation of both static and a dynamic regulators. This algorithm is applied to the solution of a stabilization problem of the inverted pendulum on the moving platform under conditions of step-like mass change and random vibration of the platform.

Keywords: stabilization. output feedback. diffusion systems.

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

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