• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.11
• /
• pp.906-916
• /
• 2003

A multi-robot control algorithm using Petri-Net is proposed for 5vs5 robot soccer. The dynamic environment of robot soccer is modeled by defining the place and transition of each robot and converting it into Petri-Net diagram. Once all the places and transitions of robots are represented by the Petri-Net model, their actions can be chosen according to the roles of robots and position of the ball in soccer game, e.g., offensive, defensive and goalie robot. The proposed modeling method is implemented for soccer robot system. The efficiency and applicability of the proposed multiple-robot control algorithm using Petri-Net are demonstrated through 5vs5 Middle League SimuroSot soccer game.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.9 no.3
• /
• pp.25-32
• /
• 2006

Weapon systems composed of several subsystems execute various engagement missions in distributed combat environments in cooperation with a large number of subordinate/adjacent weapon systems as well as higher echelons through tactical data links. Such distributed weapon systems require distributed real-time simulation test beds to integrate and test their operational software, analyze their performance and effects of cooperated engagement, and validate their requirement specifications. These demands present significant challenges in terms of real-time constraints, time synchronization, complexity and development cost of an engagement simulation test bed, thus necessitate the use of high-performance distributed real-time simulation architectures, and modeling and simulation techniques. In this paper, in order to meet these demands, we presented a distributed real-time simulation system based on High Level Architecture(HLA) and Discrete Event System Specification(DEVS). We validated its performance by using it as a test bed for developing the Engagement Control System(ECS) of a surface-to-air missile system. The proposed technique can be employed to design a prototype or model of engagement-level distributed real-time simulation systems.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.1-8
• /
• 2012

In recent days, global shipbuilding companies have been showing great interest in eco-friendly ship products and trying to reduce environmental pollution - harmful gas and dust in shipbuilding process. Following this trend, Life Cycle Assessment (LCA) was carried out to an application of shipyards layout. LCA is a technique used to assess environmental impacts during the life cycle of products and systems. Until now, LCA has been used through ISO 14040 in somewhat limited industries, such as Building Life Cycle Assessment. Thus, this study analyzes the shipyard layout planning framework and builds life cycle inventory along with the simulation model structure to evaluate environmental impacts.

• Korean Institute of Interior Design Journal
• /
• v.26 no.3
• /
• pp.45-54
• /
• 2017

A social phenomenon that occurs in a physical space is said to be a complex system. However, space syntax, which is commonly employed by researchers to identify such social phenomena, has various limitations in interpreting their complexity. On the other hand, agent-based modeling considers a variety of factors including the personality of the agent, objective-oriented work flows, estimation according to time flows and better prediction of space use through diverse parameters depending the situation, as well as the characteristics of the space. The agent-based method thus has the potentials to be developed as an alternative to space syntax techniques. In particular, discrete event driven simulation(DEVS), which is part of the agent-based modeling method, embraces the concept of networks just like space syntax, which allows a possible theoretical linkage in the future. This study suggests a procedural model of agent-based DEVS reflecting two different connection methods, i.e. connections between adjacent areas and those of the entire space, and attempts to identify the relationship between the local and regional indices of space syntax. A number of spaces were selected as examples-one for a preliminary experiment and eight modified for the main experiment-and space syntax and DEVS were applied to each of them. The comparative analysis of the results led to the conclusions as follows: 1) Adjacent connections were closely related to local indices, while the whole-space approach to regional indices. Local integration shows both characteristics. 2) Observation of the time flow model indicated a faster convergence with the range of 1 to 3-fold of the total time of one lap, with the error of less than 10%. 3) The heat map analysis showed more obvious characteristics of using the space for the entire space rather than adjacent connections. 4) Space syntax shows higher eligibility than ABM.

• Journal of Korean Institute of Industrial Engineers
• /
• v.33 no.2
• /
• pp.191-200
• /
• 2007

We propose the QoS (Quality of Service) assurance model for AMR (Adaptive MultiRate) voice users considering the capacity and service quality jointly in downlink WCDMA system. For this purpose, we introduce a new system performance measure and the number-based AMR mode allocation scheme. The proposed number-based AMR mode allocation can be operated only with the information of total number of ongoing users. Therefore, it can be more simply implemented than the existing power-based allocation. The proposed system performance measure considers the stochastic variations of AMR modes of ongoing users and can be analytically obtained using CTMC (Continuous Time Markov Chain) modeling. In order to validate the proposed analytical model, a discrete event-based simulation model is also developed. The performance measure obtained from the analytical model is in agreement with the simulation results and is expected to be useful for parameter optimization.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.12
• /
• pp.965-974
• /
• 2003

Today's network consists of a large number of routers and servers running a variety of applications. In this paper, we have designed and constructed the general simulation environment of network security model composed of multiple IDSs agent and a firewall agent which coordinate by CNP (Contract Net Protocol). The CNP, the methodology for efficient integration of computer systems on heterogeneous environment such as distributed systems, is essentially a collection of agents, which cooperate to resolve a problem. Command console in the CNP is a manager who controls the execution of agents or a contractee, who performs intrusion detection. In the knowledge-based network security model, each model of simulation environment is hierarchically designed by DEVS (Discrete Event system Specification) formalism. The purpose of this simulation is the application of rete pattern-matching algorithm speeding up the inference cycle phases of the intrusion detection expert system. we evaluate the characteristics and performance of CNP architecture with rete pattern-matching algorithm.

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.236-246
• /
• 2003

This paper is implemented a control algorithm in order to be stable and minimized to entire train traffic system at delayed case. Signal ing system is described wi th algebraic equations given for train headway, Discrete-event simulation principles are reviewed and a demonstration block signaling model using the technique is implemented. Train congestion at station entrance for short headway operation is demonstrated and the propagation of delays along a platform of trains from any imposed delay to the leading train is also shown. A rail way signaling system is by nature a distributed operation with event triggered at discrete intervals. Although the train kinematic variables of position, velocity, and acceleration are continually changing, the changes are triggered when the trains pass over section boundaries and arrive at signals and route switches. This paper deals with linear-mode1ing, stability and optimal control for the traffic on such metro line of the model is reconstructed in order to adapt the circuits. This paper propose optimal control laws wi th state feedback ensuring the stability of the modeled system for circuits. Simulation results show the benefit to be expected from an efficient traffic control. The main results are summarized as follows: 1. In this paper we develop a linear model describing the traffic for both loop lines, two state space equations have been analyzed. The first one is adapted to the situation where a complete nominal time schedule is available while second one is adapted when only the nominal time interval between trains is known, in both cases we show the unstability of the traffic when the proceeding train is delayed following properties, - They are easily implemented at law cost on existing lines. - They ensure the exponetial stability of loop system. 2. These control laws have been tested on a traffic simulation software taking into the non-linearites and the physical constraints on a metro line. By means of simulation, the efficiency of the proposed optimal control laws are shown.

• Journal of the Korea Society for Simulation
• /
• v.30 no.1
• /
• pp.87-101
• /
• 2021

Required Operational Capability(ROC), which means the performance of a weapon system, is determined when estimating the requirements of a new weapon system. It is very important to define the ROC as it has a decisive influence from acquisition of a weapon system to tactical operation. In this study, we propose a simulation methodology to verify the ROC of the Para-Observation Munition(POM), a newly developed weapon system. To this end, we propose a discrete-event simulation model that takes main performance of the weapon system constituting the ROC and environmental factors that affect performance of the weapon system as input values, and outputs operational effect as a result value. It describes various simulation logic required to implement a simulation model, and explains how to verify ROC using various simulation results such as sensitivity analysis. POM is a weapon system that does not have a similar one and that is difficult to directly utilize the military analysis model. This study can be used as a methodology to analyze the ROC and predict operational effects of weapon systems such as POM.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.1356-1359
• /
• 1996

The paper studies design of a decentralized supervisory controller with 2-level hierarchical structure for complex discrete event systems. Hierarchical structure with strict output-control-consistency(SOCC) gives a more abstract model for high-level control. The decentralized controller for a simple and abstract high-level system is designed more easily if the decentralized supervisory control problem in 2-level hierarchical structure systems(DSCP2) is solvable.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2004.05a
• /
• pp.13-19
• /
• 2004

본 논문은 SIMVA(Simulation Vulnerability Analyzer)를 이용한 시뮬레이션 기반의 네트워크 취약성 분석을 주목적으로 한다 SIMVA는 네트워크 상태를 감시하고, 이를 토대로 취약성을 분석하기 위하여 개발된 S/W로서, SES/MB (System Entity Structure / Model Base) 프레임워크 및 DEVS(Discrete Event System Specification) 이론을 적용하여 네트워크 보안 모델링을 수행할 수 있으며, 취약성 메트릭스를 통하여 정량적으로 취약성을 분석할 수 있다. 본 연구에서는 SIMVA를 이용하여 최근 네트워크 보안 문제에 심각한 영향을 미치는 슬래머 웜 공격 시나리오에 대한 취약성 분석을 수행함으로써 SIMVA의 검증 및 적용 가능성을 제시한다.