Reducción de la complejidad en el control de sistemas a eventos discretos modelados mediante automatas jerárquicos de estados finitos

Abstract

El presente trabajo describe el estudio y diseño de una herramienta computacional que permite reducir la complejidad en el estudio de los sistemas a eventos discretos. Para lograr el objetivo propuesto es necesario visualizar globalmente los aspectos teóricos involucrados en el tema de investigación. Esta visualización se inicia con un estudio de las técnicas de la automatización industrial, clasificación y enfoques. Al concluir el estudio sobre automatización industrial, se prosigue con una revisión sobre las características y marcos de referencia para el análisis de los sistemas industriales, se estudian las diferentes formalidades para el modelado de sistemas dinámicos a eventos discretos, logrando una clasificación de acuerdo a los niveles de abstracción deseados y del enfoque a utilizar. Una vez elegido el formalismo de los autómatas de estado se estudian los avances en el área de autómatas jerárquicos y las alternativas de su implementación. Teniendo la base teorica se procede al desarrollo de la herramienta de software, presentando los requerimientos, diseño y observaciones sobre el producto, por último se concluye con las ideas que sientan las bases para investigaciones futuras.