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