• Bulletin of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.95-98
• /
• 1985

In [1], E.B. Lee and L. Markus described a sufficient condition for which the domain of null-controllability of a linear autonomous system is all of R$^{n}$ . The purpose of this note is to extend the result to a certain linear nonautonomous system. Thus we consider a linear control system dx/dt = A(t)x+B(t)u in the Eculidean n-space R$^{n}$ where A(t) and B(t) are n*n and n*m matrices, respectively, which are continuous on 0.leq.t<.inf. and A(t) is a periodic matrix of period .omega.. Admissible controls are bounded measurable functions defined on some finite subintervals of [0, .inf.) having values in a certain convex set .ohm. in R$^{m}$ with the origin in its interior. And we present a sufficient condition for which the domain of null-controllability is all of R$^{n}$ .

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.1
• /
• pp.1-4
• /
• 1996

This paper presents a state feedback $H^{\infty}$ controller design method for linear systems with delayed states and inputs. We derive a sufficient condition that the closed-loop system is asymptotically stable for all time-delays and that the $H^{\infty}$-norm of the closed-loop transfer function is less than or equal to some prescribed level $\gamma$. And we propose a sufficient condition for the existence of a state feedback $H^{\infty}$ controller using a form of linear matrix inequality(LMI). Furthermore, we show that the state feedback $H^{\infty}$ controllers can be obtained from solutions satisfying LMI.

• Proceedings of the KIEE Conference
• /
• 2003.11b
• /
• pp.111-114
• /
• 2003

In this paper, we consider the stabilization and $H_\infty$ control of linear systems with static output feedback control. The static output feedback control represents the simplest closed-loop control that can be realized in practice, and, moreover, it is less expensive to be implemented and is more reliable. In spite of its advantages, it is one of the open problems which is not sloved analytically or numerically yet. After decompose the closed-loop system into feedback form, by adopting the small gain theorem, we obtain a sufficient condition for stabilization and a sufficient condition for It control expressed as linear matrix inequalites. Finally, we show the usefulness of our results by a numerical example.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.931-940
• /
• 2009

Given a system of smooth 1-forms $\theta$ = ($\theta^1$,...,$\theta^s$) on a smooth manifold $M^m$, we give a necessary and sufficient condition for M to be foliated by integral manifolds of dimension n, n $\leq$ p := m - s, and construct an integrable supersystem ($\theta,\eta$) by finding additional 1-forms $\eta$ = ($\eta^1$,...,$\eta^{p-n}$). We also give a necessary and sufficient condition for M to be foliated by reduced submanifolds of dimension n, n $\geq$ p, and construct an integrable subsystem ($d\rho^1$,...,$d\rho^{m-n}$) by finding a system of first integrals $\rho=(\rho^1$,...,$\rho^{m-n})$. The special case n = p is the Frobenius theorem on involutivity.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.255-261
• /
• 2009

In this paper, we shall prove several results concerning Ricci curvature of a Riemannian manifold (M, g) := (SU(2), g) with an arbitrary given left invariant metric g. First of all, we obtain the maximum (resp. minimum) of {r(X) := Ric(X,X) | ${||X||}_g$ = 1,X ${\in}$ X(M)}, where Ric is the Ricci tensor field on (M, g), and then get a necessary and sufficient condition for the Levi-Civita connection ${\nabla}$ on the manifold (M, g) to be projectively flat. Furthermore, we obtain a necessary and sufficient condition for the Ricci curvature r(X) to be always positive (resp. negative), independently of the choice of unit vector field X.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2815-2817
• /
• 2005

This paper presents an experiment study on the control of a rotary-type inverted pendulum based on the Takagi-Sugeno (T-S) fuzzy model approach. A sufficient condition for stability of the T-S fuzzy control system is given via linear matrix inequalities (LMIs). State-feedback controllers for sub-systems are designed from the sufficient condition via change of variables which is one of the popular LMI techniques. Experimental results on a rotary-type inverted pendulum control show the feasibility of the T-S fuzzy model-based control method.

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

This paper considers the synthesis of non-fragile $H_{\infty}$ state feedback controllers for singular systems and static state feedback controller with multiplicative uncertainty. The sufficient condition of controller existence, the design method of non-fragile $H_{\infty}$ controller, and the measure of non-fragility in controller are presented via LMI(linear matrix inequality) technique. Also, through singular value decomposition, some changes of variables, and Schur complements, the sufficient condition can be rewritten as LMI form in terms of transformed variables. Therefore, the obtained non-fragile $H_{\infty}$ controller guarantees the asymptotic stability and disturbance attenuation of the closed loop singular systems within a prescribed degree. Finally, a numerical example is given to illustrate the design method.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2005.03a
• /
• pp.346-353
• /
• 2005

Track substructure(ballast, subgrade) should have sufficient strength and adequate stiffness to fully support track superstructure(rail, fastener, sleeper). Vertical support stiffness of track comes from the sufficient thickness, adequate strength and stiffness of material of substructure layers. Since the vertical support stiffness of track substructure is closely related with the track geometry, the evaluation of the stiffness is very important to understand the track states. This paper introduces the system, which are composed of Ground Penetrating Radar(GPR), Portable Ballast Sampler(PBS), and Light Falling Weight Deflectometer(LFWD), to evaluate substructure condition and summarizes the field test results performed with the reliable system.

• Honam Mathematical Journal
• /
• v.41 no.4
• /
• pp.669-682
• /
• 2019

The objective of this paper is to introduce and study Einstein-like para-Kenmotsu manifolds. For a para-Kenmotsu manifold to be Einstein-like, a necessary and sufficient condition in terms of its curvature tensor is obtained. We also obtain the scalar curvature of an Einstein-like para-Kenmotsu manifold. A necessary and sufficient condition for an almost para-contact metric hypersurface of a locally product Riemannian manifold to be para-Kenmotsu is derived and it is shown that the para-Kenmotsu hypersurface of a locally product Riemannian manifold of almost constant curvature is always Einstein.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.3
• /
• pp.187-191
• /
• 2007

We analyze the stability property of a class of nonlinear time-delay systems. We show that the state variable is bounded both below and above, and the lower and upper bounds of the state are obtained in terms of a system parameter by using the comparison lemma. We establish a time-delay independent sufficient condition for the global asymptotic stability by employing a Lyapunov-Krasovskii functional obtained from a change of the state variable. The simulation results illustrate the validity of the sufficient condition for the global asymptotic stability.