Información del artículo
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
El Texto completo está disponible en PDF
Referencias
[Cassandras and Lafortune, 2006]
Cassandras, C., Lafortune, S., 2006. Introduction to Discrete Event Systems. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
[Dashora et al., 2008]
Y. Dashora, S. Kumar, M. Tiwari, S. Newman.
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 (2008), pp. 486-515
[Fo and Lawley, 2006]
S. Fo, M. Lawley.
Robust supervisory control for production systems with multiple resource failures.
IEEE Transactions on Automation Science and Engineering, 3 (2006), pp. 309-323
[Gomez et al., 2009]
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 et al., 2006]
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 and Zhou, 2007]
B. Hrúz, M. Zhou.
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools.
Springer Publishing Company, Inc, (2007),
[Huan, 2007]
Y. Huan.
Design of deadlock prevention supervisors using Petri nets.
International Journal of Advanced Manufacturing Technology, 35 (2007), pp. 349-362
[Jiménez et al., 2005]
E. Jiménez, M. Pérez, F. Sanz.
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 (2005), pp. 39-53
[John and Tiegelkamp, 2001]
K.-H. John, M. Tiegelkamp.
IEC 61131-3: programming industrial automation systems: concepts and programming languages decision-making tools.
Springer, (2001),
[Lee and Tilbury, 2007]
S. Lee, D. Tilbury.
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 (2007), pp. 1373-1381
[Pia et al., 2000]
M. Pia, B. Maione, B. Turchiano.
Comparing digraph and Petri net approaches to deadlock avoidance in fms. IEEE Transactions on Systems.
Man, and Cybernetics - Part B: Cybernetics, 30 (2000), pp. 783-798
[Pia and Zhou, 2004]
M. Pia, M. Zhou.
Deadlock control methods in automated manufacturing systems.
IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans, 34 (2004), pp. 5-22
[Ramadge and Wonham, 1987]
P. Ramadge, W. Wonham.
Supervisory control of a class of discrete event processes.
SIAM Journal of Control and Optimization, 25 (1987), pp. 206-230
[Roser et al., 2002]
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 et al., 2003]
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 onWinter simulation.Winter Simulation Conference, pp. 1192-1198.
[Sen and Chu, 2004]
S. Sen, M. Chu.
Ladder diagram and Petri-net-based discrete-event control design methods.
IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews, 34 (2004), pp. 523-531
[Trujillo et al., 2007]
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 et al., 2007]
M. Uzam, Z. Li, M. Zhou.
Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of fms.
International Journal of Advanced Manufacturing Technology, 35 (2007), pp. 150-168
[Wu et al., 2008]
N. Wu, M. Zhou, Z. Li.
Resource-oriented Petri net for deadlock avoidance in flexible assembly systems.
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 38 (2008), pp. 56-69
Financiado parcialmentre por el Plan Nacional de I+D+i. Código de proyecto DPI2008-05795 y ayuda BES-2006-12849. Ministerio de Ciencia e Innovación de España.
Copyright © 2011. Elsevier España, S.L.. Todos los derechos reservados