Аннотация:
Предлагается метод реализации супервизора для дискретно-событийной системы, структурированной особым образом. Такая ДСС имеет следующие отличительные особенности: генератор языка представлен набором конечных автоматов, языковая модель расширена новым типом событий, которые названы “ожидаемыми”, спецификация определена как последовательность команд управления. Основное преимущество предлагаемого метода заключается в том, что он использует структурные знания о потоке событий для того, чтобы построить супервизор. Таким образом достигается линейная зависимость размера супервизора от размера начальных данных.
Статья представлена к публикации членом редколлегии:О. П. Кузнецов
Образец цитирования:
А. А. Амбарцумян, Е. Е. Томилин, “Метод прямого синтеза супервизора для структурированной дискретно-динамической системы”, Автомат. и телемех., 2010, № 8, 168–188; Autom. Remote Control, 71:8 (2010), 1661–1679
\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:
Alexey V. Kozov, Tamara M. Volosatova, Alexander A. Tachkov, 2021 International Russian Automation Conference (RusAutoCon), 2021, 991
Хадеев А.С., Браништов С.А., “Метод синтеза ld-программ для плк на основе концепции супервизорного управления дискретно-событийными системами, представленными в сетях петри”, Автоматизация, телемеханизация и связь в нефтяной промышленности, 2013, № 1, 42–48
Synthesis method of ld-programs for the plc on the basis of the concept supervisor control for discrete-events systems available in the petri nets
А. А. Амбарцумян, “Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов. I. Механизм взаимодействия и базовый метод”, Автомат. и телемех., 2011, № 8, 151–169; A. A. Ambartsumyan, “Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method”, Autom. Remote Control, 72:8 (2011), 1718–1734
А. А. Амбарцумян, “Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов. II. Метод синтеза супервизора по множеству последовательностей общего вида”, Автомат. и телемех., 2011, № 9, 173–189; A. A. Ambartsumyan, “Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences”, Autom. Remote Control, 72:9 (2011), 1951–1966
А. А. Амбарцумян, “Сетецентрическое управление на сетях петри в структурированной дискретно-событийной системе”, УБС, 30.1 (2010), 506–535; A. A. Ambartzumyan, “Network-centric control on petri nets for structured discrete event system”, Autom. Remote Control, 73:7 (2012), 1227–1241