• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.73.5-73
• /
• 2001

In this paper, we present a procedure to design the robust optimal supervisor which has the minimal cost in the sense of average for a given multiple-modelled discrete event system DES. In order to design the robust optimal supervisor, we extend the optimal supervisor design algorithm for a deterministic DES to the case of multiple-modelled DESs. In addition, using the proposed algorithm with modified costs of events and penalities of states, we can show whether a robust supervisor for a given multiple-modelled DES exists and design the minimally restricted robust supervisor.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.38.6-38
• /
• 2001

This paper presents a steady state optimal control algorithm for the weakly coupled discrete time bilinearsystems. The optimal solution for the overall system is obtained by solving a sequence of reduced order algebraic Riccati equations with an arbitrary accuracy. The obtained solutions converge to the optimal solutions by using the iteration method. We verify the proposed method by applying it to a real world numerical example.

• International Journal of Control, Automation, and Systems
• /
• v.1 no.4
• /
• pp.459-463
• /
• 2003

In this paper, new results using bounds for the solution of the discrete Lyapunov matrix equation are proposed, and some of the existing works are generalized. The bounds obtained are advantageous in that they provide nontrivial upper bounds even when some existing results yield trivial ones.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.05a
• /
• pp.643-646
• /
• 2000

As many industrial systems become more complex, it becomes extremely difficult to diagnose the cause of failures. This paper presents a failure diagnosis approach based on discrete event system theory. In particular, the approach is a hybrid of event-based and state-based ones leading to a simpler failure diagnoser with supervisory control capability. The design procedure is presented along with a pump-valve system as an example.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.4
• /
• pp.363-363
• /
• 2001

We study on the velocity matching algorithm for transfer alignment of inertial navigation system(INS) using a robust H₂ filter. We suggest an uncertainty model and a discrete robust H₂filter for INS and apply the suggested robust H₂ filter to the uncertainty model. The discrete robust H₂filter is shown by simulation to have better performance time and accuracy than Kalman filter.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.17 no.6
• /
• pp.38-43
• /
• 1980

For linear discrete-time time-invariant multi-input mufti-output systems, a necessary condition which an optimal output Proportional feedback gains must satisfr is deiived. Quadratic performance index is used. The result is extended to the desi01 problem for determining optimal output proportional plus integral feedback gains. For illustration, an example problem is solved and discussed.

• 전기의세계
• /
• v.20 no.4
• /
• pp.17-22
• /
• 1971

This paper deals with the analytic structure of feedback controller for linear time invariant discrete systems. On the way of developing the deadbeat controller, some necessary conditions for control policy have been derived. In the case of time delay, it was proved that the q periods delay in the control causes q periods delay in the point at which deadbeat response occurs. Theorems and conclusions are illustrated with some simple nontrivial numerical examples and signal state tracking application problems.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2155-2157
• /
• 2002

In this paper, we present a stabilizing controller for the singularly perturbed discrete time bilinear systems. The proposed control method guarantees the robust stability for the resulting closed loop system with multi-input. We verify the proposed algorithm by a numerical example.

• Journal of the Korea Society for Simulation
• /
• v.2 no.1
• /
• pp.31-44
• /
• 1993

Zeigler's DEVS(Discrete Event Systems Specification) formalism supports formal specification of discrete event systems in a hierarchical , modular manner. Associated are hierarchical, distributed simulation algorithms, called abstract simulators, which interpret dynamics of DEVS models. This paper deals with performance evaluation of P-DEVSIM ++, a parallel simulation environment which implements the DEVS formalism and associated simulation algorithms in a parallel environment. Performance simulator has been developed and used to experiment models of parallel simulation executions in different conditions. The experimental result shows that simulation time depends on both the number of processors in the parallel system and the communication overheads among such processors.

• East Asian mathematical journal
• /
• v.27 no.5
• /
• pp.521-525
• /
• 2011

We use a weaker version of the celebrated Newton-Kantorovich theorem [3] reported by us in [1] to find solutions of discrete dynamical systems involving operators with chaotic behavior. Our results are obtained by extending the application of the shadowing lemma [4], and are given under the same computational cost as before [4]-[6].