• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 춘계학술대회 논문집
• /
• pp.474-477
• /
• 2002

Safety is very important to operate nuclear power plant. To guarantee the safety, nuclear power plant should be run without trouble. This paper presents the application of a failure diagnosis approach based on discrete event system theory to the pressurizer pressure control system for Pressurized Water Reactor. Also, this paper shows a scheme of failure diagnosis by distributed diagnoser.

• 제어로봇시스템학회논문지
• /
• 제12권3호
• /
• pp.201-207
• /
• 2006

A robust Kalman filtering method for uncertain stochastic systems is suggested by adopting a perturbation estimation process which is to reconstruct total uncertainty with respect to the nominal state transition equation. The predictor and corrector of discrete Kalman filter are reformulated with the perturbation estimator. Successively, the state and perturbation estimation error dynamics and the corresponding error covariance propagation equations are derived as well. Finally we have the recursive algorithm of Combined Kalman Filter-Perturbation Estimator (CKF). The proposed combined Kalman filter-perturbation estimator has the property of integrating innovations and the adaptation capability to system uncertainties. A numerical example is shown to demonstrate the effectiveness of the proposed scheme.

• 한국해양공학회지
• /
• 제15권4호
• /
• pp.108-114
• /
• 2001

Petri nets have been introduced as a powerful analyzing and design tool for the discrete systems such as sequential control systems. However, one of the important problems in its applications is that the model can be analyzed hardly when we deal with large scale systems because of increase of the number of Petri net components. To overcome this problem, some methods for dividing or reducing of Petri net have been suggested. In this paper, an approach for hierarchical expression of Petri net based on Sequential function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definitions and rules are defined in order to divide and compose sub Petri nets. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub Petri nets based on the SFC and BUM by the proposed method in this paper.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1994년도 하계학술대회 논문집 A
• /
• pp.468-471
• /
• 1994

This paper presents the digital implementation of an optimal and robust VSS controller with sliding observer. Firstly, a discrete-time VSS control law which enables the system state to move into a sliding sector where the closed-loop system is stable is designed. Then optimal control theory is used to design an optimal sliding sector. Secondly, a sliding observer which provide robust state estimation against model-plant mismatches due to parameter uncertainties is designed for the sampled-data multivariable systems. Finally, modified sliding observer which effectively reduce chattering of state variables in state estimation was proposed. The proposed scheme was applied 10 a two degree of freedom inverted pendulum with passive joint to verify robust motion control. Computer simulation results confirm the viability of the proposed observer-based controller.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 춘계종합학술대회
• /
• pp.824-827
• /
• 2003

With a rapid development of Information Telecommunication technique, network communication environment has been greatly improved. People come to feel more convinient to purchase products through Internet. Accordingly, various kinds of electronic payment systems have been developed and used. In this paper, we propose an algorithm which not only can associate the broker system with an electronic cash user, but also regenerate all amount of money previously paid using technique such as Meta-Message recovery and a RSA Blind Signature based on discrete logarithm problem.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.74_76
• /
• 2009

This paper presents a discrete wavelet analysis based algorithm to address the fault impedance calculation under transient state in radial power distribution networks. The fault impedances have been derived under different fault conditions. Furthermore, a recursive fault distance estimation method is proposed utilizing the measured fault impedance and power line parameters. The proposed scheme can resolve the errors caused by the non-homogeneous power lines, the presence of lateral loads since, the fault impedance will always be updated with the recursive form. For the verification of the proposed scheme, a filed test has been peformed with varying fault resistances in the 22.9(kV) radial system. Power meters and fault locators were installed at the substation. It was figured out that the performance of the discrete wavelet and the recursive scheme are very good even for high fault resistance condition.

• 한국경영과학회지
• /
• 제16권2호
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.2723-2725
• /
• 2005

In this paper, a robust $H{\infty}$ stabilization problem to a uncertain discrete-time nonlinear systems with time-delay via fuzzy static output feedback is investigated. The Takagi-Sugeno (T-S) fuzzy model is employed to represent an uncertain nonlinear systems with time-delayed state. Then parallel distributed compensation technique is used for designing of the robust fuzzy controller. Using a single Lyapunov function, the globally asymptotic stability and disturbance attenuation of the closed-loop fuzzy control system are discussed. Sufficient conditions for the existence of robust $H{\infty}$ controllers are given in terms of linear matrix inequalities via similarity transform and congruence transform technique.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.484-484
• /
• 2001

The sophistication of current software applications results in the increasing cost fur software development time. The component-based software development framework is proposed to overcome the difficulty and time-consuming requirements by modularity and reusability. As is the general software case, a component-based simulation framework encourages the reusability of the real system model based on the modularity of the applied simulation methodology. This paper presents a component-based simulation environment that is based on the DEVS/COM run-time infrastructure. The DEVS (Discrete Event System Specification) formalism provides a formal modeling and simulation framework for the generic dynamic systems [1] and Microsoft's COM (Component Object Model) is one of the strongest competitor fur the component standard. The reusability by the DEVS/COM simulation environment saves model development time remarkably and component technology make simulator itself to be a subparts of real application.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.753-757
• /
• 1994

In control system design, whether the various subsystems are in discrete time or continuous time, the state space is usually regarded as a continuum. However, when the system is implemented, some subsystems may have a state space which is a subset of finite computer arithmetic. This is an important concern if a subsystem has chaotic behaviour, because it is theoretically possible for rich and varied motions in a continuum to collapse to trivial and degenerate behaviour in a finite and discrete state space [5]. This paper discusses new ways to describe these effects and reports on computer experiments which document and illustrate such collapsing behaviour.