CC BY
13
ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
МАТЕМАТИКА
УДК 517.935.2+519.71
И. М. Борковская, О. Н. Пыжкова
Белорусский государственный технологический университет
ЗАДАЧИ УПРАВЛЕНИЯ И СТАБИЛИЗАЦИИ ДЛЯ ГИБРИДНЫХ ДИНАМИЧЕСКИХ СИСТЕМ
Исследование гибридных систем, имеющих многочисленные приложения в автомобилестроении, авиастроении, робототехнике и других областях, и решение различных задач управления для них позволяет значительно расширить область применения математической теории управления. В работе приводятся результаты по задачам управления для некоторых классов гибридных систем, в частности по задачам относительной управляемости и достижимости для дискретно-непрерывных систем. Также выделяются результаты по исследованию возможности стабилизации дискретно-непрерывных систем и систем с многомерным (2D-мерным) временем. Анализируются и другие задачи качественной теории управления для гибридных динамических систем.
Ключевые слова: относительная управляемость, стабилизация, гибридные дискретно-непрерывные системы, системы с многомерным временем.
I. M. Borkovskaya, O. N. Pyzhkova
Belarusian State Technological University
THE PROBLEMS OF CONTROL AND STABILIZATION FOR HYBRID DYNAMIC SYSTEMS
The study of hybrid systems that have numerous applications in the automobile industry, aircraft building, robotics and other areas and the solution of various control problems for them makes it possible to expand the scope of the mathematical control theory significantly. The paper provides the results on control problems classes of hybrid systems, for example, on problems of relative controllability and reachability for discrete-continuous systems. The results on the investigation of the possibility of stabilization of discrete-continuous systems and systems with multidimensional (2D-dimensional) time are also highlighted. Other problems of the qualitative control theory for hybrid dynamical systems are analyzed.
Key words: relative controllability, stabilization, hybrid discrete-continuous systems, systems with multidimensional time.
Введение. Изучение поведения и конструирование систем управления, обладающих требуемыми в приложениях свойствами, является ключевой задачей теории управления движением. Исследование гибридных систем, имеющих многочисленные приложения в автомобилестроении, авиастроении, робототехнике и других областях и решение различных задач управления для них позволяет значительно расширить область применения математической теории управления. Для гибридных систем могут быть сформулированы раз-
личные известные задачи оптимального управления, достижимости и верификации, исследования на устойчивость, задачи стабилизации, идентификации и др. Важнейшими являются вопросы представления решений гибридных систем, относительной управляемости, модального управления.
Задача достижимости во многих случаях рассматривается как задача построения множества достижимости гибридной системы, содержащего всевозможные состояния, в которые можно перейти при помощи допустимых управляющих
воздействий из фиксированного в заданный начальный момент времени состояния. К задачам достижимости примыкают задачи верификации, в которых требуется выяснить, может ли система попасть в одно из «нежелательных» состояний либо, наоборот, в «желательное» состояние. Это, например, может потребоваться с целью обеспечения безопасного функционирования системы. Свойствам гибридных систем посвящены многие работы [1-4].
Виды гибридных систем многообразны. Среди них выделяют ГДР-системы (дифференциально-разностные системы), которые описывают процессы, где наряду с динамическими встречаются и алгебраические зависимости, и ГДН-системы (дискретно-непрерывные системы), содержащие как непрерывные, так и дискретные переменные. Важным классом гибридных систем является класс систем с многомерным (2Б-мерным) временем.
В работе приводятся результаты по задачам управления для некоторых классов гибридных систем, выделяются результаты по исследованию возможности стабилизации систем, т. е. получению условий на параметры системы, при которых существует регулятор, обеспечивающий важнейшее свойство - устойчивость замкнутой системы управления.
Основная часть. Управляемость - одно из важнейших свойств системы управления, описывающее возможность перевести систему из одного состояния в другое. Исследование системы на управляемость является одним из важных шагов в синтезе управляющих воздействий. Рассмотрим дискретно-непрерывную систему:
х(?) = Лпх(1) + Л12у(кк), t е [кк, (к + 1)к); (1)
у(кк + к) = Л21х(кк) + Л22 у (кк) + Бы (кк); (2) к = 0,1,2,...
с точки зрения ее относительной управляемости и достижимости [5, 6]. В формулах (1), (2) х(0 е М", у(кк) е Мт, ы(кк) е Мг, к > 0, Л11, Л12, Л 21, Л22, Б — постоянные матрицы соответствующих размеров с начальными условиями
х(0) = х(+0) = Хо, у(0) = уо.
(3)
При заданном моменте времени = qк, д е N систему (1), (2) назовем ^ -относительно управляемой, если для любых начальных данных х0 е М", у0 е Мт в условиях (3) найдется управление ы(кк) е Мг, к = 0,1,..., д — 1 такое, что соответствующее решение х(^), t > 0, у (кк), к = 0,1,... системы (1), (2) с начальными условиями (3) обладает свойством х(^) = 0, у = 0. Если соответствующее решение
х(0, t > 0, у (кк), к = 0,1,... системы (1), (2) с начальными условиями (3) обладает свойством х(^) = 0, назовем систему t1 -относительно управляемой по х . При выполнении свойства у(^) = 0 назовем систему t1 -относительно управляемой по у .
Систему (1), (2) назовем t1 -относительно достижимой, если для любых векторов х0, х1 е М"; у0, у, е Мт в условиях (3) найдется управление ы(кк) е Мг, к = 0,1,...,д — 1, такое, что соответствующее решение х^), t > 0, у(кк), к = 0,1,... системы (1), (2) с начальными условиями (3) обладает свойством х(^) = х1, у(^) = у1. Систему назовем t1 -относительно достижимой по х , если для любых векторов х0, х1 е М"; у0 е Мт в условиях (3) найдется управление ы(кк) е Мг, к = 0,1,..., д — 1 такое, что соответствующее решение х^), t > 0, у (кк), к = 0,1,... системы (1), (2) с начальными условиями (3) обладает свойством х(^) = х1. Система t1 -относительно достижима по у, если для любых векторов х0 е М"; у0, у1 е Мт в условиях (3) найдется управление ы(кк) е Мг, к = 0,1,...,д — 1 такое, что соответствующее решение х^), t > 0, у(кк), к = 0,1,... системы (1), (2) с начальными условиями (3) обладает свойством у (^) = у1.
Применяя формулу Коши, получим:
х(кк + к) = еЛ11( кк+к—кк) х(кк) +
кИ+ И
+
| еЛи(кк+И—х)Л12у(кЩх = еЛ11кх(кк) -
кк
к
+ | еЛ11( к—х) dхЛl2 у(кк).
Введем обозначения: *[к ] =
=
х(кк) " 0"
_у(кк)_ ? Б
= А,
0АФ
| еЛ11( И—х) d х Л1:
21 22
Для описания г[к] получаем дискретную систему:
г[к +1] = Хйг[к ] + А ы( кк), к = 0,1,... .
Рассматриваемые задачи управляемости и достижимости приводят к соответствующим проблемам для дискретных систем. Задача относительной управляемости дискретно-непрерывной системы (1), (2) сводится к задаче полной управляемости (в смысле Калмана) указанной выше дискретной системы.
Теорема 1. Условие
rank[Д, ShД,...,(Ей)q' Д,(Ей)q] =
= rank [Д, ЪА Д,...,(ЪЙ )q' Д ]
является необходимым и достаточным для qh-относительной управляемости системы (1), (2). Теорема 2. Условие
rank (H [Д, ShД,..., (S„Г1 Д, (Ъ„)q]) = = rank (H[Д, ShД,...,(Е„)q' Д])
является необходимым и достаточным для qh-относительной управляемости по x системы (1), (2) при H = [In 0], для qh-относительной управляемости по y системы (1), (2) при H = [0 Im ], где символ Ik обозначает единичную k х k матрицу.
Отметим, что если система (1), (2) не является qh-относительно управляемой при q = n + m, то она не будет qh-относительно управляемой и при q > n + m.
Систему (1), (2) считают относительно управляемой, если она qh-относительно управляема хотя бы при одном натуральном числе q. Тогда из теоремы 1 вытекает критерий относительной управляемости системы (1), (2), заключающийся в требовании
rank [Д, Sh Д,...,(Ъ )m+n' Д,^ )m+n ] = = rank [Д, Sh Д,...,(Е„ )m+n' Д]. Условие
rank(H[Д, ShД,..., (Sh)m+n'1 Д, (Sh)m+n]) =
= rank (H [Д, Sh Д,...,(£ h )m+n' Д])
является необходимым и достаточным для относительной управляемости по x системы (1), (2) при H = [In 0] и для относительной управляемости по y при H = [0 Im ].
Имеют место следующие (теоремы 3, 4) условия ^-относительной достижимости системы (1), (2):
Теорема 3. Условие
rank [ Д, Sh 4...,£h )q' Д] = n + m
является необходимым и достаточным для qh-относительной достижимости системы (1), (2). Теорема 4. Условие
rank(H[Д, ShД,..., (Sh)q'1 Д, (Sh)q]) = rankH
является необходимым и достаточным для qh-относительной достижимости по x системы (1), (2) при H = [In 0], для qh-относительной дос-
тижимости по y системы (1), (2) при H = [0 Im ].
Если система (1), (2) не является qh-относительно достижимой при q = n + m, то она не будет qh-относительно управляемой и при q > n + m. Введем понятие относительной достижимости как qh -относительной достижимости хотя бы при одном натуральном числе q, тогда критерий относительной достижимости можно сформулировать следующим образом: система (1), (2) является относительно достижимой тогда и только тогда, когда выполняется условие
rank[Д, ShД,..., (Sh)n+m' Д] = n + m.
В дальнейшем предстоит исследовать вопросы qh-относительной управляемости и достижимости по x в случае произвольного конечного момента времени t1 ф qh, q е N.
Рассмотрим теперь такой класс гибридных систем, как гибридные системы с многомерным (2D-мерным) временем:
Xl(t, k) = A11 x1(t, k) + A12x2(t, k) + B1u(t,k), (4)
t е [0, + <x>);
x2 (t, k +1) = A21x (t, k) + A22 x2 (t, k) + B2u(t, k), (5) k = 0,1, 2,...,
где x (t, k) = ; x (t, k) е M1; x2 (t, k) е M2;
dt
x1(t, k), x2(t, k) - n1- и ^-векторы состояния системы; u(t, k) е Mr - вектор управляющего воздействия, t > 0, k = 0,1, 2,...; A11, A12, A21, A22, B1, B 2 - постоянные матрицы соответствующих размеров, с граничными (начальными) условиями:
x1(0,k) = x1(k), k = 0,1,2,...; x2(t,0) = x2(t), t е [0, + <x>).
В работе [5] исследована (t1, k1) -управляемость системы (4), (5) относительно x1 и представлен параметрический критерий управляемости с использованием решений определяющего уравнения. В дальнейшем методика может быть применена для исследования управляемости относительно x2, а также относительно x1, x2.
Исследуем стабилизируемость указанных выше видов систем [7-9]. Свойство стабилизи-руемости является важнейшим требованием, предъявляемым к реальным системам управления. Присоединим к дискретно-непрерывной системе (1), (2) регулятор вида
u (kh) = Q x(kh) + Q2 y(kh), k = 0,1,..., (6)
где Q1 и Q2- постоянные матрицы размеров г х п и г х т соответственно. Замкнутая система имеет вид:
х^) = Лпх(^) + Л12у(кк), t е [кк, (к + 1)к); у(кк + к) = (Л21 + БQ1) х(кк) + + (Л22 + БQ2) у {кк).
Теорема 5. Система (1), (2) является стабилизируемой дискретным регулятором (6) тогда и только тогда, когда
гапк [Я 1п+т , А] =
п + т
для всех комплексных чисел А, таких, что |А|> 1.
Рассмотрим теперь гибридную 2Б-систему (4), (5). Уравнение вида
det
Ч, - A
— A.2 1
- A
п2
12 A.2-
= 0
(7)
назовем характеристическим уравнением, а его корни (в общем случае комплексные) - характеристическими числами (значениями) системы (4), (5). В работе [8] введены определения разных видов устойчивости. Необходимые условия асимптотической устойчивости сформулируем в виде следующей теоремы.
Теорема 6. Если система (4), (5) слабо асимптотически устойчива, то для корней (А, ц) характеристического уравнения (7) выполняется условие: ЯеА<0 и |ц|< 1 или ЯеА<0 и |ц| < 1; если система (4), (5) сильно асимптотически устойчива, то для корней (А, ц) характеристического уравнения (7) соблюдается условие: Яе А< 0 и |ц| < 1; если система (4), (5) (а, у ^устойчива, то для корней (А, ц) характеристического уравнения (7) выполняется условие Яе А < —а и |ц| < у .
В скалярном случае, когда Л11 = а11, Л12 = а12, Л21 = а21, Л22 = а22 - действительные числа, верны теоремы 7, 8.
Теорема 7. Для того чтобы система (4), (5) скалярных уравнений была сильно асимптотически устойчивой, необходимо и достаточно, чтобы выполнялись следующие условия:
1) аи а21 = 0; 2)
a2J < 1, а11 < 0.
Теорема 8. Для того чтобы система (4), (5) скалярных уравнений была (а, у)-устойчивой, необходимо и достаточно, чтобы выполнялись следующие условия:
1) а^! = 0; 2) а„ <—а,^ <у.
Присоединим к системе (4), (5) регулятор, не выводящий ее за пределы заданного класса:
u(t, к) = Qx(t, к) + Q2Х2 (t, к),
(8)
где Q1 - матрица г х п1; Q2 - матрица г х п2.
Систему (4), (5) назовем стабилизируемой (в смысле сильной асимптотической устойчивости) регулятором (8), если найдутся такие матрицы Q1, Q2 из (14), что замкнутая система (4), (5), (8) является сильно асимптотически устойчивой. Можно показать, что верны следующие утверждения о возможности стабилизации системы (4), (5) в скалярном случае.
Теорема 9. Для того чтобы система (4), (5) в скалярном случае была стабилизируема (в смысле сильной асимптотической устойчивости) регулятором (8), достаточно выполнения хотя бы одного из условий:
1)
b2 аи
< 1;
2) а11 — ^ < 0.
Теорема 10. Для того чтобы система (4), (5) в скалярном случае была стабилизируема (в смысле (а, у)-устойчивости) регулятором (8), достаточно, чтобы выполнялись условия:
1)
Ь2 а12
Ь,а21
<у; 2) а„--^
<—а.
Заключение. В работе проведен анализ результатов по задачам теории управления для некоторых классов гибридных систем, в частности, по относительной управляемости и достижимости, а также стабилизации дискретно-непрерывных систем. Исследованы возможности стабилизации линейной гибридной 2Б-сис-темы в симметрической форме. Представлены достаточные условия стабилизируемости системы регулятором, не выводящим систему за пределы заданного класса.
Литература
1. De la Sen M. A note about total stability of a class of hybrid systems // Informatica. 2006. Vol. 17, no. 4. P. 565-576.
2. Van der Schaft A., Schumacher H. An introduction to hybrid dynamical systems. Berlin: Springer, 2000.324 p.
3. Ахундов А. А. Управляемость линейных гибридных систем // Управляемые системы: c6. ст. Новосибирск: Изд-во Ин-та математики СО АН СССР, 1975. Вып. 14. C. 4-10.
4. Точилин П. А., Куржанский А. Б. Задачи достижимости и синтеза управлений для гибридных систем. М.: МГУ, 2008. 176 c.
5. Марченко В. М., Пыжкова О. Н. Относительная управляемость линейных стационарных гибридных систем с многомерным временем // Труды БГТУ. Сер. VI, Физ.-мат. науки и информатика. 2008. Вып. XVI. С. 3-5.
6. Марченко В. М., Пыжкова О. Н. Относительная достижимость линейных стационарных систем, управляемых дискретным регулятором // Труды БГТУ. 2012. № 6: Физ.-мат. науки и информатика. С.11-13.
7. Марченко В. М., Борковская И. М. Устойчивость и стабилизация линейных гибридных дискретно-непрерывных стационарных систем // Труды БГТУ. 2012. № 6: Физ.-мат. науки и информатика. С. 7-10.
8. Марченко В. М., Борковская И. М., Пыжкова О. Н. Устойчивость гибридных динамических систем с многомерным временем // Труды БГТУ. 2016. № 6: Физ.-мат. науки и информатика. С. 5-9.
9. Борковская И. М., Пыжкова О. Н. О стабилизации некоторых видов гибридных динамических систем // Труды БГТУ. 2017. № 6: Физ.-мат. науки и информатика. С. 5-10.
References
1. De la Sen M. A note about total stability of a class of hybrid systems. Informatica, 2006, vol. 17,
no. 4, pp. 565-576.
2. Van der Schaft A., Schumacher H. An introduction to hybrid dynamical systems. Berlin, Springer, 2000. 324 p.
3. Akhundov A. A. Controllability of the linear hybrid systems. Upravlyaemye sistemy: sbornik statey [Controlled systems: digest of articles]. Novosibirsk, Institut matematiki Publ., 1975, pp. 4-10 (In Russian).
4. Tochilin P. A., Kurzhanskiy A. B. Zadachi dostizhimosti i sinteza upravleniy dlya gibridnykh sistem [The tasks of reachability and control synthesis for hybrid systems]. Moscow, MGU Publ., 2008. 176 p.
5. Marchenko V. M., Pyzhkova O. N. Relative controllability of the linear stationary hybrid systems with multidimensional time. Trudy BGTU [Proceedings of BSTU], series VI, Physics and Mathematics. Informatics, 2008, issue XVI, pp. 3-5 (In Russian).
6. Marchenko V. M., Pyzhkova O. N. Relative reachability of the linear stationary hybrid systems controlled by the discrete regulator. Trudy BGTU [Proceedings of BSTU], 2012, no. 6: Physics and Mathematics. Informatics, pp. 11-13 (In Russian).
7. Marchenko V. M., Borkovskaya I. M. Stability and stabilization of the linear hybrid discrete-continues stationary systems. Trudy BGTU [Proceedings of BSTU], 2012, no. 6: Physics and Mathematics. Informatics, pp. 7-10 (In Russian).
8. Marchenko V. M., Borkovskaya I. M., Pyzhkova O. N. The stability of hybrid dynamic 2-D-sys-tems. Trudy BGTU [Proceedings of BSTU], 2016, no. 6: Physics and Mathematics. Informatics, pp. 5-9 (In Russian).
9. Borkovskaya I. M., Pyzhkova O. N. On the stabilization of some kinds of hybrid dynamic systems. Trudy BGTU [Proceedings of BSTU], 2017, no. 6: Physics and Mathematics. Informatics, pp. 5-10 (In Russian).
Информация об авторах
Борковская Инна Мечиславовна - кандидат физико-математических наук, доцент кафедры высшей математики. Белорусский государственный технологический университет (220006, г. Минск, ул. Свердлова, 13 а, Республика Беларусь). E-mail: borkovskaia@gmail.com
Пыжкова Ольга Николаевна - кандидат физико-математических наук, заведующая кафедрой высшей математики. Белорусский государственный технологический университет (220006, г. Минск, ул. Свердлова, 13а, Республика Беларусь). E-mail: olga.pyzhcova@gmail.com
Information about the authors
Borkovskaya Inna Mechislavovna - PhD (Physics and Mathematics), Assistant Professor, the Department of Higher Mathematics. Belarusian State Technological University (13a, Sverdlova str., 220006, Minsk, Republic of Belarus). E-mail: borkovskaia@gmail.com
Pyzhkova Olga Nikolaevna - PhD (Physics and Mathematics), Head of the Department of Higher Mathematics. Belarusian State Technological University (13a, Sverdlova str., 220006, Minsk, Republic of Belarus). E-mail: olga.pyzhcova@gmail.com
Поступила 10.05.2018
