Бақылау теориясы - Supervisory control theory

The қадағалау теориясы (SCT) деп те аталады Ramadge – Wonham шеңбері (RW жақтауы) - бұл зауыттың әрекетін шектейтін супервайзерлерді автоматты түрде синтездеу әдісі, бұл берілген сипаттамалардың мүмкіндігінше орындалады. Зауыт өздігінен оқиғаларды тудырады деп болжануда. Іс-шаралар келесі екі санаттың біреуінде болады басқарылатын немесе бақыланбайтын. Бақылаушы зауыт өндіретін оқиғалар тізбегін бақылайды және зауыттың бақыланатын оқиғалар жиынтығын құруына кедергі келтіруі мүмкін. Алайда, бақылаушының зауытты оқиға жасауға мәжбүрлейтін құралы жоқ.

SCT өзінің түпнұсқалық тұжырымдамасында міндетті түрде емес, зауыт пен спецификацияны ресми тілдермен модельдейді деп санады қарапайым тілдер жасаған ақырлы автоматтар көптеген кейінгі жұмыстарда жасағандай.

Сондай-ақ қараңыз

Әдебиеттер тізімі

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