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

Чухарев К.И. (науч. рук. Чивилихин Д.С.) Синтез конечно-автоматных алгоритмов управления для программируемых логических контроллеров в распределенных киберфизических системах // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/8478