Muñoz Robles, Leydy Viviana; Galíndez Trochez, Lenin
(Universidad del Cauca, 2010)
Este proyecto plantea una metodología para la el diseño de supervisores mediante el formalismo de autómatas extendidos de sistemas a eventos discretos, capaz de detectar todos los posibles estados de funcionamiento del ...