Abstract
Se abordó el problema de diseñar e implementar la lógica de control del sistema inyección en modo de flujo continuo para dos bombas de pistón, para un equipo de pruebas de desplazamiento de fluidos en medio poroso, con el fin de aumentar el tiempo productivo del equipo. Se planteó como objetivo el desarrollo de modelos del sistema de control comprensibles para el usuario y que a su vez facilite la depuración y la modificación del sistema evitando una explosión en la complejidad de los modelos. En una primera etapa, se elaboró un modelo monolítico de máquina de estado finita extendida en el que se toman en cuenta todos los componentes del sistema integrado por las dos bombas y las válvulas de inyección y recarga asociadas a cada una. Posteriormente, se construyó a partir del modelo monolítico un modelo modular, compuesto por una red de dos máquinas de estados finitas extendidas, cada una asociada a una de las bombas. Al implementar la red se pudo controlar automáticamente el sistema de inyección. Gracias a este enfoque se obtuvieron modelos que proporcionan flexibilidad y legibilidad al sistema; aspectos de gran relevancia en la automatización de laboratorios.
Publisher
Corporacion Universitaria Remington
Reference19 articles.
1. Alagar, V., Periyasami, K. (2011). Specification of software systems, 2nd ed. London: Springer.
2. Automatic functional test generation using the extended finite state machine model;Cheng;30th international design automation conference Dallas,1993
3. An assessment of extended finite state machine test selection criteria;El-Fakih;The Journal of Systems & Software,2016
4. Foster, M., Brucker, A. D., Taylor, R. G., Derrick, J. (2020). A formal model of extended finite state machines. Archive of formal proofs [en línea] disponible en: https://ore.exeter.ac.uk/repository/bitstream/handle/10871/122936/foster.ea-efsm-2020.pdf?sequence=1&isAllowed=y (consultado: 21 septiembre 2021).
5. Flexible and modular control and manufacturing system;Friedrich;Procedia CIRP,2015