Teoría del control supervisor

La teoría de control supervisorio ( TCS ), también conocida como 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 cumplan la mayor cantidad posible de especificaciones dadas. Se supone que la planta genera eventos de forma espontánea. Estos eventos se clasifican en dos categorías: controlables o incontrolables . El supervisor observa la secuencia de eventos generados por la planta y puede impedir que esta genere un subconjunto de los 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 debían modelarse mediante lenguajes formales, no necesariamente lenguajes regulares generados por autómatas finitos, como se hizo en la mayoría de los trabajos posteriores.

• Sistema dinámico de eventos discretos ( DEDS )
• Cálculo diferencial booleano ( CDB ) – Campo de estudio del álgebra booleana que analiza los cambios de variables y funciones booleanas. 

• Ramadge, Peter J.; Wonham, Walter M. (enero de 1987). "Control de supervisión de una clase de procesos de eventos discretos". SIAM Journal on Control and Optimization . 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.
• Pinzon, Luz E. (1997-10-15). "El marco de Ramadge y Wonham" . Archivado del original el 2017-10-09 . Recuperado el 2017-10-09 .