An object-oriented simulation framework for real-time control of automated flexible manufacturing systems

This paper describes an object-oriented simulation approach for the design of a flexible manufacturing system that allows the implementation of control logic during the system design phase. The object-oriented design approach is built around the formal theory of supervisory control based on Finite Automata. The formalism is used to capture inter-object relationships that are difficult to identify in the object-oriented design approach. The system resources are modeled as object classes based on the events that have to be monitored for real-time control. Real-time control issues including deadlock resolution, resource failures in various modes of operation and recovery from failures while sustaining desirable logical system properties are integrated into the logical design for simulating the supervisory controller.

[1]  Bryan L. Deuermeyer,et al.  Deadlock detection and resolution for discrete-event simulation: multiple-unit seizes , 1998 .

[2]  Andrew T. Duchowski,et al.  An Automatic Approach to Deadlock Detection and Resolution in Discrete Simulation Systems , 1997, INFORMS J. Comput..

[3]  Denis Borenstein.  Implementation of an object-oriented tool for the simulation of manufacturing systems and its application to study the effects of flexibility , 2000 .

[4]  Randall P. Sadowski,et al.  Simulation with Arena , 1998 .

[5]  Ali Yalcin.  Supervisory control of automated manufacturing cells with resource failures , 2004 .

[6]  C. M. Mitchell,et al.  Research in object-oriented manufacturing simulations:an assessment of the state of the art , 1998 .

[7]  Jeffrey S. Smith,et al.  Message-based Part State Graphs (MPSG): A formal model for shop-floor control implementation , 2003 .

[8]  G. F. Butler,et al.  Introduction to object-oriented simulation , 1991 .

[9]  Jeffrey A. Joines,et al.  Building object-oriented simulations with C++ , 1993, WSC '93.

[10]  Ming Xi Tang,et al.  Towards object-oriented simulation , 1991 .

[11]  Richard A. Wysk,et al.  A hybrid shop-floor control system for food manufacturing , 2001 .

[12]  Ali Yalcin,et al.  Dynamic routing and the performance of automated manufacturing cells , 2000 .

[13]  Leon F. McGinnis,et al.  Object-oriented modeling and simulation of automated control in manufacturing , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[14]  Jeffrey S. Smith,et al.  A Shop-Floor Control Architecture for Computer-Integrated Manufacturing , 1996 .

[15]  David R. Hill,et al.  Object-Oriented Analysis and Simulation , 1996 .

[16]  Randall P. Sadowski,et al.  Simulation with Arena with Cdrom , 2001 .

[17]  Ali Yalcin,et al.  Deadlock avoidance in flexible manufacturing systems using finite automata , 2000, IEEE Trans. Robotics Autom..