Closed-loop matrix based model of discrete event systems for machine logic control design

IEEE Transactions on Industrial Informatics

Volumn 1, Issue 1, 2005, Pages 39-46

  Polič, Aleš ^a   Jezernik, Karel ^a  

^a UNIVERSITY OF MARIBOR   (Slovenia)

Author keywords

Discrete event systems (DES); Factory automation; Petri nets; Production systems; Programmable logic control

Indexed keywords

ALGEBRA; CLOSED LOOP CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; FORMAL LOGIC; FUNCTIONS; PETRI NETS; PRODUCT DESIGN; PROGRAMMABLE LOGIC CONTROLLERS;

DISCRETE EVENT SYSTEMS (DES); LOGICAL SIGNALS; MACHINE LOGIC CONTROL DESIGN; PRODUCTION SYSTEMS;

AUTOMATION;

EID: 17444430798     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2005.844424     Document Type: Article

References (25)

1. S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin, "Supervisory control of rapid thermal multiprocessor," IEEE Trans. Automat. Contr., vol. 38, no. 7, pp. 1040-1059, Jul. 1993.
2. R. Boel, "Unity and diversity, diversity and unity: retrospective and prospective views on control of discrete event systems," Discrete Event Dyn. Syst.: Theory Applicat., vol. 12, pp. 253-264, 2002.
3. S. Bogdan, F. L. Lewis, Z. Kovačič, A. Gürel, and M. Štajdohar, "An implementation of the matrix-based supervisory controller of flexible manufacturing systems," IEEE Trans. Control Syst. Technol., vol. 10, no. 5, pp. 709-716, Sep. 2002.
4. R. David, "Grafcet: a powerful tool for specification of logic controllers," IEEE Trans. Control Syst. Technol, vol. 3, no. 5, pp. 253-268, Sep. 1995.
5. G. Frey, M. Minas, and K. H. John, "Integration von Petrinetzen in den Steuerungsentwurf nach IEC61131," in Proc. SPS/IPC/Drives Conf., Nürnberg, Germany, 2001, pp. 197-205.
6. B. E. Graham, "Control logic requirements for complex manufacturing systems," in Proc. NSF Workshop Logic Control Manufacturing Systems, 2000.
7. D. Hatel and M. Politi, Modeling Reactive Systems With Statecharts: The Statemate Approach. New York: McGraw-Hill, 1998.
8. A. Ichikawa and K. Hiraishi, "Analysis and control of discrete event systems represented by Petri nets," in Discrete Event Systems: Models and Applications. IIASA Conference, P. Varaiya and A. B. Kurzhanski, Eds. Berlin, Germany: Springer-Verlag, 1988, pp. 115-134.
9. K. Jensen, Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1. Basic Concepts. Monographs in Theoretical Computer Science. Berlin, Germany: Springer-Verlag, 1997.
10. "DES controller synthesis and fault tolerant control. A survey of recent advances," Ph.D. dissertation, IT Univ., Copenhagen, Denmark, 2003.
11. B. H. Krogh, "Controlled Petri nets and maximally permissive feedback logic," in Proc. 25th Allerton Cof., Urbana, IL, Sep. 1987.
12. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," J. Discrete Event Dyn. Syst.: Theory Applicat., vol. 7, no. 2, pp. 151-190, 1997.
13. R. W. Lewis, Programming Industrial Control Systems Using IEC 1131-3. Piscataway, NJ: IEEE Press, 1998.
14. J. Mireless Jr. and F. L. Lewis, "Intelligent material handling: development and implementation of a matrix-based discrete-event controller," IEEE Trans. Ind. Electron., vol. 48, no. 6, pp. 1087-1097, Dec. 2001.
15. T. Murata, "Petri nets: properties, analysis and applications, " Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
16. G. Music and D. Matko, "Petri net based control of a modular production system," in Proc. IEEE Int. Symp. Industrial Electronics ISIE'99, vol. 3, 1999, pp. 1383-1388.
17. E. Park, D. M. Tilbury, and P. P. Khargonekar, "A formal implementation of logic controllers for machining systems using Petri nets and sequential function chart," in Proc. 1998 Japan-USA Symp. Flexible Automation, Otsu, Japan, 1998.
18. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Engle-wood Cliffs, NJ: Prentice-Hall, 1981.
19. C. A. Petri, "Communication With Automata," Ph.D. dissertation, Information System Theory Project, Applied Data Research, Inc., Princeton Univ., Princeton, NJ, 1966.
20. A. Polič and K. Jezernik, "A matrix based approach to design of logic control functions for a production system," in Proc. 2nd IEEE Conf. Industrial Informatics INDIN'04, Berlin, Germany, 2004.
21. A. Polič, M. Urkovič, and K. Jezernik, "Matrix based design of current source inverter with FPGA implementation," in Proc. IEEE IECON'04, Busan, Korea, 2004.
22. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
23. _, "Supervisory control of a class of discrete event process," SIAM J. Contr. Optimization, vol. 25, no. 1, pp. 206-230, 1987.
24. D. A. Tacconi and F. L. Lewis, "A new matrix model for discrete event systems: application to simulation," IEEE Trans. Contr. Syst., vol. 17, no. 5, pp. 62-71, Oct. 1997.
25. M. Zhou, F. DiCesare, and A. A. Desroches, "A hybrid methodology for synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, no. 3, pp. 350-361, Jun. 1992.