Publicado

2017-01-01

Design of automatic control system based on unified timed hybrid Petri net

Diseño de sistema de control automático basado en redes de Petri hibridas temporizadas unificadas

Palabras clave:

automation system, hybrid Petri net, discrete event system, formal design methods, manufacturing system (en)
sistemas de automatización, redes de Petri híbridas, sistemas de eventos discretos, métodos de diseño formal, sistemas de manufactura (es)

Descargas

Autores/as

A practical problem in automation systems modeling is the choice between a fully hybrid approach and the fluidization of some parts conserving the general discrete event approach. This paper explores the approach based on specific hybrid parts into a discrete event system using a unified Petri nets environment called GHENeSys (General Hierarchical Enhanced Net System), which follows the ISO/IEC 15909 standard and includes extensions such as hierarchy and time concepts. Then, a design method based on GHENeSys Timed Hybrid Petri Net (GTHPN) technique is proposed to model these hybrid parts. GHENeSys subnets are associated with macro-places and help to control combinatorial explosion and has extended arcs to guarantee the GTHPN applicability to practical cases. All resulting models of the approach proposed could also benefit from an easier conversion to PLC programs in IEC 61131 representation. A case study is presented for producing constructive blocks showing the advantages of the current proposition.
Un problema práctico en sistemas automatizados es la selección entre el enfoque totalmente híbrido o la fluidización de algunas partes conservando el enfoque general de eventos discretos. Este articulo trata el enfoque basado en partes hibridas en un modelo discreto usando el ambiente unificado de Redes de Petri llamado GHENeSys (Sistema de Red Extendida Jerárquica General), compatible con la norma ISO/IEC 15909 incluyendo los conceptos de jerarquía y tiempo. Por tanto, se propone un método de diseño y una técnica GTHPN (Redes de Petri Temporizadas Hibridas GHENeSys) para modelar estas partes híbridas. Las subredes en macro-lugares controlan la explosión de estados y controlar transiciones mediante arcos extendidos de GHENeSys garantiza la efectividad de GTHPN para casos prácticos. Además, todo modelo resultante permite una fácil conversión a programas de PLCs en lenguajes IEC61131. Se presenta un caso de estudio para producción de bloques de construcción demostrando estas ventajas mencionadas.

Descargas

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

Citas

Brennan, R.W. aqnd Norrie, D.H., Metrics for evaluating distributed manufacturing control systems, Computers in Industry 51(2), pp. 225-235, 2003. DOI: 10.1016/S0166-3615(03)00038-1

David, R. and Alla, H., Discrete, continuous, and hybrid Petri nets, Springer, 2010. DOI: 10.1007/978-3-642-10669-9

Campos-Rebelo, R., Pereira, F., Moutinho, F. and Gomes, L., From IOPT Petri nets to C: An automatic code generator tool. 9th IEEE Intern. Conf. on Industrial Informatics (INDIN), pp. 390-395. 2011. DOI: 10.1109/indin.2011.6034908

Cabasino, M.P., Giua, A. and Seatzu, C., Diagnosability of discrete-event systems using labeled Petri nets. IEEE Transactions on Automation Science and Engineering 11(1), pp. 144-153, 2014. DOI: 10.1109/TASE.2013.2289360

da Silva, R.M., Benítez-Pina, I.F., Blos, M.F., Santos-Filho, D.J. and Miyagi. P.E., Modeling of reconfigurable distributed manufacturing control systems. IFAC-PapersOnLine, 48(3), pp. 1284-1289, 2015. DOI: 10.1016/j.ifacol.2015.06.262

Júlvez, J., Mahulea, C. and Vázquez. C.-R., SimHPN: A Matlab tool- box for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems, 6(2), pp. 806-817, 2012. DOI: 10.1016/j.nahs.2011.10.001

Villani, E., Miyagi, P. E. and Valette. R., Modelling and analysis of hybrid supervisory systems: A Petri net approach, Springer, 2007.

Sarker, B.R., Egbelu, P.J., Liao, T.W. and Yu. J., Planning and design models for construction industry: A critical survey. Automation in Construction 22, pp. 123-134, 2012. DOI: 10.1016/j.autcon.2011.09.011

Silva, R.M., Arakaki, J., Junqueira, F., Santos-Filho, D.J. and Miyagi. P.E., Modeling of active holonic control systems for intelligent buildings, Automation in Construction 25, pp. 20-23, 2012. DOI: 10.1016/j.autcon.2012.04.002

Silva, M. and Mahulea, C., Fluidization and fluid views of discrete event systems. 15th IEEE Intern. Conf. on System Theory, Control, and Computing (IC-STCC), pp. 1-10, 2011.

Júlvez, J., Vázquez, C.R., Mahulea, C. and Silva. M., Continuous Petri nets: Controllability and control. In: C. Seatzu et al. (Eds.): Control of Discrete- Event Systems, LNCIS 433, pp. 407-428.

Recalde, L., Haddad, S. and Silva. M., Continuous Petri nets: Expressive power and decidability issues. Intern. J. of Foundations of Computer Science 21(2), pp. 235-256, 2010. DOI:

Silva, J.R., Benítez, I., Villafruela, L., Gomis, O. and Sudrià. A., Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. The Intern. J. of Advanced Manufacturing Technology 36(11-12), pp. 1180-1190, 2008. DOI: 10.1142/S0129054110007222

Murata, T., Petri nets: Properties, analysis and applications. Proceedings of IEEE 77 (4), pp. 541-580, 1989. DOI: 10.1109/5.24143

Letia, T.S. and Kilyen. O., Enhancing the time Petri nets for automatic hybrid control synthesis. 18th IEEE Intern. Conf. on System Theory, Control and Computing (ICSTCC), pp. 621-626, 2014.

Moreira, M.V. and Basilio. J.C., Bridging the gap between design and implementation of discrete-event controllers. IEEE Transactions on Automation Science and Engineering, 11(1), pp. 48-65, 2014. DOI: 10.1109/TASE.2013.2281733

Kuo, C.-H. and Chen. T.-S., Controllable Petri net-based implementation approach for motor control systems. IEEE Transactions on Industrial Electronics 60(10), pp. 4599-4612, 2013. DOI: 10.1109/TIE.2012.2216244

Declerck, P. and Bonhomme. P., State estimation of timed labeled Petri nets with unobservable transitions. IEEE Transactions on Automation Science and Engineering, 11(1), pp. 103-110, 2014. DOI: 10.1109/TASE.2013.2290314

Minca, E., Filipescu, A. and Voda. A., Modelling and control of an assembly/disassembly mechatronics line served by mobile robot with manipulator. Control Engineering Practice 31, pp. 50-62, 2014. DOI: 10.1016/j.conengprac.2014.06.005

Uzam, M. and Gelen, G., The real-time supervisory control of an experimental manufacturing system based on a hybrid method. Control Engineering Practice 17(10), pp. 1174-1189, 2009. DOI: 10.1016/j.conengprac.2009.05.004

John, K.-H. and Tiegelkamp. M., IEC 61131-3: Programming Industrial Automation Systems, Springer, 2010.

Drath, R., A mathematical approach to describing a class of hybrid systems. IEEE Joint Workshop on Parallel and Distributed Real-Time Systems, pp. 228-232, 1997. DOI: 10.1109/wpdrts.1997.637984

Silva, M. and Recalde, L., Petri nets and integrality relaxations: A view of continuous Petri net models. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 32(4), pp. 314-327, 2002. DOI: 10.1109/TSMCC.2002.806063

Júlvez, J., Di Cairano, S., Bemporad, A. and Mahulea. C., Event-driven model predictive control of timed hybrid Petri nets. Intern. J. of Robust and Nonlinear Control 24(12), pp. 1724-1742, 2014. DOI: 10.1002/rnc.2958

Wang, L., Mahulea, C., Júlvez, J. and Silva. M., On/off strategy based eminimum- time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems 12, pp. 50-65, 2014. DOI: 10.1016/j.nahs.2013.11.007

Silva, M. y Recalde. L., Redes de Petri continuas: Expresividad, análisis y control de una clase de sistemas lineales conmutados, Revista Iberoamericana de Automática e Informática Industrial RIAI 4(3), pp. 5-33, 2007.

Sanchez, J.C., Diseño de un sistema de control automatizado eficiente para el transporte de bloques hormigon en plantas productivas tipo "poyatos" usando redes Petri, Tesis MSc., Dpto. Control Automatico. Fac. de Ing. Electrica Univ. de Oriente. Santiago de Cuba, Cuba, 2011.

Júlvez, J. and Mahulea, C., SimHPN: A Matlab toolbox for continuous Petri nets. 10th IFAC Workshop on Discrete Event Systems, pp. 24-29. 2010. DOI: 10.3182/20100830-3-de-4013.00006

Licencia

Derechos de autor 2017 DYNA

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.

El autor o autores de un artículo aceptado para publicación en cualquiera de las revistas editadas por la facultad de Minas cederán la totalidad de los derechos patrimoniales a la Universidad Nacional de Colombia de manera gratuita, dentro de los cuáles se incluyen: el derecho a editar, publicar, reproducir y distribuir tanto en medios impresos como digitales, además de incluir en artículo en índices internacionales y/o bases de datos, de igual manera, se faculta a la editorial para utilizar las imágenes, tablas y/o cualquier material gráfico presentado en el artículo para el diseño de carátulas o posters de la misma revista.