• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.331-336
• /
• 2005

A lot of manufacturing knowledge and method have applied to increase manufacturing efficiency in industry field. DES(Discrete Event Simulation) is one of solution to deal with manufacturing problems in factory. Beginning of research, old maintenance system of KNR ( Korea National Railroad) and its technical problems are basically investigated. KNR has maintained railway vehicle with their own solution based on experience. Very advanced railway vehicles such as KTX (Korea Train Express) and TTX(Tilting Train Express) will be difficult to maintain with their old maintenance method. In order to apply knowledge of DES, maintenance field of railway must be considered. Imaginary maintenance machine are selected to variable of DES. Maintenance capability of each machine will be evaluated base on imaginary data from imaginary machine. The machine could be very expensive as well as difficult to replace. Target of research is minimization of number of machine in railway workshop. So basic knowledge of discrete event simulation is introduced. Then five essential stages of discrete event simulation are provided. Each maintenance case defined as event. Each event is discrete and simulated base on different case such as one maintenance line with one machine and one maintenance line with two machines in railway workshop. simple maintenance method, discrete event simulation, will be come out very powerful in complicate maintenance system and will be helpful to reduce maintenance cost as well as maintenance labor.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.05a
• /
• pp.643-646
• /
• 2000

As many industrial systems become more complex, it becomes extremely difficult to diagnose the cause of failures. This paper presents a failure diagnosis approach based on discrete event system theory. In particular, the approach is a hybrid of event-based and state-based ones leading to a simpler failure diagnoser with supervisory control capability. The design procedure is presented along with a pump-valve system as an example.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.73.5-73
• /
• 2001

In this paper, we present a procedure to design the robust optimal supervisor which has the minimal cost in the sense of average for a given multiple-modelled discrete event system DES. In order to design the robust optimal supervisor, we extend the optimal supervisor design algorithm for a deterministic DES to the case of multiple-modelled DESs. In addition, using the proposed algorithm with modified costs of events and penalities of states, we can show whether a robust supervisor for a given multiple-modelled DES exists and design the minimally restricted robust supervisor.

• Proceedings of the KSR Conference
• /
• 2005.05a
• /
• pp.48-57
• /
• 2005

A lot of manufacturing knowledge and method have applied to increase manufacturing efficiency in industry field. DES(Discrete Event Simulation) is one of solution to deal with manufacturing problems in factory. Beginning of research, old maintenance system of KNR ( Korea National Railroad) and its technical problems are basically investigated. KNR has maintained railway vehicle with their own solution based on experience. Very advanced railway vehicles such as KTX (Korea Train Express) and TTX(Tilting Train Express) will be difficult to maintain with their old maintenance method. In order to apply knowledge of DES, maintenance field of railway must be considered. Imaginary maintenance machine are selected to variable of DES. Maintenance capability of each machine will be evaluated base on imaginary data from imaginary machine. The machine could be very expensive as well as difficult to replace. Target of research is minimization of number of machine in railway workshop. So basic knowledge of discrete event simulation is introduced. Then five essential stages of discrete event simulation are provided. Each maintenance case defined as event. Each event is discrete and simulated base on different case such as one maintenance line with one machine and one maintenance line with two machines in railway workshop. simple maintenance method, discrete event simulation, will be come out very powerful in complicate maintenance system and will be helpful to reduce maintenance cost as well as maintenance labor.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.23 no.1
• /
• pp.38-47
• /
• 2014

This paper describes the application of discrete event systems theory to the design of an automated laboratory system. Current automated laboratory systems typically consist of several interacting processes that must be carefully sequenced to avoid any possible process conflicts. Discrete Event Systems (DES) theory and Supervisory Control Theory (SCT) can be applied together as effective methods of modeling the system dynamics and designing supervisory controllers to precisely sequence the many processes that such systems might involve. Classical approaches to supervisory controller design tend to result in complex controller structures that are difficult to implement, maintain, and upgrade. In this paper, a new approach to designing supervisory controllers for automated laboratory systems is introduced. This new approach uses a modular controller structure that is easier to implement, maintain, and upgrade, and deals with "state explosion" issues in a novel and efficient way.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.411-413
• /
• 1997

This paper presents the problem of fault-tolerant robust supervisory control of timed discrete event systems (DESs). First the concept of faults is quantitatively defined in timed DESs and fault tolerable event sequences are presented as a desired legal language. Given a timed DES with model uncertainty, the conditions for the existence of a supervisor which always guarantees fault tolerable event sequences embedded in the system are derived.

• Journal of the Society of Naval Architects of Korea
• /
• v.44 no.6
• /
• pp.647-656
• /
• 2007

Simulation model of outdoor block movement of shipyard is implemented in this paper. The load of the outdoor workshops in a shipyard influences a mid-term planning and scheduling of the shipyard. Since the load analysis is expected in advance before confirming the planning and scheduling, a discrete event simulation (DES) may be a good solution. The accuracy of DES is up to the accurate modeling of Products, Processes, and Resources (PPR) included in a system. PPR in the outdoor system are clearly defined and the simulation model for the outdoor logistics is implemented by modeling the selective PPR with the help of a DES tool which is programmable by users. The simulation model is verified by comparing the results with the real shipyard data. The outputs through the simulation are discussed.

• Journal of Institute of Control, Robotics and Systems
• /
• v.6 no.6
• /
• pp.478-485
• /
• 2000

A discrete event systems (DES) is a physical system that is discrete in time and state space, asynchronous (event rather than clock-driven), and in some sense generative(or nondeterministic). This paper presents the design of fifteen modular supervisors to control an experimental CIM testbed. These supervisors are nonblocking, controllable and nonconflicting. After verification of the supervisors by simulation, the supervisors for AGV system have been implemented to demonstrate their efficacy.

• Journal of Biomedical Engineering Research
• /
• v.16 no.4
• /
• pp.415-424
• /
• 1995

Combined models, specified by two or more modeling formalisms, can represent a wide variety of complex systems. This paper describes a methodology for the development of combined models in two model types of discrete event and continuous process. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can combine model of the DES and the CS within a framework. The structure employs the DEVS formalism for the DES models and differential or polynomial equations for the CS models. To employ the proposed structure to specify a DEVS/CS combined model, a modeler needs to take the following steps. First, a modeler should identify events in the CS and transform the states of the CS into the DES. Second, a modular employs the formalism to specify the system as the DES. Finally, a moduler developes sub-models for the CS and continguos states of the DES and establishs one-to-one correspondence between the sub-models and such states. The proposed formal structre has been applied to develop a DEVS/CS combined model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through observation. For each phase, a CS model has been developed and associated with the phase. To validate the DEVS/CS combined model developed, then simulate the model in the DEVSIM + + environment, which is a model simulation results with the results obtained from the CS model simulation using SPICE. The comparison shows that the DEVS/CS combined model adequately represents dynamics of the human heart system at each phase of cardiac cycle.

• Korean Journal of Computational Design and Engineering
• /
• v.19 no.1
• /
• pp.29-40
• /
• 2014

Conceptual Modeling is the process of abstracting a model from a real or proposed system. It is probably the most important aspect of a simulation study. Relate works show that the elementary developers devoted little time to understanding how the systems actually worked, namely they didn't build appropriate conceptual model. Thus, the result of simulation is inconsistent because it depends on developer's competence. Although many researchers suggested various techniques enabling developer to build conceptual model, there were several limitations. In this study, to overcome the limitations of existing techniques, we proposed COMBINE-DES (COnceptual Model BuildINg framEwork using ontology for Discrete Event Simulation). The COM-BINE-DES supports expediting the conceptual modeling with Solution ontology generated by Domain ontology and Simulation ontology. Moreover, it provides consistent simulation result regardless of repeated modeling.