• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10a
• /
• pp.358-361
• /
• 1996

In this paper, we discuss decentralized optimal fault tolerant supervisory control issues on the basis of failure analysis and diagnosis from the angle of discrete event dynamic system. We address the detectability and the observability problems, and develope fault tolerant supervisory control system upon the failure analysis and diagnosis schemes. A complete min-cut is introduced and the procedure for finding the achievable or nonachievable layered optimal legal sublanguages is suggested for a preferential option among the reachable states in the controlled plant. A layered optimal supervisory control framework is proposed upon these. We extend the concept of decentralized supervisory control by considering the problem of combination of decentralized with centralized control in case pure decentralized control happens to be inadequate. We introduce the concept of locally controllable pair and present a hybrid decentralized supervisory control framework. Finally, we propose the analytical framework for a decentralized optimal fault tolerant supervisory control systems.

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.3
• /
• pp.209-219
• /
• 1996

Fieldbus provides a real-time data communication among field devices in the process control and manufacturing automation systems. In this paper, a Petri Net model of the 1993 draft of IEC/ISA fieldbus which is proposed as an international standard of fieldbus network is developed. Based on the Petri Net model, discrete-event simulation model of IEC/ISA fieldbus network is developed. This paper evaluates the network induced delay in the data link layer of IEC/ISA fieldbus using the simulation model. In addition, an integrated discrete-event/continuous-time simulation model of fieldbus system and distributed control system is developed. This paper investigates the real-time data processing capability of IEC/ISA fieldbus and the effect of network-induced delay to the performance of control system.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.364-364
• /
• 2000

Timed Petri Net(TPN) is one of methods to model and to analyze Discrete Event Dynamic Systems(DEDSs) with real time values. It has two time values, earliest firing time ($\alpha$$_{i}$) and latest firing time ($\beta$$_{I}$) for the each transition. A transition of TPN is fired at arbitrary time of time interval ($\alpha$$_{I}$, $\beta$$_{i}$). Uncertainty of firing time gives difficulty to analyze and estimate a modeled system. In this paper, we proposed the Fuzzy Transition Timed Petri Net(FTTPN) with fuzzy theory to determine the optimal transition time (${\gamma}$$_{i}$). The transition firing time (${\gamma}$$_{i}$) of FTTPN is determined from fuzzy controller which is modeled with information of state transition. Each of the traffic signal controllers are modeled using the proposed method and timed petri net. And its Performance is evaluated by simulation of traffic signal controller. controller.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.5
• /
• pp.1029-1036
• /
• 2007

State explosion is a well-known problem that impedes analysis md testing of discrete event systems, thus making the verification of large systems intrinsically difficult job. This paper suggests a hierarchical verification methodology of untimed DEVS model which can alleviate the state explosion problem. The method is a repetitive procedure of designing and verifying between the upper level and the lower level models abstracting away the unnecessary information with respect to a given verification task. A small example was employed to show our suggested method in detail.

• Journal of the Society of Naval Architects of Korea
• /
• v.50 no.5
• /
• pp.334-342
• /
• 2013

In this paper, we analyze the procedure of the design manager for the enhancement of the hull production design process by use of the simulation method. Normally, design manager assigns design jobs according to various methods and estimates the corresponding results. When the construction drawing which is the output of the detail design where a design is dealt by zones, the design manager identifies blocks and analyzes their work difficulties, and assigns jobs to design engineers who are different in capabilities. These processes including the design engineer who can be modeled with man-hours evaluation model are represented in detail as a simulation model. As the high-level modeling for the discrete-event system, we use Event Graph model. And we implemented the simulation using Simkit which is open simulation engine for the discrete-event system. We made the simulation scenario to be written by a user in the scenario generator which is separated from the simulation model, and made the simulation result to be visualized in the form of Gantt chart in a Web. In the scenario of the irregular issuance for various construction drawings which contain different numbers of blocks, we performed the Monte-Carlo simulation according to various assignment methods to find the assignment result that satisfies the mid-term schedule.

• The Journal of Information Systems
• /
• v.27 no.4
• /
• pp.35-70
• /
• 2018

Purpose Recently, 3D factory simulation technology has emeged as a powerful tool for modeling and analysis of a wide range of production systems, however, it has been not paid much attention in Korea. In this context, this paper aims to provide a comprehensive literature review on discrete event simulation softwares and introduce a promising 3D factory simulation software called FlexSim and its application domains. Design/methodology/approach In order to demonstrate worldwide popularity and technical superiority of FlexSim software, we analyzed the recent list of rankings for commercial discrete simulation softwares released by winter simulation conference and users' opinions collected from business software review site. Moreover, several main application domains are derived from a review of the previous research papers that deal with applications of FlexSim software. Findings FlexSim software recently moved up the list of major commercial simulation softwares, and technical superiorities of the software demonstrate that it is a promising tool for practical 3D factory simulation. Moreover, recent research papers suggest that FlexSim software can be used as a component of smart factory system. In this context, it is expected that FlexSim software becomes more popular in the era of industry 4.0.

• Journal of Advanced Navigation Technology
• /
• v.24 no.3
• /
• pp.184-191
• /
• 2020

Avionics System Integration Laboratory is the integrated test environment for integration and verification of avionics systems. When real equipment can not be used in the laboratory for various reasons, software models should be needed. Because there hasn't been any standardized method for the models so that it is difficult to reuse the developed models, the need for a framework to develop the avionics software models was emerged. We adopted DEVS(discrete event system specification) formalism as the standardized modeling method for the avionics software models. Due to DEVS formalism is based on event-driven algorithm, it doesn't accord a legacy system which has sequential and periodic algorithms. In this paper, we propose real-time event-driven modeling and simulation method for SIL to overcome these restrictions and to maximize reusability of avionics models through the analysis of the characteristics and the limitations of avionics models.

• Journal of the Korea Society for Simulation
• /
• v.20 no.1
• /
• pp.87-96
• /
• 2011

DEVS(Discrete Event Systems Specification) is a set theoretic formalism developed for specifying discrete event system. For execution of DEVS, we need an execution environment, which consists of simulation engine and models interpreted by the simulation engine. Common existing environments use hierarchical scheduling algorithm for DEVS execution. This hierarchical scheduling is a proper algorithm for DEVS execution because of hierarchical and modular characteristics. But this algorithm has overheads owing to message passing and time management. To overcome these overheads, we apply event-oriented simulation to DEVS execution and we remove hierarchical overheads. In eventoriented simulation, the scheduling of model execution is performed by events and event list. We propose three event-oriented execution environments for DEVS and experiment about the performance of our proposed environments in comparison with the existing execution environment using the hierarchical scheduling. The experimental results show our environments works better than existing environment using the hierarchical scheduling.

• Journal of the Korea Society for Simulation
• /
• v.8 no.3
• /
• pp.1-16
• /
• 1999

This paper deals with a discrete simulation optimization method for designing a complex probabilistic discrete event system. The proposed algorithm in this paper searches the effective and reliable alternatives satisfying the target values of the system to be designed through a single run in a relatively short time period. It tries to estimate an autoregressive model, and construct mean and confidence interval for evaluating correctly the objective function obtained by small amount of output data. The experimental results using the proposed method are also shown.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.4 no.3
• /
• pp.211-227
• /
• 2012

To implement a combined discrete event and discrete time simulation such as submarine diving simulation in a distributed environment, e.g., in the High Level Architecture (HLA)/Run-Time Infrastructure (RTI), a HLA interface, which can easily connect combined models with the HLA/RTI, was developed in this study. To verify the function and performance of the HLA interface, it was applied to the submarine dive scenario in a distributed environment, and the distributed simulation shows the same results as the stand-alone simulation. Finally, by adding a visualization model to the simulation and by editing this model, we can confirm that the HLA interface can provide user-friendly functions such as adding new model and editing a model.