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

ПРИМЕНЕНИЕ ИНВАРИАНТОВ В УПРАВЛЕНИИ ТЕХНИЧЕСКИМИ СИСТЕМАМИ

Хачумов М.В. 1, 2, 3
1 ФИЦ ИУ РАН
2 ФГАОУ ВО «Российский университет дружбы народов»
3 ИПС им. А.К. Айламазяна РАН
В исследовании рассматриваются подходы и практические примеры использования инвариантов в задачах теории управления. Дается краткая характеристика работ в области построения инвариантов в математике, информатике и теории управления. Показано, что использование инвариантов группы допустимых преобразований может существенно упростить анализ и синтез технических систем. Рассмотрены некоторые определения, включая понятия полноты и минимальности набора инвариантов. Решается задача поиска инвариантов для линейных форм управления в виде передаточных функций. В качестве примера рассмотрены инварианты передаточной функции продольного движения летательного аппарата. Рассматриваются инварианты управления в виде эллипсов, которые возникают, например, в задачах преследования-убегания. При известных стартовых позициях игроков и фиксированных параметрах эллипса решаются задачи определения времени и координат точки встречи убегающего игрока с эллипсом, а также определения скорости движения и направления преследователя для встречи с убегающим. Построена зависимость скорости движения преследователя от параметров эллипса. Для продолжения исследований в области автоматического управления планируется рассмотреть передаточные функции более высоких порядков, а для трехмерного случая задачи преследования-убегания предлагается в качестве инварианта рассмотреть эллипсоид.
инварианты
теория управления
динамическая система
летательный аппарат
передаточная функция
игра преследования-убегания
эллипс
1. Хачумов М.В., Талалаев А.А., Хачумов В.М. Об одном эвристическом критерии в задаче определения изоморфизма графов на основе инвариантов // Современные наукоемкие технологии. 2022. № 2. С. 159–163. DOI: 10.17513/snt.39051.
2. Емельянова Ю.Г., Фраленко В.П., Шишкин О.Г. Автоматическое восстановление пропущенных, исправление поврежденных и эмуляция данных телеметрии космического аппарата // Современные наукоемкие технологии. 2019. № 5. С. 47–51. DOI: 10.17513/snt.37518.
3. Успенский М.Б. Обзор подходов к обнаружению сбоев в системах хранения данных // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2019. Т. 12. № 4. С. 145–158. DOI: 10.18721/JCSTCS.12412.
4. Wang X., Liu Y. Fault localization using disparities of dynamic invariants. Journal of Systems. and Software. 2016. Vol. 122. P. 144–154. DOI: 10.1016/j.jss.2016.09.014.
5. Shaikh A., Rizwan S., Alghamdi A., Islam N., Elmagzoub M., Syed D. A learning-based fault localization approach using subset of likely and dynamic invariants. Intelligent automation & soft computing. 2022. Vol. 31. P. 1529–1546. DOI: 10.32604/iasc.2022.021163.
6. Нгуен З.Т. Инварианты в задачах распознавания графических образов // Вестник Российского университета дружбы народов. Серия: «Математика, физика и информатика». 2016. № 1. С. 76–85.
7. Поляк Б.Т., Топунов М.В., Щербаков П.С. Идеология инвариантных эллипсоидов в задаче о робастном подавлении ограниченных внешних возмущений // Стохастическая оптимизация в информатике. 2007. Т. 3. С. 51–84.
8. Емельянова Ю.Г., Хачумов В.М. Когнитивная визуализация устойчивых физиологических и личностных факторов // Современные наукоемкие технологии. 2021. № 1. С. 25–30. DOI: 10.17513/snt.38466.
9. Мироновский Л.А. Теория инвариантов и ее применение в технической диагностике // Навигация и управление движением: материалы докладов IV Конференции молодых ученых (Санкт-Петербург, 12 марта – 30 ноября 2002 г.). СПб.: Издательство «Центральный научно-исследовательский институт “Электроприбор”», 2002. С. 64–83.
10. Ramana M., Kothari M. Pursuit-evasion games of high speed evader. Journal of intelligent & robotic systems. 2017. Vol. 85.
P. 293–306

Инвариантность в математике – это свойство математического объекта оставаться неизменным после операции или трансформации определенного типа. Теория инвариантов может быть использована как удобный язык для решения задач, связанных с алгебраическими преобразованиями. Один из первых алгебраических инвариантов Лагранжа – дискриминант квадратичной формы. В случае бинарной формы missing image file он вычисляется по формуле missing image fileи используется при нахождении корней квадратных уравнений. В информатике – это логические утверждения, которые считаются истинными на определенном этапе исполнения программы. Они эффективны, например, при решении задачи об эквивалентности объектов, описанных графами [1].

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

В диагностике технических систем нашли применение сети инвариантов [3]. Их объединение по наблюдаемым компонентам и проведение корреляционного анализа позволяет обнаруживать аномальное поведение системы по отклонениям. Аналогичный подход, но применительно к анализу программного обеспечения рассмотрен в работах [4, 5]. В качестве недостатка этого направления можно назвать сложность определения инвариантов, фильтрации данных и обнаружения ложных срабатываний. Большую практическую значимость имеют алгебраические инварианты. Примером служат такие инвариантные моменты, как преобразователи «изображение – код» для бинарных и полутоновых изображений, выражаемые полиномами. На основе комбинации алгебраических инвариантов, составляющих определенный базис, можно строить другие инварианты в виде некоторых многочленов [6]. В теории систем управления инварианты активно применяют для анализа динамических систем и синтеза систем управления с заданными характеристиками. Так, например, в качестве инвариантов часто выделяют эллипсоиды, связанные с функциями Ляпунова [7].

Таким образом, понятие инвариантов широко используется в различных областях математики, техники, информатики и автоматического управления. Следует отметить, что представленный обзор может быть дополнен и другими примерами выявления устойчивых свойств объектов, называемых инвариантами или субинвариантами, которые могут быть успешно применены, например, в задачах распознавания образов и выявления состояний объектов различной природы [8].

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

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

Пусть задано множество М, на котором определены преобразования G. Исходя из свойств инвариантности, можно записать: missing image file [9]. Представляет интерес вопрос о полноте набора независимых инвариантов для множества M и их количестве. Введем некоторые определения, связанные со свойствами инвариантности.

Определение 1. Набор инвариантов φ1,…,φN называется полным, если из равенства инвариантов двух произвольных элементов множества M следует их эквивалентность missing image file

missing image file

Определение 2. Полная система инвариантов называется минимальной, если из нее нельзя удалить ни одного инварианта, не нарушая полноты.

Инварианты передаточных функций (инварианты статической обратной связи)

Рассмотрим устойчивость параметров управления к действию статической обратной связи на основе анализа передаточной функции замкнутой системы. Пусть задан объект управления с передаточной функцией вида

missing image file

missing image file (1)

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

missing image file

Рис. 1. Замкнутая система управления

В соответствии с рисунком получаем

missing image file

missing image file (2)

Матрицы коэффициентов передаточных функций Q0(p) и Q1(p) имеют вид

missing image file. (3)

Коэффициенты числителя передаточной функции замкнутой системы в количестве n не изменили своего значения. Корни полинома B(p) (нули системы) также не изменились, т.е. являются инвариантами.

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

missing image file, (4)

получим матрицу D1 = TD0,

missing image file

missing image file.

Инвариантами, кроме элементов первой строки матриц D, являются её миноры второго порядка

missing image file (5)

Таким образом, имеем характеристики динамических систем, остающиеся неизменными, т.е. инварианты к рассмотренному преобразованию Q1(p).

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

Эллипсы как инварианты в системах управления

Рассмотрим один из вариантов решения задачи преследования-убегания. Известные задачи преследования, когда скорость преследователя больше скорости убегающего, приводят к встрече убегающего и преследователя на границе окружности или поверхности сферы Аполлония [10].

В нашем случае задача заключается в подборе управления таким образом, чтобы встреча с убегающим происходила на эллипсе. Убегающий (цель) стартует из точки с координатами (0,0) и движется с постоянной скоростью ve под выбранным углом α. Преследователь двигается из точки (0,–m) и может управлять как углом направления перемещения β, так и скоростью vp > ve в пределах заданных ограничений, так, чтобы встреча состоялась на границе эллипса (рис. 2).

Расстояние от преследователя и убегающего до точки встречи missing image file, missing image file.

missing image file

Рис. 2. Пример задачи преследования-убегания при встрече игроков на эллипсе

Преследователь осуществляет управление скоростью и углом, таким образом, имеем следующую систему уравнений:

missing image file = missing image file – время до встречи преследователя и убегающего,

missing image file – уравнение эллипса с центром в точке (0,0),

missing image file – уравнение линии, по которой происходит преследование,

missing image file – уравнение линии, по которой происходит преследование.

При этом коэффициент k2 задается самим убегающим, a,b считаются известными на момент решения задачи. Неизвестными являются k1 и vp, т.е. параметры преследователя.

Решение разобьем на следующие этапы:

1. Найдем пересечение линии убегания с эллипсом из указанной системы уравнений. После подстановки y = k2x получим

missing image file (6)

откуда

missing image file

missing image file

missing image file

2. Найдем время пересечения убегающим границы эллипса и направление движения преследователя.

missing image file (7)

3. Найдем скорость, которой должен обладать преследователь при найденном месте встречи и известной скорости убегающего.

missing image file (8)

Соотношение скоростей в задаче преследования-убегания должно составлять

missing image file (9)

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

Результаты исследования и их обсуждение

Пример 1. Рассмотрим в качестве примера передаточную функцию продольного движения летательного аппарата (ЛА)

missing image file (10)

Для замкнутой системы:

Wз(S)missing image file

missing image file

Покажем наличие инвариантов по отношению к статической обратной связи. Запишем коэффициенты передаточных функций Q0(p) и Q1(p) в виде матриц

missing image file.

Таким образом, имеем инварианты:

1) элементы первых строк матриц D0 и D1: –8,728, –5,417;

2) матрица missing image file.

Указанные характеристики динамических систем остаются неизменными, т.е. являются инвариантами к рассмотренному преобразованию Q1(p). Все остальные инварианты статической обратной связи могут быть выражены через эти величины.

Пример 2. В качестве второго примера рассмотрим решение задачи преследования-убегания при указанной ранее постановке. Введем отношение осей эллипса как n = b / a, missing image file и примем без потери общности, что a = 1, missing image file,тогда получим

missing image file (11)

При этом missing image file, missing image file.

Построим график зависимости (рис. 3) скорости преследователя c начальным положением (0, –0,5) при фиксированной скорости ve = 5 и направлении k2 = π / 4 убегающего от параметров эллипса vp = f2(n).

missing image file

Рис. 3. Зависимость скорости преследователя от параметров эллипса

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

Результаты проведенных исследований могут быть использованы при решении ряда задач, связанных с управлением движения летательных аппаратов (ЛА). В том числе:

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

2. Результаты в части построения устойчивых эллиптических границ встречи двух ЛА имеют прикладное значение для решения задач стыковки объектов на эллиптической орбите и решения дифференциальной игры преследования-уклонения в задачах двойного назначения в условиях территориальных ограничений.

На рис. 4 показан пример иллюстрации двух задач, когда убегающий движется из точки (0,0) под углами α и α*, а преследователь движется из точки (0, –m), так чтобы встреча состоялась в первом варианте на границе эллипса, а во втором варианте на границе окружности. Площадь, охватываемая окружностью So = πr2, площадь эллипса Sэ = πab, где a и b соответственно, длина большой и малой полуоси, a ≥ b.

missing image file

Рис. 4. Пример задачи преследования-убегания при встрече игроков на эллипсе и на окружности

Положим a = r, тогда соотношение площадей, охватываемых кругом и эллипсом, составляет

missing image file,

что определяет поиск решения в ограниченной области возможной встречи ЛА.

Заключение

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

Работа выполнена при финансовой поддержке проекта РФФИ № 20-07-00022 А «Разработка и исследование методов распознавания образов на основе инвариантов к яркостным и геометрическим преобразованиям в системах технического зрения беспилотных летательных аппаратов».


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

Хачумов М.В. ПРИМЕНЕНИЕ ИНВАРИАНТОВ В УПРАВЛЕНИИ ТЕХНИЧЕСКИМИ СИСТЕМАМИ // Современные наукоемкие технологии. – 2022. – № 9. – С. 72-77;
URL: https://top-technologies.ru/ru/article/view?id=39311 (дата обращения: 25.04.2024).

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

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