RUS  ENG
Полная версия
ЖУРНАЛЫ // Автоматика и телемеханика // Архив

Автомат. и телемех., 2016, выпуск 3, страницы 137–151 (Mi at14407)

Эта публикация цитируется в 4 статьях

Логическое управление

Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам

Д. С. Чивилихин, В. И. Ульянцев, А. А. Шалыто

Университет ИТМО, Санкт-Петербург

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

Статья представлена к публикации членом редколлегии: О. П. Кузнецов

Поступила в редакцию: 10.12.2014


 Англоязычная версия: Automation and Remote Control, 2016, 77:3, 473–484

Реферативные базы данных:


© МИАН, 2024