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

Предлагается метод реализации супервизора для дискретно-событийной системы, структурированной особым образом. Такая ДСС имеет следующие отличительные особенности: генератор языка представлен набором конечных автоматов, языковая модель расширена новым типом событий, которые названы “ожидаемыми”, спецификация определена как последовательность команд управления. Основное преимущество предлагаемого метода заключается в том, что он использует структурные знания о потоке событий для того, чтобы построить супервизор. Таким образом достигается линейная зависимость размера супервизора от размера начальных данных.

Статья представлена к публикации членом редколлегии: О. П. Кузнецов