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

дискретно-событийные системы супервизорное управление супервизоры сети Петри Петри сети сетевые системы sNCES-сети контроллеры безопасности запрещенные состояния вычисления шагов

Аппроксимативная модель массового обслуживания общего вида и расчет ее характеристик, Алгебраические модели процессов мониторинга распределенного программного проекта, ...

В. Н. Дубинин ОБ ОДНОЙ МЕТОДИКЕ ПРОЕКТИРОВАНИЯ СУПЕРВИЗОРНОГО УПРАВЛЕНИЯ ДЛЯ ДИСКРЕТНО-СОБЫТИЙНЫХ СИСТЕМ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) для решения задачи предотвращения используется изменение маркировки произвольных позиций (в том числе внутренних), а не изменение значений входов модулей, что позволяет работать с моделями произвольной структуры, в том числе с замкнутыми моделями; <...> Примем следующие <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт