Propuesta de un formalismo para la supervisión de procesos continuos

En este trabajo se desarrolla una metodologia para modelar el nivel de decision en la supervision de sistemas continuos que represente el nivel de abstraccion de las decisiones de un supervisor humano. Se identifico los automatas de estados finitos y las redes de Petri como formalismos candidatos para desarrollar la metodologia. Paralelamente, de la literatura y la experiencia se definio cuatro (4) categorias que agrupan el listado de decisiones generalizadas y seguidamente se valida si el formalismo es apropiado para modelar las decisiones anteriormente definidas. Seguidamente, se lista un conjunto de escenarios de toma de decisiones en la industria y de acuerdo con la informacion recopilada, son generalizadas y agrupadas en categorias. De lo anterior, se identifica que la gran mayoria de las decisiones del operador en un proceso industrial se concentran en la apertura/cierre de elementos y el arranque/parada de equipos; ambas decisiones pueden ser modeladas utilizando automatas o redes de Petri, pero el resto no son soportadas por la teoria de automatas. Se propone el uso de redes de Petri como el formalismo para la supervision de procesos continuos. Se plantean escenarios de simulacion y se construye un entorno de pruebas para verificar el desempeno del formalismo frente al modelo mental del supervisor humano, evaluando el tiempo que emplea el operador para tomar la decision, la cantidad de intentos fallidos y por ultimo el efecto de la decision en el sistema, es decir, si fue correcta o incorrecta.