• Journal of KIISE
• /
• v.42 no.7
• /
• pp.823-833
• /
• 2015

Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.

• Proceedings of the KIEE Conference
• /
• 2000.11d
• /
• pp.679-681
• /
• 2000

This thesis presents a analysis method of hybrid synthesis petri net for automated manufacturing systems in discrete event dynamic system. There are many errors that can happen to petri net modeling of complex systems because petri net modeling process has so many steps. A new matrix analysis method presented in this thesis can confirm the property of petri net such as boundedness, liveness and reversibility, modify errors which can be occurred in modeling.

• Journal of the Korea Society for Simulation
• /
• v.9 no.1
• /
• pp.67-81
• /
• 2000

In this paper, a new software package for modeling and simulating discrete-event dynamic systems is developed. The new software is a general-purpose, graphical tool based on timed Petri-nets and is developed using Visual Basic and Visual C++ for the window environment. It allows the user to graphically build a Petri-net model and enter input data for executing the Petri-net simulation model. It is equipped with a deadlock detection and recovery function as well as an automatic error check function. In addition, the software supports various enabling functions and distribution functions and provides various statistics for the performance measures of interests pertaining to the system. We expect the new software will be used in a wide number of applications including computer, communication and manufacturing systems.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.469-475
• /
• 1991

In this paper, we suggest the exact perturbation analysis(Exact_PA) technique with respect to the buffer storage in tandem queueing networks, through which the optimal buffer storage design problem is considered. The discrete event dynamic equations for the departure time of a customer are presented together with the basic properties of Full Out(FO) and No Input(NI) with respect to the buffer storage. The new perturbation rules with respect to the buffer storage are suggested, from which the exact perturbed path can be obtained. The optimal buffer storage problem is presented by introducing a performance measure consisting of the throughput and the buffer storage cost. An optimization algorithm maximizing this performance measure is derived by using the Exact_PA technique. The proposed perturbation analysis technique and the optimization algorithm are validated by numerical examples.

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

In this paper we introduce a general framework for the modeling, analysis and costing of logistic networks including supply chains (SCs). The employed modeling notation, the so-called Process Chain paradigm, is specifically developed for the application field of logistic networks which includes SCs. We view SCs as discrete event dynamic systems (DEDS) and apply corresponding simulative techniques in order to derive performance measures of the Process Chain model under investigation. For this purpose Process Chain models are automatically transformed into the input language of the simulation tool HIT. Subsequently, a cost accounting model using the performance measures is applied to obtain costs which are actually subject of interest. The usefulness and applicability of the approach is illustrated by a typical supply chain example. We investigate the impact of an additional SC channel between a manufacturer and web-consumers on the overall supply chain costs.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.6
• /
• pp.599-607
• /
• 2000

This paper suggests an efficient reachability analysis method of bounded petri nets. Reachability analysis is a fundamental basis for studying the dynamic properties of any discrete event systems. However, it takes at least exponential execution time and memory space to verify in general petri nets. That is, state space explosion problem may occur. In this paper, we attack problems of previous approaches - state space explosion and restrictions to applicable petri net classes - by formulating the reachability problem as set operation over structural relations among places on an unfolding.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.1
• /
• pp.83-104
• /
• 2011

Mobile grid is a combination of grid computing and mobile computing to build grid systems in a wireless mobile environment. The development of network technology is assisting in realizing mobile grid. Mobile grid based on established grid infrastructures needs effective resource management and reliable job scheduling because mobile grid utilizes not only static grid resources but also dynamic grid resources with mobility. However, mobile devices are considered as unavailable resources in traditional grids. Mobile resources should be integrated into existing grid sites. Therefore, this paper presents a mobile grid middleware interconnecting existing grid infrastructures with mobile resources and a mobile service agent installed on the mobile resources. This paper also proposes a mobile resource reliability-based job scheduling model in order to overcome the unreliability of wireless mobile devices and guarantee stable and reliable job processing. In the proposed job scheduling model, the mobile service agent calculates the mobile resource reliability of each resource by using diverse reliability metrics and predicts it. The mobile grid middleware allocated jobs to mobile resources by predicted mobile resource reliability. We implemented a simulation model that simplifies various functions of the proposed job scheduling model by using the DEVS (Discrete Event System Specification) which is the formalism for modeling and analyzing a general system. We also conducted diverse experiments for performance evaluation. Experimental results demonstrate that the proposed model can assist in improving the performance of mobile grid in comparison with existing job scheduling models.

• International Journal of Fluid Machinery and Systems
• /
• v.2 no.4
• /
• pp.269-277
• /
• 2009

The current paper focuses on the analysis of transient cavitating flow in pressurised polyethylene pipes, which are characterized by viscoelastic rheological behaviour. A hydraulic transient solver that describes fluid transients in plastic pipes has been developed. This solver incorporates the description of dynamic effects related to the energy dissipation (unsteady friction), the rheological mechanical behaviour of the viscoelastic pipe and the cavitating pipe flow. The Discrete Vapour Cavity Model (DVCM) and the Discrete Gas Cavity Model (DGCM) have been used to describe transient cavitating flow. Such models assume that discrete air cavities are formed in fixed sections of the pipeline and consider a constant wave speed in pipe reaches between these cavities. The cavity dimension (and pressure) is allowed to grow and collapse according to the mass conservation principle. An extensive experimental programme has been carried out in an experimental set-up composed of high-density polyethylene (HDPE) pipes, assembled at Instituto Superior T$\acute{e}$cnico of Lisbon, Portugal. The experimental facility is composed of a single pipeline with a total length of 203 m and inner diameter of 44 mm. The creep function of HDPE pipes was determined by using an inverse model based on transient pressure data collected during experimental runs without cavitating flow. Transient tests were carried out by the fast closure of the ball valves located at downstream end of the pipeline for the non-cavitating flow and at upstream for the cavitating flow. Once the rheological behaviour of HDPE pipes were known, computational simulations have been run in order to describe the hydraulic behaviour of the system for the cavitating pipe flow. The calibrated transient solver is capable of accurately describing the attenuation, dispersion and shape of observed transient pressures. The effects related to the viscoelasticity of HDPE pipes and to the occurrence of vapour pressures during the transient event are discussed.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.39 no.1
• /
• pp.19-26
• /
• 2015

This paper proposes a design method for improving the frequency-domain performance reliability of dynamic systems with uncertain and degrading components. Discrete frequencies are used in this method as surrogates for the frequency band of interest, and the conformance of the frequency responses to the specification at these frequencies is utilized to model the frequency-domain performance reliability. A meta-model for the frequency responses, an extreme-value event, and the set-theory are integrated to improve the computational efficiency of the reliability estimation. In addition, a sample-based approach is presented to evaluate and optimize the estimated performance reliability. A case study of a vibration absorber system showed that the proposed design method has engineering applications.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.37-44
• /
• 2018

In applying modeling and simulation (M&S) techniques to analyze complex discrete event dynamic systems, conventionally users had to use different simulation environments depending on the user-level. To solve the inconvenience, this paper proposes an integrated development environment for M&S depending on user-level and a formalized interface to manage the model in the development environment efficiently. The interface consists of an extended DEVS formalism and model making rules. The development environment is divided into a modeling environment and a simulation environment. In the modeling environment, three modeling methods are provided for each level of the users. Users inputs several parameters to the model generated as a result of the modeling process, and experiments in various cases by using the simulation environment. The case study shows the implementation of the proposed M&S environment, and using the implemented environment, it shows the M&S process of the complex defense combat system.