Coupled tanks system temperature control using finite automata

Authors

  • 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

Keywords:

Finite automaton, Hybrid systems, Embedded system

Abstract

This work was performed, modeling and control system design variable temperature in a water storage tank. Given the hybrid architecture of the system (ratio of continuous dynamics and the dynamics through events), was used finite automata as a tool for modeling and control. Initially, the mathematical model was obtained, which corresponds to the continuous dynamic, variable temperature liquid in the tank, which in this case is water. This model is described by differential equations. On the other hand, for model the behavior of the variables that respond in terms of events was taken into account the possible states of the system. However, the development requirements and restrictions system that emerged from the analysis, which complement the analysis of the same, obtaining the representation of the process and control, a dynamic hybrid concept, using automata finite. This model was simulated with Stateflow tool of MATLAB ® Simulink and implemented in a Cyclone II embedded system. Prior to these results, we performed a PID controller for the comparison of the behavior obtained in each case. Verifying that the technique is easy to use and implement with high efficiency in response times.

Downloads

Download data is not yet available.

Author Biographies

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

References

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

Published

2012-07-01

How to Cite

Cañón Forero, N., Rodríguez Mora, D., Gutiérrez Calderón, J., Amaya Hurtado, D., & Avilés Sánchez, Óscar. (2012). Coupled tanks system temperature control using finite automata. ITECKNE, 9(2), 128–134. https://doi.org/10.15332/iteckne.v9i2.2765

Issue

Section

Research and Innovation Articles