• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.4
• /
• pp.352-357
• /
• 2007

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. We proposed Real-time Fuzzy Temporal Logic Framework(RFTLF) to model Fuzzy Discrete Event System. It combines Temporal Logic Framework with Fuzzy Theory. We represented the model of traffic signal systems for intersection to have the property of Fuzzy Discrete Event System with Real-time Fuzzy Temporal Logic Framework and designed a traffic signal controller for smooth traffic flow. Moreover, we proposed the method to find the minimum-time route to reach the desired destination with information obtained in each intersection. In order to evaluate the performance of Real-time Fuzzy Temporal Logic Framework model proposed in this paper, we simulated unit-time extension traffic signal controller model of the latest signal control method on the same condition.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.05
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. 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 coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.568-572
• /
• 2007

With the proliferation of advanced wireless network and sensor technologies, smart devices under USN(ubiquitous sensor network) environment are capable of collecting context information such as temperature, humidity, weight, and location about objects at real time. Therefore, applications must be able to analyze collected information and notify useful information to wanted users timely. This service can be realized by implementing an event-based middleware. In the middleware, event messages collected from physical environment will be filtered according to profiles that users define in advance and the result will be sent to the interested users. In this paper, we present XML-based event model, ECA-based profile model, and the architecture of an event-based middleware suitable to USN environment. We will also model and describe them using the examples of logistics area. By implementing the system based on the design above, the middleware enable applications or users to easily access to physical sources. The proposed middleware can also apply to not only logistics area but also other various areas under USN environment such as intelligent traffic control system, national disaster management system and u-medical system.

• Journal of Computational Design and Engineering
• /
• v.1 no.4
• /
• pp.233-242
• /
• 2014

A magnetically levitated vehicle (Maglev) system is under commercialization as a new transportation system in Korea. The Maglev is operated by an unmanned automatic control system. Therefore, the plan of train operation should be carefully established and validated in advance. In general, when making a train operation plan, statistically predicted traffic data is used. However, a traffic wave often occurs in real train service, and demand-driven simulation technology is required to review a train operation plan and service quality considering traffic waves. We propose a method and model to simulate Maglev operation considering continuous demand changes. For this purpose, we employed a discrete event model that is suitable for modeling the behavior of railway passenger transportation. We modeled the system hierarchically using discrete event system specification (DEVS) formalism. In addition, through implementation and an experiment using the DEVSim++ simulation environment, we tested the feasibility of the proposed model. Our experimental results also verified that our demand-driven simulation technology can be used for a priori review of train operation plans and strategies.

• Journal of the Society of Naval Architects of Korea
• /
• v.61 no.3
• /
• pp.152-160
• /
• 2024

In the event of a maritime accident, search plans have traditionally been planned using experiential methods. However, these approaches cannot guarantee safety when the scale of a maritime accident increases. Therefore, this study proposes a model utilizing discrete event simulation (DES) to predict the diving time for compartment searches of a ship located on the seabed. The discrete event simulation model was created by applying the DEVS formalism. The M/V Sewol sinking was used as an example to simulate how to effectively navigate compartments of different sizes. The simulation results showed the optimal dive time with the number of decompression chambers needed to navigate the compartment as a variable. Based on this, we propose a methodology for efficient navigation planning while ensuring diver safety.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.10
• /
• pp.2544-2552
• /
• 1997

This paper presents three multiprocess models for parallel protocol implementation, that is, (1)channel communication model, (2)fork-join model, and (3)event polling model. For the specification of parallelism for each model, a parallel programming language, Par. C System, is used. to measure the performance of multiprocess models, we implemented the Internet Protocol Suite(IPS) Internet Protocol (IP) for each model by writing the parallel language on the Transputer. After decomposing the IP functions into two parts, that is, the sending side and the receiving side, the parallelism in both sides is exploited in the form of Multiple Instruction Single Data (MISD). Three models are evaluated and compared on the basis of various run-time overheads, such as an event sending via channels in the parallel channel communication model, process creating in the fork-join model and context switching in the event polling model, at the sending side and the receiving side. The event polling model has lower processing delays as about 77% and 9% in comparison with the channel communication model and the fork-join model at the sending side, respectively. At the receiving side, the fork-join model has lower processing delays as about 55% and 107% in comparison with the channel communication model and the event polling model, respectively.

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

This paper presents a Petri net approach for the control and monitoring of discrete event system. The proposed model is fuzzy Petri nets based on the fuzzy logic with Petri nets and the hierarchy concept. Fuzzy Petri nets have been used to model the imprecise situations which can arise within automated manufacturing system, and also the hierarchy concept allow to handle the refinement of places and transition in Petri nets model. These will form the foundation of a simulator-tool with manipulation interface for application of fuzzy Petri nets.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.1
• /
• pp.72-75
• /
• 2006

Event trees are widely used graphical tool to denote the accident inintiation and escalation to more severe accident. But they have some drawbacks in that they do not have efficient way of updating model parameters and also they can not contain the information about dependency or independency among model parameters. A tool that can cure such drawbacks is an influence diagram. We introduce influence diagrams and explain how to update model parameters and obtain predictive distributions. We show that an event tree can be converted to a statistically equivalent influence diagram, and bayesian prediction can be made more effectively through the use of influence diagrams.

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

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