|
Автомат. и телемех., 2016, выпуск 3, страницы 137–151
(Mi at14407)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Логическое управление
Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам
Д. С. Чивилихин, В. И. Ульянцев, А. А. Шалыто Университет ИТМО, Санкт-Петербург
Аннотация:
Решается задача построения управляющих конечных автоматов по сценариям работы и темпоральным формулам. Предлагается новый алгоритм pstMuACO, совмещающий процедуру прореживания сценариев, точный алгоритм построения автоматов по сценариям работы efsmSAT на основе сведения к задаче выполнимости булевой формулы, и параллельный муравьиный алгоритм pMuACO. Эксперименты показали, что построение нескольких начальных решений для муравьиного алгоритма по сокращенным наборам сценариев существенно уменьшает суммарное время, необходимое для нахождения оптимального решения. Предложенный алгоритм может быть применен для автоматизированного построения надежных систем управления.
Полный текст:
PDF файл (206 kB)
Список литературы:
PDF файл
HTML файл
Англоязычная версия:
Automation and Remote Control, 2016, 77:3, 473–484
Реферативные базы данных:
Тип публикации:
Статья Статья представлена к публикации членом редколлегии: О. П. Кузнецов
Поступила в редакцию: 10.12.2014
Образец цитирования:
Д. С. Чивилихин, В. И. Ульянцев, А. А. Шалыто, “Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам”, Автомат. и телемех., 2016, № 3, 137–151; Autom. Remote Control, 77:3 (2016), 473–484
Цитирование в формате AMSBIB
\RBibitem{ChiUlySha16}
\by Д.~С.~Чивилихин, В.~И.~Ульянцев, А.~А.~Шалыто
\paper Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам
\jour Автомат. и телемех.
\yr 2016
\issue 3
\pages 137--151
\mathnet{http://mi.mathnet.ru/at14407}
\elib{https://elibrary.ru/item.asp?id=25996295}
\transl
\jour Autom. Remote Control
\yr 2016
\vol 77
\issue 3
\pages 473--484
\crossref{https://doi.org/10.1134/S0005117916030097}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000373345900009}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84962418012}
Образцы ссылок на эту страницу:
http://mi.mathnet.ru/at14407 http://mi.mathnet.ru/rus/at/y2016/i3/p137
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
Эта публикация цитируется в следующих статьяx:
-
Lopez-Ibanez M., Dubois-Lacoste J., Caceres L.P., Birattari M., Stutzle T., “the Irace Package: Iterated Racing For Automatic Algorithm Configuration”, Oper. Res. Perspect., 3 (2016), 43–58
|
Просмотров: |
Эта страница: | 317 | Полный текст: | 45 | Литература: | 39 | Первая стр.: | 46 |
|