Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos
En este trabajo se realizó, el modelado y diseño del sistema de control de la variable temperatura, en un tanque de almacenamiento de agua. Teniendo en cuenta la arquitectura híbrida del sistema (relación de la dinámica continua y la dinámica a través de eventos), para esto fue utilizado autómatas f...
- Autores:
-
Cañon Forero, Nathalie
Rodríguez Mora, Diego
Gutiérrez Calderón, Jenny
Amaya Hurtado, Dario
Avilés Sánchez, Oscar
- Tipo de recurso:
- Fecha de publicación:
- 2012
- Institución:
- Universidad Santo Tomás
- Repositorio:
- Universidad Santo Tomás
- Idioma:
- spa
- OAI Identifier:
- oai:repository.usta.edu.co:11634/8322
- Acceso en línea:
- http://revistas.ustabuca.edu.co/index.php/ITECKNE/article/view/90
- Palabra clave:
- Autómata Finito, Sistema Hibrido, sis- tema embebido.
- Rights
- License
- Copyright (c) 2018 ITECKNE
| id |
SantoToma2_0b8fc2382f7f2aa4a41ab539d3aa73a1 |
|---|---|
| oai_identifier_str |
oai:repository.usta.edu.co:11634/8322 |
| network_acronym_str |
SantoToma2 |
| network_name_str |
Universidad Santo Tomás |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos |
| title |
Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos |
| spellingShingle |
Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos Autómata Finito, Sistema Hibrido, sis- tema embebido. |
| title_short |
Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos |
| title_full |
Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos |
| title_fullStr |
Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos |
| title_full_unstemmed |
Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos |
| title_sort |
Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos |
| dc.creator.fl_str_mv |
Cañon Forero, Nathalie Rodríguez Mora, Diego Gutiérrez Calderón, Jenny Amaya Hurtado, Dario Avilés Sánchez, Oscar |
| dc.contributor.author.spa.fl_str_mv |
Cañon Forero, Nathalie Rodríguez Mora, Diego Gutiérrez Calderón, Jenny Amaya Hurtado, Dario Avilés Sánchez, Oscar |
| dc.subject.proposal.spa.fl_str_mv |
Autómata Finito, Sistema Hibrido, sis- tema embebido. |
| topic |
Autómata Finito, Sistema Hibrido, sis- tema embebido. |
| description |
En este trabajo se realizó, el modelado y diseño del sistema de control de la variable temperatura, en un tanque de almacenamiento de agua. Teniendo en cuenta la arquitectura híbrida del sistema (relación de la dinámica continua y la dinámica a través de eventos), para esto fue utilizado autómatas finitos como herramienta de modelado y control. Inicialmente se obtuvo el modelo matemático, que corresponde a la dinámica continua, de la variable de temperatura del líquido que se encuentra en el tanque, agua. Por otro lado, para modelar el comportamiento de las variables que responden en función de eventos, se tomó en cuenta los posibles estados del sistema. Posteriormente, se establecieron los requerimientos y restricciones del sistema que surgieron a partir del análisis, los cuales complementan el comportamiento de la misma, se obtuvo la representación del proceso y su control, en un concepto de dinámica hibrida, mediante autómatas finitos. Este modelo se simuló con la herramienta StateFlow de Simulink de MATLAB® y se implementó en un sistema embebido Cyclone II. Previo a estos resultados, se realizó un controlador tipo PID para realizar la comparación de los comportamientos obtenidos en cada caso. Se verificó que es una técnica de fácil uso e implementación con gran eficiencia en tiempos de respuesta. |
| publishDate |
2012 |
| dc.date.issued.spa.fl_str_mv |
2012-12-07 |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.drive.none.fl_str_mv |
info:eu-repo/semantics/article |
| dc.identifier.spa.fl_str_mv |
http://revistas.ustabuca.edu.co/index.php/ITECKNE/article/view/90 10.15332/iteckne.v9i2.90 |
| url |
http://revistas.ustabuca.edu.co/index.php/ITECKNE/article/view/90 |
| identifier_str_mv |
10.15332/iteckne.v9i2.90 |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.relation.spa.fl_str_mv |
http://revistas.ustabuca.edu.co/index.php/ITECKNE/article/view/90/93 http://revistas.ustabuca.edu.co/index.php/ITECKNE/article/view/90/94 /*ref*/Zhang Si-Bing, Chen Jie, Wang Ya. “A formal verification method of hybrid system and simulation”, in Proc. 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT). Conf., pp. 411-415 /*ref*/R. Alur, T. Henzinger, G. Lderriere, and G. Pappas. Discrete Abstractions of hybrid systems. In Proceedings of IEEE, volume 88, pages 971-984, 2000. /*ref*/Nedialkov N. Mohrenschildt M. “Rigorous Simulation of Hybrid Dynamic Systems with Symbolic and Interval Methods”, in Proc. American Control Conference, Proceedings of the 2002. Conf., pp 140-147. /*ref*/Fourlas F., Kyriakopoulos K., Vournas C. “Hybrid system modeling for power system”, IEEE Circuits and Systems Magazine, Vol. 4, no. 3, pp 16-23. Oct. 2004 /*ref*/Alberto M., Schwer I., Cámara v., Fumero Y. Matemática Discreta: Con aplicaciones a las ciencias de la programación y computación, Argentina, Ed. UNL, 2005. /*ref*/WOLFRAM S. Anew Kind of Science, Estados Unidos, Ed. Wolfram Media; 2002. /*ref*/HOPCROFT J., MOTWANI R., ULLMAN J. Introducción a la teoría de autómatas, lenguajes y computación, España, Ed. ADDISON-WESLEY; 2002. /*ref*/CRUZ B., LARA E. Control híbrido de un sistema electromecánico de llenado de botellas. En Congreso Nacional de Control Automático A.M.C.A, Universidad Autónoma de Nuevo León, Monterrey, 24-26 Oct. 2007. /*ref*/Cruz B., Avilés J., Lara E. “Diseño de un controlador basado en el modelo del autómata híbrido”, Revista académica de la FI-UADY, vol.13, no. 2, pp. 5-12, En. / Abr. 2009 /*ref*/Cruz B. “Modelación y análisis de un sistema híbrido: Un caso de estudio con un sistema de tanques”, Revista Académica de la FI-UADY, Vol.10, no.2, pp. 5 15. May/ Ag. 2006 /*ref*/Hrúz B., Zhou M. Modeling and control of discrete-event dynamical systems, Londres, Ed. Springer-Verlag, 2007 /*ref*/Wilmshurst T. An Introduction to the Design of Small Scale Embedded Systems with examples from PIC, 80C51 and 68HC05/08 Microcontrollers, Gran Bretaña, Ed. Palgrave Foundations, 2003. /*ref*/Alonso F., Martínez L., Segovia F. Introducción a la Ingeniería del Software: Modelos de desarrollo de programas, España, Ed. Delta Publicaciones, 2005. |
| dc.relation.citationissue.spa.fl_str_mv |
ITECKNE; Vol 9, No 2 (2012); 128-134 2339-3483 1692-1798 |
| dc.relation.citationissue.eng.fl_str_mv |
ITECKNE; Vol 9, No 2 (2012); 128-134 |
| dc.rights.eng.fl_str_mv |
Copyright (c) 2018 ITECKNE |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
Copyright (c) 2018 ITECKNE http://purl.org/coar/access_right/c_abf2 |
| dc.format.mimetype.spa.fl_str_mv |
application/zip application/pdf |
| dc.publisher.eng.fl_str_mv |
Universidad Santo Tomás. Seccional Bucaramanga |
| institution |
Universidad Santo Tomás |
| repository.name.fl_str_mv |
Repositorio Universidad Santo Tomás |
| repository.mail.fl_str_mv |
noreply@usta.edu.co |
| _version_ |
1800786418644025344 |
| spelling |
Cañon Forero, NathalieRodríguez Mora, DiegoGutiérrez Calderón, JennyAmaya Hurtado, DarioAvilés Sánchez, Oscar2012-12-07http://revistas.ustabuca.edu.co/index.php/ITECKNE/article/view/9010.15332/iteckne.v9i2.90En este trabajo se realizó, el modelado y diseño del sistema de control de la variable temperatura, en un tanque de almacenamiento de agua. Teniendo en cuenta la arquitectura híbrida del sistema (relación de la dinámica continua y la dinámica a través de eventos), para esto fue utilizado autómatas finitos como herramienta de modelado y control. Inicialmente se obtuvo el modelo matemático, que corresponde a la dinámica continua, de la variable de temperatura del líquido que se encuentra en el tanque, agua. Por otro lado, para modelar el comportamiento de las variables que responden en función de eventos, se tomó en cuenta los posibles estados del sistema. Posteriormente, se establecieron los requerimientos y restricciones del sistema que surgieron a partir del análisis, los cuales complementan el comportamiento de la misma, se obtuvo la representación del proceso y su control, en un concepto de dinámica hibrida, mediante autómatas finitos. Este modelo se simuló con la herramienta StateFlow de Simulink de MATLAB® y se implementó en un sistema embebido Cyclone II. Previo a estos resultados, se realizó un controlador tipo PID para realizar la comparación de los comportamientos obtenidos en cada caso. Se verificó que es una técnica de fácil uso e implementación con gran eficiencia en tiempos de respuesta.application/zipapplication/pdfspaUniversidad Santo Tomás. Seccional Bucaramangahttp://revistas.ustabuca.edu.co/index.php/ITECKNE/article/view/90/93http://revistas.ustabuca.edu.co/index.php/ITECKNE/article/view/90/94/*ref*/Zhang Si-Bing, Chen Jie, Wang Ya. “A formal verification method of hybrid system and simulation”, in Proc. 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT). Conf., pp. 411-415/*ref*/R. Alur, T. Henzinger, G. Lderriere, and G. Pappas. Discrete Abstractions of hybrid systems. In Proceedings of IEEE, volume 88, pages 971-984, 2000./*ref*/Nedialkov N. Mohrenschildt M. “Rigorous Simulation of Hybrid Dynamic Systems with Symbolic and Interval Methods”, in Proc. American Control Conference, Proceedings of the 2002. Conf., pp 140-147./*ref*/Fourlas F., Kyriakopoulos K., Vournas C. “Hybrid system modeling for power system”, IEEE Circuits and Systems Magazine, Vol. 4, no. 3, pp 16-23. Oct. 2004/*ref*/Alberto M., Schwer I., Cámara v., Fumero Y. Matemática Discreta: Con aplicaciones a las ciencias de la programación y computación, Argentina, Ed. UNL, 2005./*ref*/WOLFRAM S. Anew Kind of Science, Estados Unidos, Ed. Wolfram Media; 2002./*ref*/HOPCROFT J., MOTWANI R., ULLMAN J. Introducción a la teoría de autómatas, lenguajes y computación, España, Ed. ADDISON-WESLEY; 2002./*ref*/CRUZ B., LARA E. Control híbrido de un sistema electromecánico de llenado de botellas. En Congreso Nacional de Control Automático A.M.C.A, Universidad Autónoma de Nuevo León, Monterrey, 24-26 Oct. 2007./*ref*/Cruz B., Avilés J., Lara E. “Diseño de un controlador basado en el modelo del autómata híbrido”, Revista académica de la FI-UADY, vol.13, no. 2, pp. 5-12, En. / Abr. 2009/*ref*/Cruz B. “Modelación y análisis de un sistema híbrido: Un caso de estudio con un sistema de tanques”, Revista Académica de la FI-UADY, Vol.10, no.2, pp. 5 15. May/ Ag. 2006/*ref*/Hrúz B., Zhou M. Modeling and control of discrete-event dynamical systems, Londres, Ed. Springer-Verlag, 2007/*ref*/Wilmshurst T. An Introduction to the Design of Small Scale Embedded Systems with examples from PIC, 80C51 and 68HC05/08 Microcontrollers, Gran Bretaña, Ed. Palgrave Foundations, 2003./*ref*/Alonso F., Martínez L., Segovia F. Introducción a la Ingeniería del Software: Modelos de desarrollo de programas, España, Ed. Delta Publicaciones, 2005.ITECKNE; Vol 9, No 2 (2012); 128-1342339-34831692-1798ITECKNE; Vol 9, No 2 (2012); 128-134Copyright (c) 2018 ITECKNEhttp://purl.org/coar/access_right/c_abf2Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitosinfo:eu-repo/semantics/articlehttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_2df8fbb1Autómata Finito, Sistema Hibrido, sis- tema embebido.11634/8322oai:repository.usta.edu.co:11634/83222023-07-14 16:37:19.727metadata only accessRepositorio Universidad Santo Tomásnoreply@usta.edu.co |