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

  1. Daniel Gómez 1
  2. Enrique Baeyens 2
  3. Clemente Cárdenas 1
  4. Eduardo J. Moya 2
  1. 1 Fundación CARTIF
  2. 2 Universidad de Valladolid
    info

    Universidad de Valladolid

    Valladolid, España

    ROR https://ror.org/01fvbaw18

Revista:
Revista iberoamericana de automática e informática industrial ( RIAI )

ISSN: 1697-7920

Año de publicación: 2011

Volumen: 8

Número: 3

Páginas: 196-203

Tipo: Artículo

DOI: 10.1016/J.RIAI.2011.06.007 DIALNET GOOGLE SCHOLAR lock_openAcceso abierto editor

Otras publicaciones en: Revista iberoamericana de automática e informática industrial ( RIAI )

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.

Referencias bibliográficas

  • 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.
Fuente de los datos: Dialnet