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