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...