• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.48 no.6
• /
• pp.82-90
• /
• 2011

This paper proposes an advanced outdoor localization algorithm of a GPS(global positioning system)-INS(inertial navigation system) integration system. In order to reduce noise from the internal INS sensors, discrete wavelet transform and variable threshold method are utilized. The UPF (unscented particle filter) combines GPS information and INS signals to implement precise outdoor localization algorithm and to reduce noise caused by the acceleration, deceleration, and unexpected slips. The conventional de-noising method is mainly carried out using a low pass filter and a high pass filter which essentially result in signal distortions. This newly proposed system utilizes the vibration information of actuator according to fluctuations of the velocity to minimize signal distortions. The UPF also resolves non-linearities of the actuator and non-normal distributions of noises. Effectiveness of the proposed algorithm has been verified through the real experiments and the results are demonstrated.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.101-107
• /
• 2022

Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

• Journal of Korea Society of Industrial Information Systems
• /
• v.29 no.1
• /
• pp.63-76
• /
• 2024

In this study, we analyzed queue length and sojourn time of discrete-time BMAP/G/1 queues under the workload control. Group customers (packets) with correlations arrive at the system following a discrete-time Markovian arrival process. The server starts busy period when the total service time of the arrived customers exceeds a predetermined workload threshold D and serves customers until the system is empty. From the analysis of workload and waiting time, distributions of queue length at the departure epoch and arbitrary time epoch and system sojourn time are derived. We also derived the mean value as a performance measure. Through numerical examples, we confirmed that we can obtain results represented by complex forms of equations, and we verified the validity of the theoretical values by comparing them with simulation results. From the results, we can obtain key performance measures of complex systems that operate similarly in various industrial fields and to analyze various optimization problems.

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

This paper proposes automatic precision approach radar (PAR) control system using digital signal to increase the safety of aircraft, and discrete event systems specification (DEVS) methodology is utilized to verify the proposed system. Traditionally, a landing aircraft is controlled by the human voice of a final approach controller. However, the voice information can be missed during transmission, and pilots may also act improperly because of incorrectness of auditory signals. The proposed system enables the stable operation of the aircraft, regardless of the pilot's capability. Communicating DEVS (C-DEVS) is used to analyze and verify the behavior of the proposed system. A composed C-DEVS atomic model has overall composed discrete state sets of models, and the state sequence acquired through full state search is utilized to verify the safeness and the liveness of a system behavior. The C-DEVS model of the proposed system shows the same behavior with the traditional PAR control system.

• Journal of the Korea Society for Simulation
• /
• v.18 no.4
• /
• pp.127-136
• /
• 2009

Modeling and Simulation, especially in mobile ad hoc network(MANET), are the most effective way to analyze performance or optimize system parameters without establishing real network environment. Focusing mainly on overall network behaviors in MANET concerns dynamics of network transport operations, which can efficiently be characterized with event based system states rather than execution details of protocols. We thus consider the network as a discrete event system to analyze dynamics of network transport performance. Zeigler's set-theoretic DEVS(Discrete Event Systems Specification) formalism can support specification of a discrete event system in hierarchical, modular manner. The DEVSim++ simulation environment can not only provide a rigorous modeling methodology based on the DEVS formalism but also support modelers to develop discrete event models using the hierarchical composition methodology in object-orientation. This environment however hardly supports to specify connection paths of network nodes, which are continuously altered due to mobility of nodes. This paper proposes a DEVS-based modeling and simulation methodology of enabling node mobility, and develops DEVS models for the mobile ad hoc network. We also simulate developed models with the DEVSim++ engine to verify the proposal.

• 제어로봇시스템학회:학술대회논문집
• /
• 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 Power System Engineering
• /
• v.21 no.1
• /
• pp.37-42
• /
• 2017

A curved beam is one of the basic and important structural elements in structural design. In this paper, the authors formulated the computational algorithm for analyzing the free vibration of curved beams using the finite element-transfer stiffness coefficient method. The concept of the finite element-transfer stiffness coefficient method is the combination of the modeling technique of the finite element method and the transfer technique of the transfer stiffness coefficient method. And, we confirm the effectiveness the finite element-transfer stiffness coefficient method from the free vibration analysis of two numerical models which are a semicircle beam and a quarter circle beam.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.6
• /
• pp.109-118
• /
• 2002

The vibrational intensity and the dynamic response of a compound vibratory system had been controlled actively by means of a feedforward control method. A compound vibratory system consists of a flexible beam and two discrete systems - a vibrating source and a dynamic absorber. By considering the interactive motions between discrete systems and a flexible beam, the equations of motion for a compound vibratory system were derived using a method of variation of parameters. To define the optimal conditions of a controller the cost function, which denotes a time averaged power flow, was evaluated numerically. The possibility of reductions of both of vibrational intensity and dynamic response at a control point located at a distance from a source were fecund to depend on the positions of a source, a control point and a controller. Especially the presence of a dynamic absorber gives the more reduction on the dynamic response but the less on the vibrational intensity than those without a dynamic absorber.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.118-118
• /
• 1993

We consider a discrete event dynamic system called periodic job shop, where an identical mixture of items called minimal part set(MPS) is repetitively produced in the same processing order and the primary performance measure is the cycle time. The precedence relationships among events(starts of operations) are represented by a directed graph with rocurront otructure. When each operation starts as soon as all its preceding operations complete(called earliest starting), the occurrences of events are modeled in a linear system using a special algebra called minimax algebra. By investigating the eigenvalues and the eigenvectors, we develop conditions on the directed graph for which a stable steady state or a finite eigenvector exists. We demonstrate that each finite eigenvector, characterized as a finite linear combination of a class of eigenvalue, is the minimum among all the feasible schedules and an identical schedule pattern repeats every MPS. We develop an efficient algorithm to find a schedule among such schedules that minimizes a secondary performance measure related to work-in-process inventory. As a by-product of the linear system approach, we also propose a way of characterizing stable steady states of a class of discrete event dynamic systems.

• Journal of Astronomy and Space Sciences
• /
• v.24 no.4
• /
• pp.431-450
• /
• 2007

In the auto-guiding system for obtaining a long exposure astrophotography, CCD camera is usually used for measuring guide errors which are affected by optical dispersion and mechanical disturbances. In this paper, a discrete time dynamic model and a performance index are proposed for analysing the auto-guiding system. The optimal gain for proportional control is derived considering the optical dispersion and the disturbances. Some experiments are provided to illustrate that the optimal control gain is lower as the optical dispersion is higher.