Structured design of reconfigurable logic control functions through sequential functional charts

In the present work a modular logic control design methodology for reconfigurable manufacturing systems is presented. The presented method guarantees reachability, liveness, and reversibility for the designed control solution. In particular, the logic control functions are designed through the sequential functional charts graphical language, which is one of the programming languages included in the IEC 61131 standard for industrial programmable logic controllers. The different steps of the proposed framework are presented with reference to a real size industrial application example, where the design of the logic control for an innovative shoe reconfigurable manufacturing system assembly line is discussed.

[1]  Manuel Silva Suárez,et al.  Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.

[2]  R. W. Lewis,et al.  Programming Industrial Control Systems Using IEC 1131-3 , 1995 .

[3]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[4]  Pramod P. Khargonekar,et al.  Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets , 1999, IEEE Trans. Robotics Autom..

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  F. Jatta,et al.  A modular framework for the development of self-reconfiguring manufacturing control systems , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[7]  Pramod P. Khargonekar,et al.  A Modeling and Analysis Methodology for Modular Logic Controllers of Machining Systems Using Petri , 2001 .

[8]  E. Carpanzano,et al.  A structured approach to the design and simulation-based testing of factory automation systems , 2002, Industrial Electronics, 2002. ISIE 2002. Proceedings of the 2002 IEEE International Symposium on.

[9]  RenC David,et al.  Grafcet: a powerful tool for specification of logic controllers , 1995, IEEE Trans. Control. Syst. Technol..

[10]  Emanuele Carpanzano,et al.  A structured methodology for the design and implementation of control and supervision systems for robotic applications , 2002, IEEE Trans. Control. Syst. Technol..