Modeling the control of a flexible manufacturing cell for automatic verification and control program generation

Shortened product life-cycles decrease the output rate of manufacturing systems. Offline verification of the control systems promises to increase the output. However, to make offline verification possible some major improvements of the current development process of manufacturing systems are needed. Information handling and development of control programs based on information reuse are two of the most important improvement areas. This paper presents the results of the modeling of a real manufacturing cell according to a previously presented method for offline verification and program generation based on information reuse.

[1]  Ratnesh Kumar,et al.  Automated control synthesis for an assembly line using discrete event system control theory , 2003, IEEE Trans. Syst. Man Cybern. Part C.

[2]  Martin Fabian,et al.  Reuse of information as a base for development and verification of control programs for flexible manufacturing cells , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[3]  Johan Richardsson.  A Survey of Tools and Methods for Design of Automated Production Plants , 2002 .

[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]  Johan Richardsson,et al.  A neutral representation of process and resource information of an assembly cell : supporting control code development, process planning and resource life cycle management , 2004 .

[6]  Bengt Lennartson,et al.  Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells , 2006, 2006 IEEE International Conference on Automation Science and Engineering.

[7]  Takeshi Kishinami,et al.  Object-oriented graphical specification and seamless design procedure for manufacturing cell control software development , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[8]  Jie Zhang,et al.  Object-oriented architecture of control system for agile manufacturing cells , 2000, Proceedings of the 2000 IEEE International Conference on Management of Innovation and Technology. ICMIT 2000. 'Management in the 21st Century' (Cat. No.00EX457).

[9]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[10]  Géza Haidegger,et al.  Application of software reuse and object-oriented methodologies for the modelling and control of manufacturing systems , 1999 .

[11]  O. De Smet,et al.  Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[12]  Martin Fabian,et al.  Verification of a Novel Approach in Control of Flexible Manufacturing Cells , 2004 .

[13]  Rasiah Loganantharaj,et al.  A framework for the development of agile manufacturing enterprises , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[14]  Bruce H. Krogh,et al.  Formal verification of PLC programs , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[15]  Beno Benhabib,et al.  Application of discrete-event-system theory to flexible manufacturing , 1996 .

[16]  B. Lennartson,et al.  Automatic scheduling and verification of the control function of flexible assembly cells in an information reuse environment , 2005, (ISATP 2005). The 6th IEEE International Symposium on Assembly and Task Planning: From Nano to Macro Assembly and Manufacturing, 2005..

[17]  Martin Fabian,et al.  Automatic generation of PLC programs for control of flexible manufacturing cells , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).