Computer Integrated Manufacturing
Department of Systems and Industrial Engineering
College of Engineering University of Arizona
Room #162A
P.O. Box 210020 Tucson Arizona 85721-0020
Phone -(520) 626 1179
Webmaster

Research

*      Simulation-based Shop Floor Control

*      Automatic Generation of Simulation

*      Distributed Simulation: Integration of Legacy Simulations

*      Hierarchical Production Planning using Distributed, Hybrid Simulation

*      Penalty Function-based Real-time Shop Floor Control

*      Modeling of Human Decision-making

*      Development of Library of Simulation Components


 

  Simulation-based Shop Floor Control

The above figure depicts the simulation-based control architecture.  The Arenaä RT (real-time) simulation package has been used to develop the simulation model that obtains master production schedules (e.g. part orders) and part process plans from a Microsoft Accessä database.  The database keeps track of part orders and how many parts in each order are finished.  The simulation controls the manufacturing system by sending and receiving messages using TCP/IP socket-based communication link to a high-level task executor, known as the BigE.  The BigE performs the shop-level execution functions and keeps track of the status of each individual piece of equipment in the system.  The BigE receives instructions (messages) from the simulation and based on the system status, sends messages to the equipment level controllers.  After a task message is sent from the BigE, both the BigE and the simulation wait for a “completion_ok” message from the equipment level controller that received the message.  Once the BigE receives the “completion_ok” message, it sends a similar message to the simulation, and the simulation knows that the current task was completed.  The task generator and execution modules communicate through the task initiation queue (TIQ) and the task completion queue (TCQ).  The simulation uses the TIQ to instruct the BigE to perform specific tasks and receives completion messages through the TCQ.  These queues facilitate the explicit separation of the decision-maker from the execution module.  The separation of the decision-maker and the execution module makes the system truly “plug and play”.  In fact, as long as the decision-maker understands the physical constraints imposed on the task sequences, any decision-maker can be plugged in to the execution module according to the current production requirements.  Example decision-makers include simulation, a human operator, an expert system, etc.  Among these candidates, the following advantages have made simulation popular as part of a decision-maker: 1) easy bookkeeping, 2) easy specification of physical system constraints, 3) built-in ability to interface with external modules such as databases and external decision procedures, 4) real-time monitoring and animation, and 5) off-line production prediction or cost estimation.


Papers

Young Jun Son, Sanjay B. Joshi, Richard A. Wysk, and Jeffrey S. Smith, Simulation Based Shop Floor Control, Journal of Manufacturing Systems, 21 (5), December 2002, 380 - 394. pdf

 Young Jun Son, Hector Rodriguez-Rivera, and Richard A. Wysk, A Multi-pass Simulation-based, Real-time Scheduling and Shop Floor Control System, Transactions of the Society for Computer Simulation International, 16 (4), Dec. 1999, 159 - 172. pdf 
 

Top

  Automatic Generation of Simulation
 


To reduce the high cost of control software development and maintenance, research has been conducted on rapid realization of a simulation-based control (SBC) system for a discrete part manufacturing system.  The above figure illustrates an approach to develop an SBC involving the automatic generation of an execution model and a simulation model from a resource model.  The resource model contains information describing all of the individual resources in a facility as well as the necessary interactions between these resources.  A methodology (using a series of rules) to automate execution model generation from a resource model has been developed.  Given an MPSG execution model, Smith and Joshi (1993) developed software tools for automatically generating essential portion (a set of C++ files) of the controller (e.g. BigE or equipment level controller).  A methodology to automate simulation model generation from a resource model and an execution model has also been developed.  The shop floor resource model provides much of the static information for the simulation model; while a shop level execution model (BigE MPSG in this case) provides much of the dynamic information required by the simulation model.

 

Papers

 Young Jun-Son, Richard A. Wysk, and Albert T. Jones, Simulation Based Shop Floor Control: Formal Model, Model Generation and Control Interface, IIE Transactions on Design and Manufacturing, 35 (1), January 2003, 29 - 48 (also introduced in IIE Solutions magazine). pdf

Top

  Distributed Simulation: Integration of Legacy Simulations
 


Applying discrete event simulation to systems of systems (e.g. supply chain) leads naturally to federations of distributed, heterogeneous simulation models.  The existence of legacy subsystem models is one driving force for federating the systems; another is good software engineering practice.  The result is an analytic tool that may be executed on a single processor or distributed across multiple computing platforms, perhaps over a wide-area network, leading to a corresponding technical requirement for system-wide synchronization between the federated models.  Synchronization theory and methods is one focus of the proposed research.  The other is a complementary focus on problem and model attributes that impact model development and computational performance under alternative synchronization approaches.
 
In distributed simulations, local, federate-specific, simulation clocks must be synchronized so that events in each federate execute in the correct manner, thereby producing correct simulation results.  Synchronization is a complex IT problem that has not satisfactorily resolved either theoretically or in practice.  Our objective is to understand the synchronization requirements associated with “system of systems” simulations, to develop and adapt a range of synchronization schemes, and explore the potential for novel simulation support technology – a static federation optimizer that selects the best configuration from a set of time management methods, and a dynamic federation optimizer that adapts the time management scheme on the fly.  To achieve this, we exploit the existing computational infrastructure provided by the High Level Architecture (HLA) and Runtime Infrastructure (RTI) by the OMG (IEEE standard) (see the above figure).  We also identify key federation attributes that impact the computational efficiency of distributed federates.  We develop methods and protocols that take advantage of federation attributes so as to best structure (optimize) the execution of the federated simulation.  We use Operations Research and Automata principles to determine if this optimized federation can be automatically configured and deployed.  We finally investigate the generic application of these models by developing application examples in various and disparate model domains.

 

Papers

  Jayendran Venkateswaran and Young Jun Son, Design and Development of a Prototype Distributed Simulation for Evaluation of Supply Chains, International Journal of Industrial Engineering, 11 (2), June 2004, 151 - 160. pdf

 S. Misra, J. Venkateswaran, and Y. Son, Framework for Adaptive Time Synchronization Method for Integration of Distributed, Heterogeneous, Supply Chain Simulations, Proceedings of The American Society of Engineering Management Conference, St Louis, USA, October 15-18, 2003. pdf

Top

  Hierarchical Production Planning using Distributed, Hybrid Simulation
 


Multi-plant production planning problem deals with the determination of type and quantity of products to produce at the plants over multiple time periods. Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based hierarchical production planning architecture consisting of system dynamics (SD) components for the enterprise level planning and discrete event simulation (DES) components for the shop level scheduling is presented. The architecture consists of the Optimizer, Performance Monitor and Simulator modules at each decision level. The Optimizers select the optimal set of control parameters based on the estimated behaviour of the system. The enterprise level simulator (SD model) and shop level simulator (DES model) interact with each other to evaluate the plan. Feedback control loops are employed at each level to monitor the performance and update the control parameters. Functional and process models of the proposed architecture are specified using IDEF. The internal mechanisms of the modules are also described. The modules are interfaced using High Level Architecture (HLA). Experimental results from a multi-product multi-facility manufacturing enterprise demonstrate the potential of the proposed approach.

 

Papers

 J. Venkateswaran, Y. Son, and A. Jones, Hierarchical Production Planning using A Hybrid System Dynamic and Discrete Event Simulation Architecture, Proceedings of the Winter Simulation Conference 2004, Washington D.C., USA, December 5-8, 2004. pdf

 Jayendran Venkateswaran and Young Jun Son, August 2004, Hybrid System Dynamic -- Discrete Event Simulation based Architecture for Hierarchical Production Planning, submitted to International Journal of Production Research. 

 Jayendran Venkateswaran, Young Jun Son, Albert T. Jones, Jason Min, September 2004, Hierarchical Production Planning in VMI Supply Chain Using a System Dynamic-Discrete Event Simulation Architecture, submitted to International Journal of Simulation and Process Modeling.

Top

  Penalty Function-based Real-time Shop Floor Control
 


Although several hybrid shop floor control architectures have been proposed in the literature, varying degrees of autonomy of subordinate controllers and their effects on supervisory level performance have not been studied.  We create a new hybrid control architecture with two levels, where the autonomy of subordinate agents changes adaptively.  The key feature is the penalty function, which represents the degree of negative impact that changing the original schedule will have on performance.  When a disturbance occurs, the disturbance agent invokes rescheduling at the appropriate level depending on the threshold disturbance level.  The subordinate agents execute tasks based on the schedule from the supervisory agent in the absence of disturbances; or else revise the original schedule optimally with regard to both the supervisory level performance (via penalty function) and the disturbance.  We study math programming formulations, quantitative metrics to indicate the disturbance level and the levels of autonomy.

 

 Papers

 X. Zhao and Y. Son, Penalty Function-based Hybrid Shop Floor Control System, Proceedings of the Annual Industrial Engineering Research Conference 2004, Houston, USA, May 15-19, 2004. pdf

  Xiaobing Zhao and Young-Jun Son, April 2004, Penalty Function based Two Level Hybrid Shop Floor Control System, submitted to IEEE Transactions on Automation Science and Engineering. 

Top

  Modeling of Human Decision-making
 


The objectives of our research are 1) to develop a human operator model in a complex system and 2) to develop a software platform in which hybrid decision models are easily integrated into one automated package.
To achieve the first object, we employ BDI (three components of mental state: belief, desire, and intention) agent framework to model a human operator (see Figure above).  The proposed human operator model is composed of four components, including 1) cognitive processor (in charge of belief), 2) perceptual processor (in charge of desire), 3) reasoner (in charge of intention and decision-making), and 4) commander.  Furthermore, a human emotion set, representing the impact of emotion factors (fatigue, stress, and anger) on reasoning, is also considered in the proposed research.  In this work, belief, desire, and intention are represented in First Order Predicate Logic, and the intention (planning) problems are resolved using STRIPS.  The proposed model is implemented and tested in JACK.
The achieve the second object, we employ U.S. Department of Defense High Level Architecture’s (HLA) RunTime Infrastructure (RTI) to integrate various decision theoretic models with hybrid simulation and optimisation models.  In the current implementation, those modules that are linked into one automated, integrated package include 1) Arena discrete event simulator, 2) Powersim system dynamic simulator, 3) AMPL and MINOS nonlinear optimization solver, and 4) custom developed meta-heuristics.  Currently, we are enhancing the platform to integrate human interactions and other decision aids and models.

 

Papers

 X. Zhao and Y. Son, Modeling Human Operator in Manufacturing Systems using BDI Agent Paradigm, Working Paper at The University of Arizona, August, 2004.

Top

  Development of Library of Simulation Components
 


We propose development of libraries of formal, neutral models of simulation components.  The availability of such libraries would simplify the generation of simulation models, enable reuse of existing models construction of complicated models from simpler ones, and speed Internet-based simulation services.  The result would be a dramatic increase in the use of simulation for decision-making and control in manufacturing.  In this work, we describe a collection of formal, neutral models for a discrete-event simulation of the flow of jobs through a job shop, where the simulation executes jobs based on a pre-provided schedule.   We then derive a database structure from these formal models and discuss the population of that database with the data entries for a sample job shop.  We then examine the translators we developed to go from the neutral representation of the simulation components to the representation required by Arena.  Finally, we compare this routing aspect of translator to the routing aspects of a translator we built for  ProModel.

 

Papers

  Young Jun Son, Albert T. Jones, and Richard A. Wysk, Component Based Simulation Modeling from Neutral Component Libraries, Computers & Industrial Engineering, 45(1), May 2003, 141 - 165. pdf

  A. Rathore, J. Venkateswaran, and Y. Son, Survey of E-Business Standardization Initiatives and Requirements Analysis and IDEF Models for Generic Supply Chain Simulation, Working Paper at The University of Arizona, August, 2004. pdf

Top

 

TCQ.