Научный журнал
Современные наукоемкие технологии
ISSN 1812-7320
"Перечень" ВАК
ИФ РИНЦ = 0,940

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

Аширбаев Б.Ы. 1
1 Кыргызско-Российский Славянский университет имени Б.Н. Ельцина
Цель исследования – конструирование линейного регулятора для дискретной стохастической стационарной системы с разными темпами движений. С использованием методов разделения переменных состояния систем с разными темпами движений и интегральных многообразий, исходная задача конструирования линейного регулятора разделена на две подзадачи, решения которых находятся независимо друг от друга. Алгоритмы аналитических решений подзадач построены на основе второго метода Ляпунова, свойств математических ожиданий и ковариационных матриц случайных процессов системы с разными темпами движений. В процессе решений задачи выведены соотношения, определяющие математические ожидания, ковариационные матрицы, матрицы усиления и функции Ляпунова. Найденные математические ожидания, ковариационные матрицы, матрицы усиления и функции Ляпунова использованы для определения линейных регуляторов обеих задач. Результатом решения двух подзадач является аналитически полученный линейный дискретный регулятор, состоящий из двух дискретных регуляторов, которые минимизируют функционалы соответствующих задач. Полученные результаты работы могут быть применены в исследовании стохастических задач оптимального управления, конструирования линейного регулятора для цифровой стохастической системы, а также в исследовании других постановок стохастических задач оптимального управления.
регулятор
многообразие
функция Ляпунова
стохастическая
ковариационная матрица
матрицы усиления
1. Kurina G.A., Dmitriev M.G., Naidu D.S. Discrete singularly perturbed control problems (a survey) // Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications & Algorithms. 2017. № 24. P. 335–370.
2. Zhang Y., Naidu D.S., Cai C., Zou Y. Singular perturbation and time scales in control theories and applications: An overview 2002–2012 // Int. J. Information and Systems Sciences. 2014. Vol. 9. No. 1. P. 1–36. URL: https://www.d.umn.edu/~dsnaidu/Naidu_Survey_Zhang-Naidu_et_al_(IJISS)_2014. pdf (дата обращения: 11.09.2024).
3. Danik Y., Dmitriev M. Symbolic Regulator Sets for a Weakly Nonlinear Discrete Control System with a Small Step // Mathematics. 2022. Vol. 10 (3). P. 1–14. URL: https://www.mdpi.com/2227-7390/10/3/487 (дата обращения: 13.09.2024).
4. Ковалева М.А., Рутковский А.Л. Сингулярно возмущенные системы оптимального управления: монография. М.: Мир науки, 2020. 95 с.
5. Zerizer T. Solving BVPs of singularly perturbed discrete systems // Communications in Applied Analysis. 2019. Vol. 23. No. 3. P. 483–495.
6. Аширбаев Б.Ы. Решение задачи аналитического конструирования регулятора для стационарной дискретной системы с малым шагом: сборник материалов конференций «Математическая теория управления и ее приложения». СПб.: АО «Концерн ЦНИИ Электроприбор», 2020. 380 с.
7. Yuldashev T. K., Ashirbaev B. Y. Optimal Feedback Control Problem for a Singularly Perturbed Discrete System // Lobachevskii Journal of Mathematics. 2023. Vol. 44, No. 2. P. 661–668.
8. Ashirbaev B.Y., Yuldashev T.K. Derivation of a Controllability Criteria for a Linear Singularly Perturbed Discrete System with Small Step // Lobachevskii Journal of Mathematics. 2024. Vol. 45, No. 3. Р. 938–948.
9. Смагин В.И., Параев Ю.И. Синтез следящих систем управления по квадратичным критериям. Томск: Изд-во Томского университета, 1996. 171 с.
10. Аширбаев Б.Ы. Декомпозиция линейной сингулярно-возмущенной дискретной системы с постоянно действующими внешними силами // Известия вузов Кыргызстана. № 3. Бишкек, 2023. С. 7–11.
11. Соболев В.А. Декомпозиция сингулярно возмущенных задач оптимального слежения с заданной эталонной траекторией // Сибирский журнал индустриальной математики. 2023. Т. 26. № 3. С. 112–124. DOI: 10.33048/SIBJIM.2023.26.309.
12. Соболев В.А., Осинцев М.С. Метод интегральных многообразий в задачах оптимального управления сингулярно возмущенными системами // Институт проблем управления им. В.А. Трапезникова РАН. В сб. XII всероссийское совещание по проблемам управления ВСПУ, 2014. М., 2014. С. 760–779.
13. Пантелеев А.В., Бортаковский А.С. Теория управления в примерах и задачах. М.: Высшая школа, 2003. 583 с.

Введение

Подробный анализ современных работ, посвященных исследованию методов построения решений задач синтеза линейного регулятора, имеется в [1; 2]. Кроме того, можно отметить работы [3–5], в которых за последние десять лет в различных постановках исследованы дискретные задачи синтеза оптимального регулятора. Дискретные задачи оптимального управления рассмотрены и в наших работах [6–8]. В частности, задача конструирования регулятора для дискретной управляемой системы с малым шагом в детерминированных случаях рассмотрена в работе [6, с. 16]. Данная работа является продолжением вышеуказанных работ.

Материалы и методы исследования

Задана модель объекта управления, которая описывается уравнением

missing image file (1)

где Y(t) – вектор состояния: missing image file, missing image file;

A(μ) и B(μ) – матрицы состояния и управления:

missing image file missing image file missing image file missing image file

missing image file missing image file missing image file;

u(t) – вектор управления; t – время переходного процесса:

missing image file T – малый шаг, 0 ≤ T ≤ 1, μ – малый параметр,

0 < μ < 1 штрих обозначает транспонирование, M – математическое ожидание;

missing image file вектор внешних возмущений, последовательность взаимно независимых, гауссовских случайных векторов, некоррелированных с Y0 и удовлетворяющих условиям:

missing image file missing image file missing image file

missing image file missing image file

L1, L2 – симметрические, неотрицательно определенные матрицы [9, с. 41].

Начальные состояния системы (1) имеют вид

missing image file (2)

Задан критерий

missing image file (3)

где Q, P – заданные неотрицательно определенные симметрические матрицы,

missing image file missing image file

Требуется найти управление u*(t), при котором функционал (3) принимает наименьшее возможное значение, при ограничениях (1) и (2).

Предположим, что выполняется следующее условие.

Условие 1. Пусть A4 – устойчивая матрица, это означает, что собственные значения матрицы A4 удовлетворяют неравенству missing image file где α – некоторая постоянная.

При выполнении условий 1 систему (1) заменим следующей эквивалентной системой с разделенными переменными [10, с. 8; 11, с. 115]:

missing image file (4)

missing image file (5)

где missing image file missing image file (6)

missing image file

missing image file missing image file

missing image file

В соотношениях (6) матрицы H(μ), N(μ) имеют размерности m×n, n×m соответственно и удовлетворяют следующим уравнениям [10, с. 8]:

missing image file (7)

missing image file (8)

Уравнения (7), (8) имеют решения, которые могут быть представлены в виде равномерно сходящихся степенных рядов [10, с. 9]:

missing image file (9)

В [10, с. 9] определены матрицы Hi и Ns (i, s = 0, 1,…) путем приравнивания коэффициентов при одинаковых степенях μ в уравнениях (7), (8).

Начальные условия системы (4) и (5) определяются соотношениями

missing image file missing image file (10)

где missing image file missing image file missing image file, missing image file (11)

При μ = 0 из (6) будем иметь

missing image file missing image file missing image file missing image file.

Предположим, что выполняется следующее условие.

Условие 2. Пусть A0 – устойчивая матрица, то есть собственные значения матрицы A0 удовлетворяют неравенству missing image file где β – некоторая постоянная.

При выполнении условий 1 и 2 система (1) имеет интегральные многообразия [6, с. 17; 12, с. 772]:

missing image file missing image file (12)

Интегральные многообразия (12) записываем в следующих формах:

missing image file (13)

missing image file

где missing image file скалярные произведения векторов missing image file и missing image file

Матрицы B1 и B2 соответственно представим в следующих формах:

missing image file missing image file (14)

missing image file missing image file missing image file

Тогда с учетом (6) и (14) имеем

missing image file

missing image file missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file missing image file

missing image file

missing image file

missing image file

missing image file

missing image filemissing image file

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

Предположим, что выполняются следующие условия:

missing image file missing image file (15)

При выполнении условий (15) вместо исходной задачи (1)–(3) имеем задачу минимизации функционала (3) при ограничениях (4) и (5), при этом оптимальное управление u*(t) можно представить в форме [6, с. 18]:

missing image file (16)

где missing image file missing image file матрицы усиления, которые в процессе решения задачи определяются.

Таким образом, при выполнении условий 1, 2 и 15, задачу (1)–(3) представим в виде следующих двух подзадач, решения которых находится независимо друг от друга.

Задача A. Найти

missing image file (17)

при ограничениях:

missing image file (18)

где missing image file missing image file missing image file missing image file

Известно [13, с. 463], что при заданном управлении справедливы следующие соотношения:

missing image file missing image file (19)

missing image file missing image file

где математическое ожидание missing image file и ковариационная матрица missing image file удовлетворяют следующим разностным уравнениям:

missing image file missing image file (20)

missing image file missing image file (21)

Задача B. Найти

missing image file (22)

при ограничениях:

missing image file (23)

missing image file missing image file (24)

где missing image filemissing image file

missing image file missing image file

missing image file missing image file

missing image file missing image file (25)

missing image file missing image file (26)

Решение задачи. Рассмотрим задачу A. Для определения оптимального управления задачи A используем метод Ляпунова [6, с. 18]. Для данных задач функции Ляпунова представим в виде

missing image file missing image file (27)

где Λ и Σ – положительно определенные матрицы. Тогда первые разности функции (27) соответственно можно записать в виде

missing image file (28)

missing image file (29)

Согласно методу Ляпунова первая разность функции Ляпунова должна быть отрицательна определенной. Объединив условие отрицательной определенности первой разности функции Ляпунова (27) с функционалом (17), полагаем

missing image file

missing image file (30)

С учетом (16), (18) из (30) имеем

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

Из последнего равенства с учетом (19) получаем

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file (31)

При выполнении условий 1, 2 и 15 решения уравнения (20), (21) существуют, также существуют: Θv – матрица усиления управляющей функции (16) и Λ(t) – матрица функции Ляпунова (27), как решения следующих алгебраических уравнений:

missing image file

missing image file, (32)

missing image file

missing image file

Тогда равенство (31) будет справедливым.

Теперь рассмотрим задачу B.

missing image file

missing image file (33)

С учетом (16), (23) из (33) имеем

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

Из последнего равенства при любом missing image file с учетом (24) получаем

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file (34)

При выполнении условий 1, 2 и 15 решения уравнения (25), (26) существуют, также существуют: Θσ – матрица усиления управляющей функции (16) и Σ(t) – матрица функции Ляпунова (27), как решения следующих алгебраических уравнений:

missing image file

missing image file (35)

missing image file missing image file

Тогда равенство (34) будет справедливым. Сформулируем следующее утверждение в виде теоремы, в которой содержатся основные результаты данной работы.

Теорема. Пусть выполняются условия 1, 2 и 15. Тогда в интегральных многообразиях (13) линейные дискретные регуляторы missing image file и missing image file в виде обратной связи определяются соответственно функциями:

1) для задачи А:

missing image file (36)

где missing image file

2) для задачи B:

missing image file (37)

missing image file

3) линейные дискретные регуляторы missing image file и missing image file соответственно минимизируют функционалы (17), (22) и их минимальные значения определяются соотношениями

missing image file (38)

missing image file (39)

Доказательство. Докажем теорему для задачи A. Для того, чтобы минимизировать функционал (17), находим

missing image file (40)

missing image file (41)

С учетом (17) и (19) из (40) имеем

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file

Теперь с учетом (19) из последнего равенства получаем

missing image file

missing image file

missing image file (42)

Сравнивая правые части выражений (41) и (42), получаем равенство

missing image file

missing image file

missing image file

missing image file

missing image file (43)

Функционал (17) с учетом (19) перепишем в виде

missing image file

missing image file (44)

Теперь добавим к функционалу (44) левую часть равенства (43):

missing image file

missing image file

missing image file

missing image file

missing image file

missing image file (45)

Оптимальный вектор u(t) должен удовлетворять условию missing image file Тогда из (45) имеем

missing image file

Из последнего равенства получаем линейный дискретный регулятор missing image file (36).

Доказательство, пункт 2. С учетом (16) из (45) имеем

missing image file

missing image file

missing image file

missing image file

missing image file

Из последнего равенства с учетом первого и второго уравнения (32) и считая что missing image file, получаем (38).

Доказательство теоремы для задачи B проводится аналогично задаче A.

Заключение

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

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


Библиографическая ссылка

Аширбаев Б.Ы. АНАЛИТИЧЕСКОЕ КОНСТРУИРОВАНИЕ ЛИНЕЙНОГО РЕГУЛЯТОРА ДЛЯ ДИСКРЕТНОЙ СТОХАСТИЧЕСКОЙ СИСТЕМЫ С РАЗНЫМИ ТЕМПАМИ ДВИЖЕНИЙ // Современные наукоемкие технологии. – 2024. – № 11. – С. 242-252;
URL: https://top-technologies.ru/ru/article/view?id=40237 (дата обращения: 22.12.2024).

Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания»
(Высокий импакт-фактор РИНЦ, тематика журналов охватывает все научные направления)

«Фундаментальные исследования» список ВАК ИФ РИНЦ = 1,674