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