Теория диспетчерского управления - Supervisory control theory

В теория диспетчерского управления (SCT), также известный как Рамаджа-Вонэма (Рамка RW), представляет собой метод автоматического синтеза супервизоров, которые ограничивают поведение объекта таким образом, чтобы выполнялись как можно больше данных спецификаций. Предполагается, что растение спонтанно генерирует события. События относятся к одной из следующих двух категорий. управляемый или же неконтролируемый. Супервизор наблюдает за цепочкой событий, генерируемых объектом, и может предотвратить создание на предприятии подмножества контролируемых событий. Однако у супервизора нет средств заставить предприятие генерировать событие.

В своей первоначальной формулировке SCT считал, что объект и спецификация моделируются формальными языками, не обязательно обычные языки создано конечные автоматы как это было сделано в большинстве последующих работ.

Смотрите также

• Дискретная динамическая система событий (DEDS)
• Булево дифференциальное исчисление (BDC)

Рекомендации

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