Supervisión de sistemas lógicos de control utilizando el diagrama de evolución del estado

Daniel Gómez, Enrique Baeyens, Clemente Cárdenas, Eduardo J. Moya

Resumen

Los sistemas de fabricación actuales están controlados y supervisados por controladores lógicos programables. El análisis y mantenimiento de un programa de control es una tarea muy compleja debido a su gran tamaño medido tanto en líneas de código como en número de variables utilizadas. El análisis de los posibles problemas que puede presentar el proceso controlado, como por ejemplo, cuellos de botella y bloqueos, requiere de herramientas formales. Sin embargo, las herramientas existentes presentan importantes limitaciones. En este trabajo se propone el uso del diagrama de evolución del estado para realizar dicho análisis. Este diagrama complementa a otras herramientas formales basadas en redes de Petri o autómatas finitos y permite analizar los sistemas de control lógico a partir de las señales físicas del proceso. Resulta ser una herramienta de gran utilidad en las fases de validación y puesta en marcha, así como para la supervisión de procesos durante la fase de ejecución.

Palabras clave

Control lógico; Autómatas finitos; Redes de Petri; Grafos orientados; Bloqueos; Cuellos de botella; Diagrama de estado

Texto completo:

PDF

Referencias

Cassandras, C., Lafortune, S., 2006. Introduction to Discrete Event Systems. Springer-Verlag New York, Inc., Secaucus, NJ, USA.

Dashora, Y., Kumar, S., Tiwari, M., Newman, S., 2008. Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach. International Journal of Flexible Manufacturing Systems 19, 486–515.

Fo, S., Lawley, M., 2006. Robust supervisory control for production systems with multiple resource failures. IEEE Transactions on Automation Science and Engineering 3 (3), 309–323.

Gomez, D., Trujillo, J., Baeyens, E., Moya, E. J., 2009. Analysis of production systems using the VS-diagram. In: International Symposium On Distributed Computing And Artificial Intelligence 2008. Vol. 50 of Advances In Soft Computing. Springer-Verlag Berlin, pp. 443–451, International Symposium on Distributed Computing and Artificial Intelligence, Salamanca, Spain, Oct 22-24, 2008.

Hopcroft, J., Motwani, R., Ullman, J., 2006. Introduction to Automata Theory, Languages, and Computation (3rd ed.). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.

Hrúz, B., Zhou, M., 2007. Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools. Springer Publishing Company, Inc.

Huan, Y., 2007. Design of deadlock prevention supervisors using Petri nets. International Journal of Advanced Manufacturing Technology 35 (3-4), 349– 362.

Jimenez, E., Pérez, M., Sanz, F., 2005. Modelado y simulación de sistemas logísticos y de producción mediante redes de petri. Revista Iberoamericana de Automática e Informática Industrial 2 (4), 39–53.

John, K.-H., Tiegelkamp, M., 2001. IEC 61131-3: programming industrial automation systems: concepts and programming languages, decision-making tools. Springer, Berlin.

Lee, S., Tilbury, D., 2007. Deadlock-free resource allocation control for a reconfigurable manufacturing system with serial and parallel configuration. IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews 37 (6), 1373–1381.

Pia, M., Maione, B., Turchiano, B., 2000. Comparing digraph and Petri net approaches to deadlock avoidance in fms. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics 30 (5), 783–798.

Pia, M., Zhou, M., 2004. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans 34 (1), 5–22.

Ramadge, P., Wonham, W., 1987. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization 25 (1), 206– 230.

Roser, C., Nakano, M., Tanaka, M., 2002. Productivity improvement: shifting bottleneck detection. In: WSC’02: Proceedings of the 34th conference on Winter simulation. Winter Simulation Conference, pp. 1079–1086.

Roser, C., Nakano, M., Tanaka, M., 2003. Simulation test bed for manufacturing analysis: comparison of bottleneck detection methods for agv systems. In: WSC’03: Proceedings of the 35th conference on Winter simulation. Winter Simulation Conference, pp. 1192–1198.

Sen, S., Chu, M., 2004. Ladder diagram and Petri-net-based discrete-event control design methods. IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews 34 (4), 523–531.

Trujillo, J., Pasek, Z., Baeyens, E., 2007. Analytical method for generating feasible control sequences in controller development. In: ETFA’07: Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation. pp. 673–680.

Uzam, M., Li, Z., Zhou, M., 2007. Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of fms. International Journal of Advanced Manufacturing Technology 35, 150–168.

Wu, N., Zhou, M., Li, Z., 2008. Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 38 (1), 56–69.

Abstract Views

480
Metrics Loading ...

Metrics powered by PLOS ALM


 

Citado por (artículos incluidos en Crossref)

This journal is a Crossref Cited-by Linking member. This list shows the references that citing the article automatically, if there are. For more information about the system please visit Crossref site

1. Metodología para la elaboración de los programas a implementar en autómatas programables. MEPUS
José M. Diez, Rafael Montoya, Pedro A. Blasco
Revista Iberoamericana de Automática e Informática Industrial RIAI  vol: 13  num.: 3  primera página: 322  año: 2016  
doi: 10.1016/j.riai.2016.03.006



Creative Commons License

Esta revista se publica bajo una Licencia Creative Commons Attribution-NonCommercial-CompartirIgual 4.0 International (CC BY-NC-SA 4.0)

Universitat Politècnica de València     https://doi.org/10.4995/riai

e-ISSN: 1697-7920     ISSN: 1697-7912