• Proceedings of the KIEE Conference
• /
• 2000.11d
• /
• 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.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.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).

• 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 Ocean Engineering and Technology
• /
• v.13 no.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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.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)

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.11b
• /
• 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.

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

Proposed in the paper is an agent based and object-oriented methodology to create a virtual logistics support system model. The proposed virtual logistics support system model consists of three types of objects: the logistics force agent model(static model), the military supplies transport manager model(function model), the military supplies state manager model(dynamic model). A logistic force agent model consists of two agent: main function agent and function agent. To improve the reusability and composability of a logistics force agent model, the function agent is designed to adapt to different logistics force agent configuration. A military supplies transport manager is agent that get information about supply route, make decisions based on decision variables, which are maintained by the military supplies state manager, and transport military supplies. A military supplies state manager is requested military supplies from logistics force agent, provide decision variables such as the capacity, order of priority. For the implementation of the proposed virtual logistics force agent model, this paper employs Discrete Event Systems Specification(DEVS) formalism.

• Proceedings of the KIEE Conference
• /
• 1997.11a
• /
• 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.10a
• /
• 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.

• Journal of the Korean Society for Precision Engineering
• /
• v.11 no.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.