8608

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

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

Наименование источника: 

  • Автоматика и телемеханика

Обозначение и номер тома: 

№8

Город: 

  • Москва

Издательство: 

  • Наука

Год издания: 

2010

Страницы: 

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

Библиографическая ссылка: 

Амбарцумян А.А., Томилин Е.Е. Метод прямого синтеза супервизора для структурированных дискретно событийных систем // Автоматика и телемеханика. 2010. №8. С. 168-188.