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

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

ISSN: 1697-7920

Year of publication: 2011

Volume: 8

Issue: 3

Pages: 196-203

Type: Article

DOI: 10.1016/J.RIAI.2011.06.007 DIALNET GOOGLE SCHOLAR lock_openOpen access editor

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

Abstract

The current manufacturing systems are controlled and monitored by programmable logic controllers. The analysis and maintenance of a control program is a very complex task due to its size measured either by the number of lines of code or number of variables used. The analysis of the potential problems occurring in the controlled process, such as bottlenecks and deadlocks, requires formal tools that can produce such information. However, existing tools have important limitations. This paper proposes the use of the state diagram for such analysis. This diagram complements other formal tools such as those based on Petri nets or finite automata and allows analyzing logic control systems from the physical signals of the process. Therefore, it turns out to be a useful tool in the early stages of validation and implementation, as well as for process monitoring during the implementation phase.

Bibliographic References

  • 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.
Data source: Dialnet