La teoría del control de supervisión ( SCT ), también conocida como el marco Ramadge-Wonham ( marco RW ), es un método para sintetizar automáticamente supervisores que restringen el comportamiento de una planta de manera que se cumpla la mayor cantidad posible de las especificaciones dadas. Se supone que la planta genera eventos de manera espontánea. Los eventos están en una de las siguientes dos categorías controlables o incontrolables . El supervisor observa la serie de eventos generados por la planta y podría evitar que la planta genere un subconjunto de eventos controlables. Sin embargo, el supervisor no tiene forma de obligar a la planta a generar un evento.
En su formulación original, la SCT consideraba que la planta y la especificación estaban modeladas por lenguajes formales, no necesariamente lenguajes regulares generados por autómatas finitos como se hizo en la mayoría de los trabajos posteriores.
Ver también
Referencias
- Ramadge, Peter J .; Wonham, Walter M. (enero de 1987). "Control de supervisión de una clase de procesos de eventos discretos". Revista SIAM de Control y Optimización . 25 (1): 206–230. doi : 10.1137 / 0325013 .
- Kumar, Ratnesh; Garg, Vijay K. (1995). Modelado y control de sistemas lógicos de eventos discretos . Springer . ISBN 978-0-7923-9538-6.
- Pinzón, Luz E. (15 de octubre de 1997). "El marco de Ramadge y Wonham" . Archivado desde el original el 9 de octubre de 2017 . Consultado el 9 de octubre de 2017 .