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

En este trabajo se desarrolla una metodología para modelar el nivel de decisión en la supervisión de sistemas continuos que represente el nivel de abstracción de las decisiones de un supervisor humano. Se identificó los autómatas de estados finitos y las redes de Petri como formalismos candidatos pa...

Full description

Autores:
Rodriguez Torres, Marco Tulio
Tipo de recurso:
Fecha de publicación:
2018
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/68796
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/68796
http://bdigital.unal.edu.co/70027/
Palabra clave:
62 Ingeniería y operaciones afines / Engineering
Supervisión de procesos
Supervisión Industrial
Control Supervisorio
Redes de Petri
Processes supervision
Industrial supervision
Supervisory control,
Petri nets,
Automata
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
Description
Summary:En este trabajo se desarrolla una metodología para modelar el nivel de decisión en la supervisión de sistemas continuos que represente el nivel de abstracción de las decisiones de un supervisor humano. Se identificó los autómatas de estados finitos y las redes de Petri como formalismos candidatos para desarrollar la metodología. Paralelamente, de la literatura y la experiencia se definió cuatro (4) categorías 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 información recopilada, son generalizadas y agrupadas en categorías. De lo anterior, se identifica que la gran mayoría 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 autómatas o redes de Petri, pero el resto no son soportadas por la teoría de autómatas. Se propone el uso de redes de Petri como el formalismo para la supervisión de procesos continuos. Se plantean escenarios de simulación y se construye un entorno de pruebas para verificar el desempeño del formalismo frente al modelo mental del supervisor humano, evaluando el tiempo que emplea el operador para tomar la decisión, la cantidad de intentos fallidos y por último el efecto de la decisión en el sistema, es decir, si fue correcta o incorrecta.