• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• 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년도 ICCAS
• /
• 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
• /
• 제1권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2000년도 춘계학술대회 논문집
• /
• 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.

• 제어로봇시스템학회논문지
• /
• 제7권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.

• 대한전자공학회논문지
• /
• 제17권6호
• /
• pp.38-43
• /
• 1980

시간에 따라 변하지 않는 선형 다변수 시스템의 출력 궤환 제어를 이산시간계에서 최적화 하기 위한 필요 조건을 유도했다. Quadratic performance index를 사용했다. 결과는 출력의 비례적분 궤환의 최적이득을 구하는 데에도 쉽게 적용할 수 있다. 예제를 들어 최적 궤환이 득을 구했다.

• 전기의세계
• /
• 제20권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 D
• /
• 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.

• 한국시뮬레이션학회논문지
• /
• 제2권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
• /
• 제27권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].