• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.453-458
• /
• 2001

A mobile agent is an autonomous software agent capable of moving from one computer to another while performing its tasks. We view the agent as a discrete event system in the view of its computation and communication. This paper presents a methodology far modeling and simulation of such a mobile agent system as a discrete event system. The methodology is based on the Mobile Discrete Event System Specification (MDEVS) formalism and the associated simulation environment AgentSim which are previously developed by the authors. Within the methodology an atomic model represents dynamics of a mobile agent; a coupled model is modeled as mobile agent servers for representation of structural changes between atomic agents. Being based on the object-oriented environment the modeling methodology exploits inheritance of basic classes AtomicModel and CoupledModel provided by AgentSim.

• Journal of the Korea Society for Simulation
• /
• v.11 no.2
• /
• pp.77-88
• /
• 2002

Petri nets is a widely used formalism for specification and analysis of concurrent systems which is a subclass of discrete event systems. The DEVS (Discrete Event System Specification) formalism provides a general framework for specification of discrete event systems in a hierarchical, modular form. Often, modeling a discrete event system may employ both Petri Nets and DEVS formalism. In such a case low-level operational logics are modeled by Petri Nets and high-level managements by the DEVS formalism. Analysis of the system requires simulation of the overall system. This paper presents an algorithm for transformation of Petri Nets to DEVS formalism. The transformation enables modelers to simulate an overall system, which consists of DEVS models and Petri Nets models, in a unified DEVS simulation environment such as DEVSim++. An example for such transformation will be given.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.4
• /
• pp.487-492
• /
• 2004

This paper deals with modeling method and application of Fuzzy Discrete Event System(FDES). FDES have characteristics which Crisp Discrete Event System(CDES) can't deals with and is constituted with the events that is determined by vague and uncertain judgement like biomedical or traffic control. In general, the modeling method of CDES has been studied many times, but that of FDES hasn't been nearly studied by qualitative character and scarcity of applicated system. This paper models traffic system with FDES's character in FTTPN and designs a traffic signal controller.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.3
• /
• pp.224-233
• /
• 2013

For the scheduling and the job assignment of the ship hull production design which is a process-based work, we suggest the simulation-based scheduling using the discrete-event-based business process simulation. First, we analyze the ship hull production design process from the perspective of a job assignment to make it into the simulation model using DEVS (Discrete Event System Specification) which is the representative modeling method for a discrete-event simulation. Based on the APIs of the open-source discrete-event simulation engine, we implement the simulation using the Groovy script. We develop the scenario generator in which the user defines detail information of the construction drawing and its member blocks, and design engineers information, and the various setting for the simulation including the job assignment strategy. We use the XML files from this scenario generator as inputs of simulation so that we can get simulation result in forms of Gantt chart without changes of the simulation model.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.219-227
• /
• 2008

The DEVS (Discrete Event Systems Specification) formalism supports specification of discrete event models in a hierarchical modular manner. MATLAB/Simulink is widely used for modeling, simulating and analyzing continuous and discrete time systems. This paper proposes a realization of the DEVS formalism in MATLAB/ Simulink. The proposed design enables to use a great amount of mathematical packages and functions included in MATLAB /Simulink. The design is also employed as real time simulation and hybrid system simulation which is a mixture of continuous systems and discrete event systems. The paper introduces Simulink-DEVS model, in which a simulation algorithm is embedded. The model consists of a Simulink-atomic model and a Simulink-coupled model. In addition, the time advance algorithm to simulate the model is suggested. The algorithm handles the time synchronization and the accommodation of different concepts specific to continuous and discrete event models. Two experimental results are presented for a pure discrete event model and a hybrid model.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.5
• /
• pp.375-383
• /
• 2001

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.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.4
• /
• pp.396-399
• /
• 2009

This paper presents the notion of time-coobservability as a core condition far the existence of a decentralized supervisor achieving a given language specification in a timed discrete event system (TDES). A TDES is modeled by the framework of Brandin & Wonham [5], and the decentralized supervisory control architecture presented is extended from the untimed architecture of Yoo & Lafortune [1]. To develop the time-coobservability of a language specification, specifically this paper presents the C&P time-coobservability and D&A time-coobservability in the consideration of the event tick and forcing mechanism of decentralized supervisors.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.71-80
• /
• 2008

In this study, a simulation framework, which can support developing various simulation systems for the improvement of process planning in shipbuilding such as the block erection, the block turn-over, and so on, is proposed. In addition, a simulation kernel, which is a key component of the simulation framework, is implemented according to the concept of the combined discrete event and discrete time simulation. To evaluate the efficiency and applicability of the proposed simulation framework, it is applied to the block erection process in shipbuilding. The result shows that the proposed simulation framework can provide the consistent, integrated development environment for a simulation system, as compared with existing studies and commercial simulation systems.

• 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.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1134-1139
• /
• 2003

Tracking is a fundamental technique which is able to be applied to gesture recognition, visual surveillance, tangible agent and so forth. Especially, multiple object tracking has been extensively studied in recent years in order to perform many and more complicated tasks. In this paper, we propose a new approach of multiple object tracking which is based on discrete event. We call this system the DEMOT (Discrete Event based Multiple Object Tracking). This approach is based on the fact that a multiple object tracking can have just four situations - initiation, continuation, termination, and overlapping. Here, initiation, continuation, termination, and overlapping constitute a primary event set and this is based on the change of the number of extracted objects between a previous frame and a current frame. This system reduces computational costs and holds down the identity of all targets. We make experiments for this system with respect to the number of targets, each event, and processing period. We describe experimental results that show the successful multiple object tracking by using our approach.