РУсскоязычный Архив Электронных СТатей периодических изданий
Известия высших учебных заведений. Поволжский регион. Технические науки/2009/№ 3/

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

В работе предлагается методика проектирования супервизоров для предотвращения запрещенных состояний для неуправляемых и управляемых дискретно-событийных систем. Рассматриваются вопросы поиска и навигации по пространству состояний в прямом и обратном направлениях, вычисления шагов в линейной структуре. Затронуты вопросы реализации систем безопасности. Приводится пример системы двух выталкивателей для демонстрации предложенной методики.

Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
В. Н. Дубинин ОБ ОДНОЙ МЕТОДИКЕ ПРОЕКТИРОВАНИЯ СУПЕРВИЗОРНОГО УПРАВЛЕНИЯ ДЛЯ ДИСКРЕТНО-СОБЫТИЙНЫХ СИСТЕМ1 Аннотация. <...> В работе предлагается методика проектирования супервизоров для предотвращения запрещенных состояний для неуправляемых и управляемых дискретно-событийных систем. <...> Рассматриваются вопросы поиска и навигации по пространству состояний в прямом и обратном направлениях, вычисления шагов в линейной структуре. <...> Приводится пример системы двух выталкивателей для демонстрации предложенной методики. <...> Ключевые слова: дискретно-событийные системы, супервизорное управление, сетевые системы «условие–событие», запрещенная маркировка, методика проектирования, линейный шаг, частичная маркировка, выталкиватель, граф достижимости критических маркировок. <...> Keywords: discrete event systems, supervisory control, net condition/event systems, forbidden marking, design technique, linear step, partial marking, pusher, reachability graph of critical markings. <...> Для решения задач проектирования управляющих систем для ДСС была разработана теория супервизорного управления [1]. <...> Хорошей идеей в области проектирования супервизоров ДСС является использование сетей Петри и производных от них моделей [2]. <...> Например, в работе [3] для решения задач супервизорного управления используются «сетевые системы условие–событие» (NCES-сети), а в [4] – безопасные NCESсети (sNCES-сети), являющиеся расширением сетей Петри. <...> В данной работе предлагается методика проектирования неблокируемых максимально разрешающих супервизоров для предотвращения запрещенных состояний, основанная на использовании расширенных sNCES-сетей. <...> Информатика, вычислительная техника В дальнейшем супервизоры подобного типа будем также называть контроллерами безопасности. <...> 2) для решения задачи предотвращения используется изменение маркировки произвольных позиций (в том числе внутренних), а не изменение значений входов модулей, что позволяет работать с моделями произвольной структуры, в том числе с замкнутыми моделями; <...> Примем следующие <...>
** - вычисляется автоматически, возможны погрешности

Похожие документы: