• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
• /
• pp.615-617
• /
• 2000

Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

• 제어로봇시스템학회논문지
• /
• 제7권6호
• /
• pp.477-486
• /
• 2001

Many physical systems can be modeled by incorporating continuous and discrete event nature together. Such hybrid systems contain both continuous and discrete states that influence the dynamic be-havior of the systems. There has been an increasing interest in thers types of systems during the last dec-ade, mostly due to the growing usage of computers in the control of physical plants but also as a result of the hybrid nature of physical processes. The stability theory for hybrid systems is considered as extension of Lyapunov theory where the existence of an abstract energy function satisfying certain properties verifies stability, called multiple Lyapunov theory. In this paper, a hybrid stabilizing controller is proposed using the control Lyapunov function method and multiple Lyapunov theory, and the proposed method is applied to lon-gitudinal spacing control in a vehicle platoon for intelligent transportation systems(ITS).

• 제어로봇시스템학회논문지
• /
• 제9권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.

• 한국해양공학회지
• /
• 제13권3B호
• /
• pp.106-115
• /
• 1999

Modeling a discrete event system such as a sequential control system is difficult compared with a continuous system. Petri nets have been introduced as an analyzing and design tool for the discrete systems. One of the problems in its applications is that the model can not be analyzed easily in the case of large scale or complicated systems because of increase of the number of components of the system. To overcome this problem, some methods for dividing or reducing Petri nets have been suggested. In this paper, an approach for a hierarchical expression of Petri nets based on Sequential Function Chart(SFC) is proposed. A measuring tank system will be described as a typical kind of discrete systems. The system is modeled by sub Petri nets based on SFC in order to analyze and visualize efficiently about the dynamic behaviors of the system. Some numerical simulations using state equations are performed to prove the validity of the proposed method.

• 한국통신학회논문지
• /
• 제25권12B호
• /
• pp.1996-2002
• /
• 2000

This paper investigates a priority scheme for IEEE 802.11 Carrier Sense Multiple Access/Collision Avoidance (CSMA/CA) protocol in order to provide short access times for priority frames (e.g. time-deadline traffic) even when the overall traffic on the wireless channel is heavy. Under the compatibility constraint for the IEEE 802.11 wireless LANs, two priority systems are simulated: no priority (current IEEE 802.11 standard) for time-deadline traffics and dynamic time-deadline priority. We evaluate algorithms to improve the time-deadline traffic performance using discrete event simulation (DES)

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2002년도 추계학술대회논문집
• /
• pp.593-598
• /
• 2002

Coupling adjacent steel frame using elastic dampers for control of response to low and moderate dynamic event is investigated in this paper. The complex modal superposition method is first used to determine dynamic characteristic, mainly modal damping ratio and modal frequency, of damper linked linear adjacent steel frame for fractical use. Dynamic response of steel frame linked by hydraulic-excitation method. This combined method can efectively and accurately determine dynamic response of non-clasically damped systems in the frequency domain. Parametric studties are finally performed to identify optimal parameters of elastic dampers for achieving the maximum modal damping ratio or the maximum response reduction of steel frame. It is demonstrated that using discrete elasatic dampers of proper parameters to link steel frame can reduce dynamic response significantly.

• 한국시뮬레이션학회논문지
• /
• 제21권1호
• /
• pp.27-34
• /
• 2012

본 논문의 목적은 복잡한 군수지원시스템의 모델링과 시뮬레이션을 위한 방법론을 제안하는 것이다. 제안하는 군수지원시스템 시뮬레이션 모델을 구성하는 요소들은 세 가지가 있다 : Logistics force agent(static model), Military supplies transport manager(function model), Military supplies state manager(dynamic model). Logistics force agent는 main function agent와function agent로 구성된다. Function agent가 다른 Logistics force agent에도 적용할 수 있도록 설계되었으며, 이는 에이전트의 높은 조합성과 재사용성을 가진다. Military supplies transport manager는 보급로에 대한 정보를 가지며 military supplies state manager로부터 받은 결정변수를 기반으로 보급로를 결정하고 군수품을 수송하는 역할을 하는 에이전트이다. Military supplies state manager는 군수품 보급을 요청받고 보급량, 우선순위 따위의 결정 변수를 military supplies transport manager에게 알려주는 역할을 한다. 본 논문에서는 군수 시뮬레이션 모델의 설계를 위해 Discrete Event Systems Specification(DEVS) formalism을 이용하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• pp.109-112
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the modeling and control of fixed-time traffic control problem which by way of a DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1184-1189
• /
• 2003

Map building and position estimation capabilities are practically indispensable for a mobile robot to execute its given tasks in its working environments. An autonomous map building method and a smart localization method is proposed in our previous works. The experimental verifications are carried out in this paper. We applied the proposed algorithms to mobile service robots in large-scale indoor buildings. Experimental results show that our strategy is reliable and feasible in tough conditions like non-polygonal and dynamic environments. The advantages of the algorithms are well-illustrated through real experiments.

• 한국정밀공학회지
• /
• 제11권4호
• /
• pp.126-137
• /
• 1994

Performance management of computer networks is intended to improve a given network performance in order for more efficient information exchange between subsystems of an integrated large-scale system. Importance of perfomance management is growing as many functions of the large- scale system depend on the quality of communication services provided by the network. The role of performance management is to manipulate the adjustable protocol parameters on line so that the network can adapt itself to a dynamic environment. This can be divided into two subtasks : performance evaluation to find how changes in protocol parameters affect the network performance and decision making to determine the magnitude and direction of parameter adjustment. This paper is the first part of the two papers focusing on conceptual design, development, and evaluation of performance management for token bus networks. This paper specifically deals with the task of performance evaluation which utilizes the principle of perturbation analysis of discrete event dynamic systems. The developed algorithm can estimate the network performance under a perturbed protocol parameter setting from observations of the network operations under a nominal parameter setting.