• Journal of the Korea Society for Simulation
• /
• v.3 no.1
• /
• pp.75-88
• /
• 1994

Discrete event modeling is finding ever more application to anlysis and design of complex manufacturing, communication, computer systems, etc. This paper shows how packet network systems may be advantageously represented as DEVS (Discrete Event System Specification) models by employing System Entity structure / Model base (SES/MB) framework developed by Zeigler. DEVS models and network structure representations support a strong basis for performance analysis of packet network systems. This approach is illustated in a typical packet network example with several routing strategies.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.2548-2551
• /
• 2005

In this paper, a robust receding horizon finite impulse response(FIR) filter is proposed for a class of linear discrete time systems with uncertainty satisfying an integral quadratic constraint. The robust state estimation problem involves constructing the set of all possible states at the current time consistent with given system input, output measurements and the integral quadratic constraint.

• Proceedings of the KIEE Conference
• /
• 1993.11a
• /
• pp.310-313
• /
• 1993

A design of stabilizing supervisory controller for discrete event dynamic systems(DEDS) is investigated in this paper. The notion of system stability is introduced for the supervisory control and the stable behavior is defined. A framework of stabilizing supervisory controller, which controls a given system to have stable behavior. is formulated and a design method is proposed for the stabilizing, supervisory controller.

• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.862-865
• /
• 1989

The authors, in this paper, investigate the degree of tracking (i.e. the weak points of Samson) to this discrete-time adaptive control system. A matter of course, the results of tracking is improved by using g given in 2.2, compared with the results of Samson. But it is a neck point that the calculation on g is very complex. So by giving the value of g suitably, it is shown that the result superior to one of Samson are taken.

• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.884-889
• /
• 1989

In this paper, a new procedure for selecting weighting matrices in linear discrete time quadratic optimal control problem (LQ-problem) is proposed. In LQ-problems, the quadratic weighting matrices are usually decided on trial and error in order to get a good response. But using the proposed method, the quadratic weights are decided in such a way that all poles of the closed loop system are located in a desired region for good responses as well as for stability and values of the quadratic cost function are kept less then a specified value.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.1101-1103
• /
• 2006

For a broad class of discrete-time FIFO queueing systems with D-MAP (discrete-time Markovian arrival process) arrivals, we present a distributional Little's law that relates the distribution of the stationary number of customers in system (queue) with that of the stationary number of slots a customer spends in system (queue). Taking the multi-server D-MAP/D/c queue for example, we illustrate how to utilize this relation to get the desired distribution of the number of customers.

• 제어로봇시스템학회:학술대회논문집
• /
• 1987.10b
• /
• pp.135-138
• /
• 1987

A method for designing a robust tracking controller for linear discrete systems is investigated. Only the observable variables are to be used in the controller synthesis. To insure the robustness, the system is augmented by a compensator at the output side. Then a feedback controller is designed using delayed values of the observable variables for the augmented system. The delay times are chosen to minimize the effect of measurement accuracy and/or noise.

• 제어로봇시스템학회:학술대회논문집
• /
• 1987.10b
• /
• pp.203-208
• /
• 1987

Design problem of output feedback controllers for discrete large scale systems using simplified model is investigated. It is shown that neglecting fast modes does not generally guarantee the stability of the closed loop system. In this paper, the design procedure is proposed to stabilize the system by minimizing a quadratic cost function for the simplified model and a measure of stability for the neglected fast model.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.223-235
• /
• 2006

By applying the Landau-type transformation, we transform a Stefan problem with nonlinear free boundary condition into a system consisting of a parabolic equation and the ordinary differential equations. Fully discrete finite element method is developed to approximate the solution of a system of a parabolic equation and the ordinary differential equations. We derive optimal orders of convergence of fully discrete approximations in $L_2,\;H^1$ and $H^2$ normed spaces.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1991.10a
• /
• pp.215-219
• /
• 1991

This paper is equivalent model transform which reduces the restriction of digitalization in the discrete linear system. This algorithm is the method that weight is given to contribillity and obserbility gramian, the regular matrix T of coordinate transform is obtained and then the state space coefficents of weighted model can be obtained. This study shows the frequency reponse of low quantization error according to the order of weighting function. The result shows that frequency response of the proposed algorithm is better than that of the balanced realization in the system of smaller bit.