Analytical method for generating feasible control sequences in controller development

Supervisión de sistemas lógicos de control utilizando el diagrama de evolución del estado*

“…Se dispone de una representación de las secuencias factibles de ejecución del proceso. En (Trujillo et al, 2007) se han desarrollado técnicas para la obtención y clasificación de las secuencias factibles de un proceso productivo. El conjunto de todas las secuencias factibles correspondientes al correcto funcionamiento de un sistema se especifica mediante un lenguaje formal que se denota L p y que corresponde al cierre de Kleene (Hopcroft et al, 2006) de un número finito de secuencias primitivas denominadas patrones.…”

“…La secuencia de funcionamiento será cíclica, aunque podrá componerse de subsecuencias primitivas de menor longitud que se concatenan para lograr los objetivos de fabricación. La evolución de la secuencia de estados de un sistema productivo puede ser monitorizada de forma continua por un supervisor (Trujillo et al, 2007). En el momento en que el proceso se desvíe del comportamiento factible, y siga un camino que conduzca a una situación de bloqueo, el controlador podrá tomar las acciones oportunas, mientras exista reversibilidad, para que el sistema regrese a un estado o situación conocida desde la cual se puede recuperar su funcionamiento normal.…”