• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.557-567
• /
• 2006

This paper proves the invariability of reachable sets for the linear control system with positive isolated spectrum points in case where the principal operator generates $C_0-semigroup$ and derives the approximate controllability for the semilinear control system by using spectral operators with respect to isolated spectrum points.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.492-495
• /
• 1995

A simple method to design observers for linear describtor systems with unmeasureable disturbance is represented by the response of a linear free system. The sufficient conditions for the existence of the observer are given. The design procedures of an identify and a minimal order observers are shown, respectively.

• Transactions on Control, Automation and Systems Engineering
• /
• v.2 no.2
• /
• pp.104-109
• /
• 2000

In this paper, the output feedback stabilizing problem is solved using any given state feedback control law. Compared to the linear systems is not so straightforward for nonlinear systems. We briefly explain the intrinsic obstructions for this problem and provide new output feedback scheme which achieves the semi-global stabilization with the high-gain state observer. THe overall uniform observability of the plant. Therefore, the result can be regarded as an extension of the separation principle for linear systems in some aspect.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.286-287
• /
• 2008

This paper proposes a power system blackout model and devises a method of identification and selection of higher-order contingencies that may threaten power system security. To study how failures spread in power grids, network observability based on topological concept is utilized which provide a means of monitoring network evolutions due to multiple contingencies. The simulations and results are presented using the IEEE 118-bus test system.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.98-98
• /
• 2000

In this paper, we present a Multiheading Method for INS initial. The system is not observable for initial alignment however using pseudo tilt angles and pseudo sensor errors become observable. We suggest a new Multiple Method to find the real sensor errors by using the converted system dynamics. The results show that we can find the sensor errors very accurately by the proposed method.

• East Asian mathematical journal
• /
• v.19 no.1
• /
• pp.133-150
• /
• 2003

This paper will show that the relation (1.1) $$L^1({\Omega}){\subset}C_0(\bar{\Omega}){\subset}H_{p,q}$$ if 1/p'-1/n(1-2/q')<0 where p'=p/(p-1) and q'=q/(q-1) where $H_{p.q}=(W^{1,p}_0,W^{-1,p})_{1/q,q}$. We also intend to investigate the control problems for the retarded systems with $L^1(\Omega)$-valued controller in $H_{p,q}$.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.76.2-76.2
• /
• 2012

We present the first simulations of cosmic reionization that include the first stars and their radiative feedback that limited their formation, in a volume large enough to capture the spatial variations that affected the process and its observability. We show hat these first stars made reionization begin much earlier than without, and was reatly extended, which boosts the intergalactic electron-scattering optical depth and the large-angle polarization fluctuations of the cosmic microwave background (CMB) significantly. Although within current WMAP uncertainties, this will enable Planck see he signature of the first stars at high redshift, currently undetectable by other probes.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.05a
• /
• pp.592-593
• /
• 2018

사물 인터넷 환경에서 제어 시스템이 네트워크에 연결되면서 정밀 제어를 위한 양자화에 대한 고려가 중요해 지고 있다. 본 연구에서는 프로세스 잡음이 존재하는 이산 시불변 선형 시스템에서 실용적 관찰성을 달성하기 위해서 필요로 하는 데이터 양에 대한 조건을 제시한다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.5
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.1
• /
• pp.103-109
• /
• 2004

Mobile payment service is a new innovating technology in the micro payment industry. Although it emerged only one or two years a9o in Korea, it is now highly used and prospered by many online companies. Traditional studies concerning the electronic payment system are usually about the payment process itself, so they stressed the security or the robustness of the process. The study from the angle of behavioral science seldom exists. This article describes the phenomenon of technology adoption with a particular focus on telephone Payment service. The article identifies which characteristic of the telephone payment service affects to the user status (user, non-users). To do this, this article mainly used Roger's Technology Acceptance Model and some characteristics are added to the model. The most important perceptual characteristic that affects to the user status was not security, but ease of use-the telephone payment service had to enhance continuously for the competitive advantage over the other payment service. Observability and convenience are also noted as important.