• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1995년도 Proceedings of the Korea Automation Control Conference, 10th (KACC); Seoul, Korea; 23-25 Oct. 1995
• /
• pp.95-98
• /
• 1995

In this paper, an unknown-input proportional integral (PI) observer is presented and its applicability to the design of exact loop transfer recovery (Exact LTR) is shown. First, a sufficient condition for the PI observer to estimate the states of systems without knowledge of unknown input is derived. A simple existence condition of the observer is given. Under the conditions, the Exact LTR with specified observer's poles is achieved by the unknown-input PI observer.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• 제40권12호
• /
• pp.1302-1307
• /
• 1991

This paper presents robustness properties of Kalman filters for linear time-invariant systems with delays in both the state and the output. The circle condition concerning the return difference matrix is derived. From the circle condition, it can be seen that the Kalman filter guarantees such nondivergence margins as (1/2,$\infty$) gain margin and $\pm$60$^{\circ}$phase margin, which are the same as those for ordinary systems. The results in this paper might be expected to make theoretical background on extending the LQG/LTR method to systems with delay in the output.

• Proceedings of the KIEE Conference
• /
• 대한전기학회 1996년도 하계학술대회 논문집 B
• /
• pp.927-929
• /
• 1996

In this paper, we considers the problem of designing an observer for bilinear systems with unknown input. A sufficient condition for the asymptotic stability of the proposed observer is derived by means of delectability, invariant zeros, and stable subspace. In sufficient condition, the bound which guarantees the asymptotic stability was derived, which based on the Lyapunov stability. And Observer existing conditions are suggested in various cases. Through a simple example, we derived the observer structure and the bound which guarantees the asymptotic stability.

• Communications of the Korean Mathematical Society
• /
• 제34권1호
• /
• pp.321-331
• /
• 2019

The present paper deals with a study of infinitesimal CL-transformations on Kenmotsu manifolds, whose metric is Yamabe soliton and obtained sufficient conditions for such solitons to be expanding, steady and shrinking. Among others, we find a necessary and sufficient condition of a Yamabe soliton on Kenmotsu manifold with respect to CL-connection to be Yamabe soliton on Kenmotsu manifold with respect to Levi-Civita connection. We found the necessary and sufficient condition for the Yamabe soliton structure to be invariant under Schouten-Van Kampen connection. Finally, we constructed an example of steady Yamabe soliton on 3-dimensional Kenmotsu manifolds with respect to Schouten-Van Kampen connection.

• Journal of Institute of Control, Robotics and Systems
• /
• 제12권5호
• /
• pp.411-418
• /
• 2006

There are mainly two types of bang-bang controllers for nominal linear time-invariant (LTI) system. Optimal bang-bang controller is designed based on optimal control theory and suboptimal bang-bang controller is obtained by using Lyapunov stability condition. In this paper, the suboptimal bang-bang control method is extended to LTI system involving both control input saturation and structured real parameter uncertainties by using Lyapunov robust stability condition. Two robust optimal bang-bang controllers are derived by minimizing the time derivative of Lyapunov function subjected to the limit of control input. The one is developed based on the classical quadratic stability(QS), and the other is developed based on the affine quadratic stability(AQS). And characteristics of the two controllers are compared. Especially, bounds of parameter uncertainties which theoretically guarantee robust stability of the two controllers are compared quantitatively for 1DOF vibrating system. Moreover, the validity of robust optimal bang-bang controller based on the AQS is shown through numerical simulations for this system.

• Journal of Advanced Navigation Technology
• /
• 제19권6호
• /
• pp.574-580
• /
• 2015

The stability condition of linear discrete interval systems with a time-varying delay time is considered. The considered system has interval system matrices for both non-delayed and delayed states with time-varying delay time within given interval values. The proposed condition is derived by using Lyapunov stability theory and expressed by very simple inequality. Compared to previous results, the stability issue on the interval systems is expanded to time-varying delay. Furthermore, the new condition can imply the existing results on the time-invariant case and show the relation between interval time-varying delay time and stability of the system. The proposed condition can be applied to find the stability bound of the discrete interval system. Some numerical examples are given to show the effectiveness of the new condition and comparisons with the previously reported results are also presented.

• Journal of Advanced Navigation Technology
• /
• 제20권5호
• /
• pp.475-481
• /
• 2016

In this paper, the new stability condition of linear discrete interval time-varying systems with time-varying delay time is proposed. The considered system has interval time-varying system matrices for both non-delayed and delayed states with time-varying delay time within given interval values. The proposed condition is derived by using Lyapunov stability theory and expressed by very simple inequality. The restricted stability issue on the interval time-invariant system is expanded to interval time-varying system and a powerful stability condition which is more comprehensive than the previous is proposed. As a results, it is possible to avoid the introduction of complex linear matrix inequality (LMI) or upper solution bound of Lyapunov equation in the derivation of sufficient condition. Also, it is shown that the proposed result can include the many existing stability conditions in the previous literatures. A numerical example in the pe revious works is modified to more general interval system and shows the expandability and effectiveness of the new stability condition.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• 제40권4호
• /
• pp.251-263
• /
• 2003

This paper presents matrix inequality conditions for Η$_2$control and Η$_2$controller design method of linear time-invariant descriptor systems with parameter uncertainties in continuous and discrete time cases, respectively. First, the necessary and sufficient condition for Η$_2$control and Η$_2$ controller design method are expressed in terms of LMI(linear matrix inequality) with no equality constraints in continuous time case. Next, the sufficient condition for Hi control and Η$_2$controller design method are proposed by matrix inequality approach in discrete time case. Based on these conditions, we develop the robust Η$_2$controller design method for parameter uncertain descriptor systems and give a numerical example in each case.

• Journal of Institute of Control, Robotics and Systems
• /
• 제17권4호
• /
• pp.289-294
• /
• 2011

Digital redesign is yet another efficient tool to convert a pre-designed analog controller into a sampled-data one to maintain the analog closed-loop performance in the sense of state matching. A rising difficulty in developing a digital redesign technique for trackers with time-varying references is the unavailability of a closed-form discrete-time model of a system, even if it is linear time-invariant. A way to resolve this is to approximate the time-varying reference as a piecewise constant one, which deteriorates the state matching performance. Another remedy may be to decrease a sampling period, which however could numerically destabilize the optimization-based digital redesign condition. In this paper, we develop a digital redesign condition for time-varying trackers by approximating the time-varying reference through a triangular hold and by introducing delta-operated discrete-time models. It is shown that the digitally redesigned sampled-data tracker recovers the performance of the pre-designed analog tracker under a fast sampling limit. Simulation results on the formation flying of satellites convincingly show the effectiveness of the development.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• 제50권9호
• /
• pp.431-437
• /
• 2001

Since the eddy current problem usually depends on the geometry of the moving conductive sheet and the shape of the pole projection area, there is no general method to find out its analytical solution. The analysis of the eddy current in a rotating disk is performed in the case of time-invariant field to find its analytical solution. As a method to solve the eddy current problem, the concept of the Coulomb charge and image method are proposed with the consideration of the boundary condition. Firstly, the line charge is obtained from the volume charge generated in the rotating disk and Coulomb's law is applied. Secondly, the finite disk radius is considered by introducing an imaginary eddy current to satisfy the boundary condition that the radial component of the eddy current is zero at the edge of the relating disk. Thirdly, the braking torque is calculated by applying Lorentz force law. Finally, the computed braking torque is compared with the measured one As a result, it can be said that the proposed model presents fairly accurate results in a low angular velocity range although a large error is observed as the angular velocity of the disk increases.