Технологии разработки и анализа предметно-ориентированных интеллектуальных систем группового управления в недетерминированных распределенных средах

Объектом настоящей НИР являются предметно-ориентированные интеллектуальные системы группового управления в недетерминированных распределенных средах. Целью настоящей НИР является проведение исследований по следующим трем направлениям: развитию существующих и разработка новых моделей, алгоритмов, методов и инструментальных средств создания предметно-ориентированных систем группового управления в недетерминированной распределенной среде на основе многоагентных технологий, интеллектуального анализа ретроспективных и текущих данных, а также машинного обучения агентов; разработке и программной реализации многоагентной технологии решения задач качественного анализа нелинейных управляемых двоичных динамических систем на основе логического подхода в микросервисной гибридной облачной среде; разработке методов построения и анализа многоуровневых систем интеллектуального управления группами роботов в недетерминированных средах. В ходе реализации этапа НИР 2021 г. выполнены следующие работы: разработана гибридная имитационная модель анализа функционирования компонентов информационно-вычислительных систем и их программно-аппаратных инфраструктур, представленных программными агентами; разработаны булевы модели качественного анализа нелинейных управляемых двоичных динамических систем на основе логического подхода; разработаны способы построения нормальных форм для позитивно-образованных формул с темпоральными операторами; решена задача супервизорного управления частично наблюдаемыми дискретно-событийными системами с применением метода автоматического доказательства теорем в исчислении позитивно-образованных формул; разработана алгоритмическая схема эффективного группового поведения при осуществлении оперативного оповещения внутри динамических распределенных робототехнических группировок; разработан основанный на событиях метод планирования пути в неизвестной среде для группы мобильных роботов; разработана и исследована математической модели распространения распределенной двухкомпонентной группировки подводных роботов (например, исследователи и заправщики), описываемой системой нелинейных уравнений типа реакции-диффузии.