Аннотация:
В работе разработана и исследована новая модель – структурированные динамические дискретно-событийные системы как теоретическая база проектирования супервизорного управления множеством автономных компонент. Определен состав модели, исследован вопрос существования супервизора – управляемости заданной спецификации, сформулированы основные этапы технологии проектирования в рамках предложенной модели анализа управляемости и метода синтеза супервизора.
Статья представлена к публикации членом редколлегии:О. П. Кузнецов
Alexey V. Kozov, Tamara M. Volosatova, Alexander A. Tachkov, 2021 International Russian Automation Conference (RusAutoCon), 2021, 991
Н. В. Нагул, “Генерация условий сохранения свойств управляемых дискретно-событийных систем”, Автомат. и телемех., 2016, № 4, 153–172; N. V. Nagul, “Generating conditions for preserving the properties of controlled discrete event systems”, Autom. Remote Control, 77:4 (2016), 672–686
Хадеев А.С., Браништов С.А., “Метод синтеза 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
А. А. Амбарцумян, С. А. Браништов, “Моделирование движения поездов на пассажирской станции”, УБС, 38 (2012), 121–139
А. А. Амбарцумян, “Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов. 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
А. А. Амбарцумян, Е. Е. Томилин, “Метод прямого синтеза супервизора для структурированной дискретно-динамической системы”, Автомат. и телемех., 2010, № 8, 168–188; A. A. Ambartzumyan, E. E. Tomilin, “Supervisor direct synthesis method for a structured discrete dynamical system”, Autom. Remote Control, 71:8 (2010), 1661–1679
А. А. Амбарцумян, “Сетецентрическое управление на сетях петри в структурированной дискретно-событийной системе”, УБС, 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