Теория супервизорного управления ( SCT ), также известная как структура Рамаджа – Вонэма ( структура RW ), представляет собой метод автоматического синтеза супервизоров, которые ограничивают поведение объекта таким образом, чтобы выполнялись как можно больше данных спецификаций. Предполагается, что растение спонтанно генерирует события. События относятся к одной из следующих двух категорий контролируемых или неконтролируемых . Супервизор наблюдает за цепочкой событий, генерируемых заводом, и может предотвратить создание на заводе подмножества контролируемых событий. Однако у супервизора нет средств заставить завод генерировать событие.
В своей первоначальной формулировке SCT считал объект и спецификацию моделируемыми формальными языками, не обязательно регулярными языками, генерируемыми конечными автоматами, как это было сделано в большинстве последующих работ.
Смотрите также
Рекомендации
- Рамадж, Питер Дж .; Вонхэм, Уолтер М. (январь 1987 г.). «Диспетчерское управление классом дискретных событийных процессов». SIAM Journal по управлению и оптимизации . 25 (1): 206–230. DOI : 10.1137 / 0325013 .
- Кумар, Ратнеш; Гарг, Виджай К. (1995). Моделирование и управление системами логических дискретных событий . Springer . ISBN 978-0-7923-9538-6.
- Пинзон, Луз Э. (1997-10-15). «Рамаджа и Вонэма» . Архивировано 9 октября 2017 года . Проверено 9 октября 2017 .