Repositorio Universidad del Cauca

Herramienta basada en autómatas para diseño e implementación con PLC, de supervisores de sistemas de eventos discretos

Mostrar el registro sencillo del ítem

dc.contributor.author Muñoz Robles, Leydy Viviana
dc.contributor.author Galíndez Trochez, Lenin
dc.date.accessioned 2022-11-25T16:37:42Z
dc.date.available 2022-11-25T16:37:42Z
dc.date.issued 2010
dc.identifier.uri http://repositorio.unicauca.edu.co:8080/xmlui/handle/123456789/5721
dc.description.abstract 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 proceso a evaluar. Se utiliza en primera instancia una metodología existente que utiliza el concepto de autómatas para el diseño de supervisores, sin embargo esta metodología no es aplicable en procesos donde existe la presencia de contadores y temporizadores, por lo que se hace necesario hacer una ampliación a la misma. Esta ampliación involucra que además de contar con una herramienta para el diseño de los autómatas finitos se deba usar una herramienta para la verificación y simulación del autómata, con el fin de determinar que no existen bloqueos o estados inalcanzables en el supervisor. Para cumplir este objetivo se usa la herramienta UPPAAL. Finalmente se desarrolla una herramienta software llamada FSMLADDER, que como su nombre lo indica nos permite a partir de una Máquina de estado finito (FSM) o autómata obtener un supervisor del proceso, para posteriormente ser traducido de manera automática al lenguaje LADDER . De esta manera el usuario deberá crear los autómatas a partir de la metodología propuesta en DESUMA, cargarlos al software FSMLADDER y este se encargara de realizar la composición paralela (autómata supervisor), convertirlo de manera automática al archivo XML usado por UPPAL para realizar la verificación y simulación y finalmente generar el archivo con el código LADDER del proceso. en_US
dc.language.iso es en_US
dc.publisher Universidad del Cauca en_US
dc.subject Eventos discretos en_US
dc.subject Supervisores en_US
dc.subject Autómata en_US
dc.subject FSM en_US
dc.subject PLC en_US
dc.subject Línea de producción en_US
dc.title Herramienta basada en autómatas para diseño e implementación con PLC, de supervisores de sistemas de eventos discretos en_US
dc.type Trabajos de grado en_US


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Buscar en DSpace


Listar

Mi cuenta