• Communications of the Korean Mathematical Society
• /
• v.19 no.2
• /
• pp.197-204
• /
• 2004

Every orthomodular lattice satisfying the loop lemma is the direct product of a Boolean algebra and an irreducible path-connected orthomodular lattice.

• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.149-161
• /
• 2002

We study the torsions in the integral homology of the double loop space of the compact simple Lie groups by determining the higher Bockstein actions on the homology of those spaces through the Bockstein lemma and computing the Bockstein spectral sequence.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.2
• /
• pp.195-201
• /
• 2005

This paper discusses the problem of positive real control for uncertain 2-D linear discrete time singular Roesser models (2-D SRM) with time-invariant norm-bounded parameter uncertainty. The purpose of this study is to design a state feedback controller such that the resulting closed-loop system is acceptable, jump modes free and stable, and achieves the extended strictly positive realness for all admissible uncertainties. A version of positive real lemma for the 2-D SRM is given in terms of linear matrix inequalities (LMIs). Based on the lemma, a sufficient condition for the solvability of the positive real control problem is derived in terms of bilinear matrix inequalities (BMIs) and an iterative procedure for solving the BMIs is proposed.

• 제어로봇시스템학회:학술대회논문집
• /
• 1987.10a
• /
• pp.717-720
• /
• 1987

This paper presents a discrete-time model reference adaptive control technique for periodically time-varying plants. It is shown that the identification problem for periodic parameters can be reduced to that of constant unknown parameters case. The global stability of the resulting closed-loop system is established using the key technical lemma of Goodwin, Ramadge and Caines.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.10
• /
• pp.1413-1421
• /
• 1993

It is possible to weaken the undesirable effect of a bounded control input signal to the plant and done by setting up an additional correction loop which compensates for the suppresed portion of the control input signal. The design and analysys of stability of state controller is used by the Kalman-Szego-Lemma and as the result of this method is made possible to take advantage of the control input to the plant even for small error signals.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.10
• /
• pp.1894-1899
• /
• 2010

This note is concerned with a robust sliding mode control(SMC) for a class of unmatched uncertain system with severe commensurate state time delay. The suggested method is extended to the control of severe state time delay systems with unmatched uncertainties except the matched input matrix uncertainty. A transformed sliding surface is proposed and a stabilizing control input is suggested. The closed loop stability together with the existence condition of the sliding mode on the proposed sliding surface is investigated through one Lemma and two Theorems by using the Lyapunov direct method with the concept of the control Lyapunov function instead of complex Lyapunov-Kravoskii functionals. Through an illustrative example and simulation study, the usefulness of the main results is verified.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.4
• /
• pp.515-525
• /
• 2008

In this paper, the problem of delay-dependent stabilization for singular systems with multiple internal and external incommensurate constant point delays is investigated. The condition when a singular system subject to point delays is regular independent of time delays is given and it can be easily test with numerical or algebraic methods. Based on Lyapunov-Krasovskii functional approach and the descriptor integral-inequality lemma, a sufficient condition for delay-dependent stability is obtained. The main idea is to design multiple memoryless state feedback control laws such that the resulting closed-loop system is regular independent of time delays, impulse free, and asymptotically stable via solving a strict linear matrix inequality (LMI) problem. An explicit expression for the desired memoryless state feedback control laws is also given. Finally, a numerical example illustrates the effectiveness and the availability for the proposed method.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.2
• /
• pp.121-127
• /
• 2009

This paper deals with the design problem of robust stabilization and non-fragile controller for discrete-time singular systems with parameter uncertainties and time-varying delays in state and input by delay-dependent Linear Matrix Inequality (LMI) approach. A new delay-dependent bounded real lemma for singular systems with time-varying delays is derived. Robust stabilization and robust non-fragile state feedback control laws are proposed, which guarantees that the resultant closed-loop system is regular, causal and stable in spite of time-varying delays, parameter uncertainties, and controller gain variations. A numerical example is given to show the validity of the design method.

• International Journal of Aeronautical and Space Sciences
• /
• v.14 no.3
• /
• pp.256-263
• /
• 2013

The saturation of the actuator impairs the response performance of the near space interceptor control system. A control system based on the properties of linear tracking system is designed for this problem. The properties are that the maximum value of the pseudo-Lyapunov function of the linear tracking control system do not present at the initial state but at the steady state, based on which the bounded stability problem is converted into linear tracking problem. The pseudo-Lyapunov function of the linear tracking system contain the input variables; the amplitude and frequency of the input variables affect the stability of the nonlinear control system. Designate expected closed-loop poles area for different input commands and obtain a controller which is function of input variables. The coupling between variables and linear matrices make the control system design problem non-convex. The non-convex problem is converted into a convex LMI according to the Shur complement lemma and iterative algorithm. Finally the simulation shows that the designed optimal control system is quick and accurate; the rationality of the presented design techniques is validated.