Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos

Autores/as

  • Nathalie Cañón Forero Universidad Militar Nueva Granada
  • Diego Rodríguez Mora Universidad Militar Nueva Granada
  • Jenny Gutiérrez Calderón Universidad Militar Nueva Granada
  • Darío Amaya Hurtado Universidad Militar Nueva Granada
  • Óscar Avilés Sánchez Universidad Militar Nueva Granada

DOI:

https://doi.org/10.15332/iteckne.v9i2.2765

Palabras clave:

Autómata finito, Sistema híbrido, Sistema embebido

Resumen

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.

Descargas

Los datos de descargas todavía no están disponibles.

Biografía del autor/a

Nathalie Cañón Forero, Universidad Militar Nueva Granada

Ingeniero en Mecatrónica. Grupo de Investigación GAV, Bogotá, Colombia. Auxiliar de Investigación, Universidad Militar Nueva Granada

Diego Rodríguez Mora, Universidad Militar Nueva Granada

Ingeniero en Mecatrónica. Grupo de Investigación GAV, Bogotá, Colombia. Auxiliar de Investigación, Universidad Militar Nueva Granada

Jenny Gutiérrez Calderón, Universidad Militar Nueva Granada

Ingeniero en Mecatrónica. Grupo de Investigación GAV, Bogotá, Colombia. Auxiliar de Investigación, Universidad Militar Nueva Granada

Darío Amaya Hurtado, Universidad Militar Nueva Granada

Ph.D. Ingeniería Mecánica, Universidad Estatal de Campinas. Docente de Tiempo Completo Líder de Grupo GAV, Universidad Militar Nueva Granada, Bogotá, Colombia

Óscar Avilés Sánchez, Universidad Militar Nueva Granada

Ph.D. Ingeniería Mecánica, Universidad Estatal de Campinas. Director de programa de Mecatrónica Universidad Militar Nueva Granada, Bogotá, Colombia

Citas

[1] 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

[2] R. Alur, T. Henzinger, G. Lderriere, and G. Pappas. Discrete Abstractions of hybrid systems. In Proceedings of IEEE, volume 88, pages 971-984, 2000.

[3] 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.

[4] 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

[5] 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.

[6] WOLFRAM S. Anew Kind of Science, Estados Unidos, Ed. Wolfram Media; 2002.

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

[8] 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.

[9] 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

[10] 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

[11] Hrúz B., Zhou M. Modeling and control of discrete-event dynamical systems, Londres, Ed. Springer-Verlag, 2007

[12] 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.

[13] 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.

Descargas

Publicado

2012-07-01

Cómo citar

Cañón Forero, N., Rodríguez Mora, D., Gutiérrez Calderón, J., Amaya Hurtado, D., & Avilés Sánchez, Óscar. (2012). Control de temperatura para un sistema de tanques acoplados utilizando autómatas finitos. ITECKNE, 9(2), 128–134. https://doi.org/10.15332/iteckne.v9i2.2765

Número

Sección

Artículos de Investigación e Innovación