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