Супервизорное управление структурированными динамическими дискретно-событийными системами

В работе разработана и исследована новая модель – структурированные динамические дискретно-событийные системы как теоретическая база проектирования супервизорного управления множеством автономных компонент. Определен состав модели, исследован вопрос существования супервизора – управляемости заданной спецификации, сформулированы основные этапы технологии проектирования в рамках предложенной модели анализа управляемости и метода синтеза супервизора.