Автоматика и телемеханика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Автоматика и телемеханика, 2010, выпуск 8, страницы 168–188 (Mi at874)  
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Автоматизация проектирования и программирования

Метод прямого синтеза супервизора для структурированной дискретно-динамической системы

А. А. Амбарцумян, Е. Е. Томилин

Институт проблем управления им. В. А. Трапезникова РАН, Москва
PDF полного текста (390 kB) Список цитирования (5)
Список литературы:
PDF
HTML
Аннотация: Предлагается метод реализации супервизора для дискретно-событийной системы, структурированной особым образом. Такая ДСС имеет следующие отличительные особенности: генератор языка представлен набором конечных автоматов, языковая модель расширена новым типом событий, которые названы “ожидаемыми”, спецификация определена как последовательность команд управления. Основное преимущество предлагаемого метода заключается в том, что он использует структурные знания о потоке событий для того, чтобы построить супервизор. Таким образом достигается линейная зависимость размера супервизора от размера начальных данных.
Статья представлена к публикации членом редколлегии: О. П. Кузнецов

Поступила в редакцию: 26.06.2009
Англоязычная версия:
Automation and Remote Control, 2010, Volume 71, Issue 8, Pages 1661–1679
DOI: https://doi.org/10.1134/S000511791008014X
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: А. А. Амбарцумян, Е. Е. Томилин, “Метод прямого синтеза супервизора для структурированной дискретно-динамической системы”, Автомат. и телемех., 2010, № 8, 168–188; Autom. Remote Control, 71:8 (2010), 1661–1679
Цитирование в формате AMSBIB
\RBibitem{AmbTom10}
\by А.~А.~Амбарцумян, Е.~Е.~Томилин
\paper Метод прямого синтеза супервизора для структурированной дискретно-динамической системы
\jour Автомат. и телемех.
\yr 2010
\issue 8
\pages 168--188
\mathnet{http://mi.mathnet.ru/at874}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2759632}
\zmath{https://zbmath.org/?q=an:1203.93070}
\transl
\jour Autom. Remote Control
\yr 2010
\vol 71
\issue 8
\pages 1661--1679
\crossref{https://doi.org/10.1134/S000511791008014X}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000280973600014}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-77958108186}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at874
  • https://www.mathnet.ru/rus/at/y2010/i8/p168
    • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
    Статистика просмотров:
    Страница аннотации:288
    PDF полного текста:97
    Список литературы:33
    Первая страница:7
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024