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...
- 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
id |
UNACIONAL2_f4d79a0b94754b12c30a2adba7f93939 |
---|---|
oai_identifier_str |
oai:repositorio.unal.edu.co:unal/68796 |
network_acronym_str |
UNACIONAL2 |
network_name_str |
Universidad Nacional de Colombia |
repository_id_str |
|
dc.title.spa.fl_str_mv |
Propuesta de un formalismo para la supervisión de procesos continuos |
title |
Propuesta de un formalismo para la supervisión de procesos continuos |
spellingShingle |
Propuesta de un formalismo para la supervisión de procesos continuos 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 |
title_short |
Propuesta de un formalismo para la supervisión de procesos continuos |
title_full |
Propuesta de un formalismo para la supervisión de procesos continuos |
title_fullStr |
Propuesta de un formalismo para la supervisión de procesos continuos |
title_full_unstemmed |
Propuesta de un formalismo para la supervisión de procesos continuos |
title_sort |
Propuesta de un formalismo para la supervisión de procesos continuos |
dc.creator.fl_str_mv |
Rodriguez Torres, Marco Tulio |
dc.contributor.author.spa.fl_str_mv |
Rodriguez Torres, Marco Tulio |
dc.contributor.spa.fl_str_mv |
Zapata Madrigal, Germán Darío |
dc.subject.ddc.spa.fl_str_mv |
62 Ingeniería y operaciones afines / Engineering |
topic |
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 |
dc.subject.proposal.spa.fl_str_mv |
Supervisión de procesos Supervisión Industrial Control Supervisorio Redes de Petri Processes supervision Industrial supervision Supervisory control, Petri nets, Automata |
description |
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. |
publishDate |
2018 |
dc.date.issued.spa.fl_str_mv |
2018-11-12 |
dc.date.accessioned.spa.fl_str_mv |
2019-07-03T10:11:17Z |
dc.date.available.spa.fl_str_mv |
2019-07-03T10:11:17Z |
dc.type.spa.fl_str_mv |
Trabajo de grado - Maestría |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/masterThesis |
dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
dc.type.content.spa.fl_str_mv |
Text |
dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TM |
status_str |
acceptedVersion |
dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/68796 |
dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/70027/ |
url |
https://repositorio.unal.edu.co/handle/unal/68796 http://bdigital.unal.edu.co/70027/ |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Sede Medellín Facultad de Minas Escuela de Mecatrónica Ingeniería de Control Ingeniería de Control |
dc.relation.references.spa.fl_str_mv |
Rodriguez Torres, Marco Tulio (2018) Propuesta de un formalismo para la supervisión de procesos continuos. Maestría thesis, Universidad Nacional de Colombia. |
dc.rights.spa.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional |
dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc/4.0/ |
dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2 |
eu_rights_str_mv |
openAccess |
dc.format.mimetype.spa.fl_str_mv |
application/pdf |
institution |
Universidad Nacional de Colombia |
repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
_version_ |
1814089695651430400 |
spelling |
Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Zapata Madrigal, Germán DaríoRodriguez Torres, Marco Tulio6c4d41de-4dbf-4b8b-b10d-a5df0c9ced323002019-07-03T10:11:17Z2019-07-03T10:11:17Z2018-11-12https://repositorio.unal.edu.co/handle/unal/68796http://bdigital.unal.edu.co/70027/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.Abstract: A methodological proposal is developed in this research with the objective of establishing the appropriate formalism to model the level of decision in the supervision of continuous systems that represents the level of abstraction of the decisions of a human supervisor. The finite state automatons and the Petri nets were identified as candidate formalisms to develop the methodology. In parallel, from the literature and experience, four (4) categories were defined, grouping the list of generalized decisions and then validating whether formalism is appropriate to model the previously defined decisions. Next, a set of decision-making scenarios is listed in the industry and according to the information gathered, they are generalized and grouped into categories. From the above, it is identified that the great majority of the decisions of the operator in an industrial process are concentrated in the opening / closing of elements and the start / stop of equipment; both decisions can be modeled using automata or petri nets, but the rest are not supported by the automata theory. The use of Petri nets is proposed as the formalism for the supervision of continuous processes. Simulation scenarios are proposed and a test environment is constructed to verify the performance of the formalism against the mental model of the human supervisor, evaluating the time the operator uses to make the decision, the number of failed attempts and finally the effect of the decision in the system, that is, whether it was correct or incorrect.Maestríaapplication/pdfspaUniversidad Nacional de Colombia Sede Medellín Facultad de Minas Escuela de Mecatrónica Ingeniería de ControlIngeniería de ControlRodriguez Torres, Marco Tulio (2018) Propuesta de un formalismo para la supervisión de procesos continuos. Maestría thesis, Universidad Nacional de Colombia.62 Ingeniería y operaciones afines / EngineeringSupervisión de procesosSupervisión IndustrialControl SupervisorioRedes de PetriProcesses supervisionIndustrial supervisionSupervisory control,Petri nets,AutomataPropuesta de un formalismo para la supervisión de procesos continuosTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionTexthttp://purl.org/redcol/resource_type/TMunal/68796oai:repositorio.unal.edu.co:unal/687962023-11-01 11:40:26.595Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |