В данном исследовании предлагается метод для решения задачи синтеза набора распределенных конечно-автоматных алгоритмов управления на основе примеров поведения. Предлагаемые методы и подходы основаны на сведениях к задачам выполнимости булевой формулы (SAT), а также на верификации с помощью метода проверки моделей. Результаты исследования могут быть применены в разработке промышленных систем управления. Секция: Технологии программирования, искусственный интеллект, биоинформатика.
Суворов Д.М. (науч. рук. Чивилихин Д.С.) Cинтез конечно-автоматных алгоритмов управления для распределенных киберфизических систем с использованием симуляционных моделей // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/3759