Аннотация:
Решается задача построения управляющих конечных автоматов по сценариям работы и темпоральным формулам. Предлагается новый алгоритм pstMuACO, совмещающий процедуру прореживания сценариев, точный алгоритм построения автоматов по сценариям работы efsmSAT на основе сведения к задаче выполнимости булевой формулы, и параллельный муравьиный алгоритм pMuACO. Эксперименты показали, что построение нескольких начальных решений для муравьиного алгоритма по сокращенным наборам сценариев существенно уменьшает суммарное время, необходимое для нахождения оптимального решения. Предложенный алгоритм может быть применен для автоматизированного построения надежных систем управления.
Статья представлена к публикации членом редколлегии:О. П. Кузнецов