Использование реверсивных частично маркированных sNCES-сетей в синтезе контроллеров безопасности для дискретно-событийных систем

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

Быстрые алгоритмы траекторного прогнозирования, Износостойкость композиционных материалов на основе титана, полученных микродуговым оксидированием, ...

В. Н. Дубинин ИСПОЛЬЗОВАНИЕ РЕВЕРСИВНЫХ ЧАСТИЧНО МАРКИРОВАННЫХ sNCES-СЕТЕЙ В СИНТЕЗЕ КОНТРОЛЛЕРОВ БЕЗОПАСНОСТИ ДЛЯ ДИСКРЕТНО-СОБЫТИЙНЫХ СИСТЕМ В работе рассмотрены вопросы использования реверсивных частично маркированных sNCES-сетей (RsNCES-сетей) в синтезе контроллеров безопасности для дискретно-событийных систем. <...> К основным результатам работы относятся: расширенные sNCES-сети, включающие продукционные правила, для моделирования замкнутых систем; методы предотвращения разрешенных шагов в sNCES-сетях на основе конфигураций шагов в RsNCES-сетях с учетом взаимовлияния предотвращения шагов, а также метод построения предотвращающих правил на основе графа достижимости критических маркировок для RsNCES-сети. <...> Введение Быстрое развитие компьютерных и телекоммуникационных технологий, а также технологий датчиков вызвало широкое распространение нового класса динамических систем – дискретно-событийных систем (ДСС) [1]. <...> Изменение состояний в ДСС производится асинхронными дискретными событиями. <...> Примерами ДСС являются автоматизированные производственные системы, вычислительные и телекоммуникационные сети, системы управления полетами и транспортными перевозками, операционные системы, распределенные программные системы и т.д. <...> ДСС являются относительно новой областью исследования (возраст 20–30 лет), в ней используются различные модели, методы и средства из теории управления, компьютерных наук и исследования операций. <...> Данная работа посвящена разработке контроллеров безопасности на основе NCES-сетей и производных от них моделей и является дальнейшим развитием исследований по использованию NCES-моделей в проектировании систем управления [3, 6, 7, 9]. <...> В отличие от ранних работ (например, [6, 7]), для моделирования замкнутых систем используются sNCES-сети, расширенные продукционными правилами для корректировки маркировок сети во время функционирования. <...> Особенностью предложенной расширенной sNCES-модели является восстановление <...>

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