Сборники тезисов • Информационные и интеллектуальные системы и технологии • Технологии программирования, искусственный интеллект, биоинформатика
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2016.
Построение управляющих конечных автоматов по сценариям и темпоральным свойствам на основе итеративных запусков средства решения задачи выполнимости булевой формулы
УДК: 004.4’242
Аннотация:
В работе рассмотрена задача построения конечных управляющих автоматов с минимальным числом состояний, совместимых с заданными сценариями поведения и LTL-формулами. Задача решается при помощи ее сведения к серии задач выполнимости булевой формулы (SAT) и итеративного запуска стороннего программного средства для решения задачи SAT. Экспериментальное исследование проведено на примерах из литературы и на случайно сгенерированных данных.