Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines

Using simulation models for the development and testing of control systems can have significant advantages over using real machines. This paper demonstrates the suitability of the ¿ language for modelling, simulation and control of manufacturing machines. The language integrates a small number of powerful orthogonal continuous-time and discrete-event concepts. The continuous-time part of ¿ is based on DAEs; the discrete-event part is based on a CSP-like concurrent programming language. Models are specified in a symbolic mathematical notation. A case study is presented of a transport system consisting of conveyor belts.

A petri-net based methodology for modeling, simulation, and control of flexible manufacturing systems

Global competition has made it necessary for manufacturers to introduce such advanced technologies as flexible and agile manufacturing, intelligent automation, and computer-integrated manufacturing. However, the application extent of these technologies varies from industry to industry and has met various degrees of success. One critical barrier leading to successful implementation of advanced manufacturing systems is the ever-increasing complexity in their modeling, analysis, simulation, and control. The purpose of this work is to introduce a set of Petri net-based tools and methods to address a variety of problems associated with the design and implementation of flexible manufacturing systems (FMSs). More specifically, this work proposes Petri nets as an integrated tool for modeling, simulation, and control of flexible manufacturing systems (FMSs). The contributions of this work are multifold. First, it demonstrates a new application of PNs for simulation by evaluating the performance of pull and push diagrams in manufacturing systems. Second, it introduces a class of PNs, Augmented-timed Petri nets (ATPNs) in order to increase the power of PNs to simulate and control flexible systems with breakdowns. Third, it proposes a new class of PNs called Realtime Petri nets (RTPNs) for discrete event control of FMS s. The detailed comparison between RTPNs and traditional discrete event methods such as ladder logic diagrams is presented to answer the basic question \u27Why is a PN better tool than ladder logic diagram?\u27 and to justify the PN method. Also, a conversion procedure that automatically generates PN models from a given class of logic control specifications is presented. Finally, a methodology that uses PNs for the development of object-oriented control software is proposed. The present work extends the PN state-of-the-art in two ways. First, it offers a wide scope for engineers and managers who are responsible for the design and the implementation of modem manufacturing systems to evaluate Petri nets for applications in their work. Second, it further develops Petri net-based methods for discrete event control of manufacturing systems

An SDS Modeling Approach for Simulation-Based Control

We initiate a study of mathematical models for specifying (discrete) simulation-based control systems. It is desirable to specify simulation-based control systems using a model that is intuitive, succinct, expressive, and whose state space properties are relatively easy computationally. We compare automata-based models for specifying control systems and find that all systems that are currently used (such as finite state machines, communicating hierarchical finite state machines (FSM), communicating finite state machines, and Turing machines) lack at least one of the abovementioned features. We propose using sequential dynamical systems (SDS) - a formalism for representing discrete simulations - to specify simulation-based control systems. We show how to adapt the standard SDS model to specify cell-level controllers for a generic cell. For reasonable flexible manufacturing cells, the SDS-based specification has size polynomial in the size of the cell, while in the worst case the FSM-based specification has size exponential in the size of the cell

An SDS Modeling Approach for Simulation-Based Control

We initiate a study of mathematical models for specifying (discrete) simulation-based control systems. It is desirable to specify simulation-based control systems using a model that is intuitive, succinct, expressive, and whose state space properties are relatively easy computationally. We compare automata-based models for specifying control systems and find that all systems that are currently used (such as finite state machines, communicating hierarchical finite state machines (FSM), communicating finite state machines, and Turing machines) lack at least one of the abovementioned features. We propose using sequential dynamical systems (SDS) - a formalism for representing discrete simulations - to specify simulation-based control systems. We show how to adapt the standard SDS model to specify cell-level controllers for a generic cell. For reasonable flexible manufacturing cells, the SDS-based specification has size polynomial in the size of the cell, while in the worst case the FSM-based specification has size exponential in the size of the cell

A Capacity Planning Simulation Model for Reconfigurable Manufacturing Systems

Important objectives and challenges in today’s manufacturing environment include the introduction of new products and the designing and developing of reconfigurable manufacturing systems. The objective of this research is to investigate and support the reconfigurability of a manufacturing system in terms of scalability by applying a discrete-event simulation modelling technique integrated with flexible capacity control functions and communication rules for re-scaling process. Moreover, the possible extension of integrating the discrete-event simulation with an agent-based model is presented as a framework. The benefits of this framework are collaborative decision making using agents for flexible reaction to system changes and system performance improvement. AnyLogic multi-method simulation modelling platform is utilized to design and create different simulation modelling scenarios. The developed capacity planning simulation model results are demonstrated in terms of a case study using the configurable assembly Learning Factory (iFactory) in the Intelligent Manufacturing Systems (IMS) Center at the University of Windsor. The main benefit of developed capacity planning simulation in comparison to traditional discrete-event simulation is, with a single simulation run, the recommended capacity for manufacturing system will be determined instead of running several discrete-event simulation models to find the needed capacity

Investigation into inspection system utilisation for advanced manufacturing systems.

Masters Degree. University of KwaZulu-Natal, Durban.Varied inspection is an aperiodic inspection utilisation methodology that was developed for advanced manufacturing systems. The inspection scheme was created as a solution to improve manufacturing performance where inspection hinders production, such as cases where inspection time is significantly larger than machining time. Frequent inspection impedes production cycles which result in undesirable blocking, starving, low machine utilisation, increased lead time and work-in-process. The aim of the inspection strategy was to aid manufacturing metrics by adjusting inspection utilisation through multiple control methods. The novelty of the research lies in using an inspection strategy for improved manufacturing performance. Quality control was traditionally viewed as an unintegrated aspect of production. As such, quality control was only used as a tool for ensuring certain standards of products, rather than being used as a tool to aid production. The problem was solved by using the amount of inspection performed as a variable, and changing that variable based on the needs of the manufacturing process. “Inspection intensity” was defined as the amount of inspection performed on a part stream and was based on inputs such as part quality, required production rates, work-in-process requirements among other factors. Varied inspection was executed using a two-level control architecture of fuzzy controllers. Lower level controllers performed varied inspection while an upper level supervisory controller measured overall system performance and made adjustments to lower level controllers to meet system requirements. The research was constrained to simulation results to test the effects of varied inspection on different manufacturing models. Simulation software was used to model advanced manufacturing systems to test the effects of varied inspection against traditional quality control schemes. Matlab’s SimEvents® was used for discrete-event simulation and Fuzzy Logic Toolbox® was used for the controller design. Through simulation, varied inspection was used to meet production needs such as reduced manufacturing lead time, reduced work-in-process, reduced starvation and blockage, and reduced appraisal costs. Machine utilisation was increased. The contribution of the research was that quality control could be used to aid manufacturing systems instead of slowing it down. Varied inspection can be used as a flexible form of inspection. The research can be used as a control methodology to improve the usage of inspection systems to enhance manufacturing performance

A Modeling and Analysis Framework To Support Monitoring, Assessment, and Control of Manufacturing Systems Using Hybrid Models

The manufacturing industry has constantly been challenged to improve productivity, adapt to continuous changes in demand, and reduce cost. The need for a competitive advantage has motivated research for new modeling and control strategies able to support reconfiguration considering the coupling between different aspects of plant floor operations. However, models of manufacturing systems usually capture the process flow and machine capabilities while neglecting the machine dynamics. The disjoint analysis of system-level interactions and machine-level dynamics limits the effectiveness of performance assessment and control strategies. This dissertation addresses the enhancement of productivity and adaptability of manufacturing systems by monitoring and controlling both the behavior of independent machines and their interactions. A novel control framework is introduced to support performance monitoring and decision making using real-time simulation, anomaly detection, and multi-objective optimization. The intellectual merit of this dissertation lies in (1) the development a mathematical framework to create hybrid models of both machines and systems capable of running in real-time, (2) the algorithms to improve anomaly detection and diagnosis using context-sensitive adaptive threshold limits combined with context-specific classification models, and (3) the construction of a simulation-based optimization strategy to support decision making considering the inherent trade-offs between productivity, quality, reliability, and energy usage. The result is a framework that transforms the state-of-the-art of manufacturing by enabling real-time performance monitoring, assessment, and control of plant floor operations. The control strategy aims to improve the productivity and sustainability of manufacturing systems using multi-objective optimization. The outcomes of this dissertation were implemented in an experimental testbed. Results demonstrate the potential to support maintenance actions, productivity analysis, and decision making in manufacturing systems. Furthermore, the proposed framework lays the foundation for a seamless integration of real systems and virtual models. The broader impact of this dissertation is the advancement of manufacturing science that is crucial to support economic growth. The implementation of the framework proposed in this dissertation can result in higher productivity, lower downtime, and energy savings. Although the project focuses on discrete manufacturing with a flow shop configuration, the control framework, modeling strategy, and optimization approach can be translated to job shop configurations or batch processes. Moreover, the algorithms and infrastructure implemented in the testbed at the University of Michigan can be integrated into automation and control products for wide availability.PHDMechanical EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttps://deepblue.lib.umich.edu/bitstream/2027.42/147657/1/migsae_1.pd

Discrete event simulation and virtual reality use in industry: new opportunities and future trends

This paper reviews the area of combined discrete event simulation (DES) and virtual reality (VR) use within industry. While establishing a state of the art for progress in this area, this paper makes the case for VR DES as the vehicle of choice for complex data analysis through interactive simulation models, highlighting both its advantages and current limitations. This paper reviews active research topics such as VR and DES real-time integration, communication protocols, system design considerations, model validation, and applications of VR and DES. While summarizing future research directions for this technology combination, the case is made for smart factory adoption of VR DES as a new platform for scenario testing and decision making. It is put that in order for VR DES to fully meet the visualization requirements of both Industry 4.0 and Industrial Internet visions of digital manufacturing, further research is required in the areas of lower latency image processing, DES delivery as a service, gesture recognition for VR DES interaction, and linkage of DES to real-time data streams and Big Data sets

A survey of simulation techniques in commerce and defence

Despite the developments in Modelling and Simulation (M&S) tools and techniques over the past years, there has been a gap in the M&S research and practice in healthcare on developing a toolkit to assist the modellers and simulation practitioners with selecting an appropriate set of techniques. This study is a preliminary step towards this goal. This paper presents some results from a systematic literature survey on applications of M&S in the commerce and defence domains that could inspire some improvements in the healthcare. Interim results show that in the commercial sector Discrete-Event Simulation (DES) has been the most widely used technique with System Dynamics (SD) in second place. However in the defence sector, SD has gained relatively more attention. SD has been found quite useful for qualitative and soft factors analysis. From both the surveys it becomes clear that there is a growing trend towards using hybrid M&S approaches