• Journal of Electrical Engineering and Technology
• /
• v.11 no.3
• /
• pp.741-745
• /
• 2016

We derive a sufficient condition for feedback quasilinearizability of control mechanical systems and apply it to show the feedback quasilinearizability of the Acrobot system.

• Communications for Statistical Applications and Methods
• /
• v.20 no.1
• /
• pp.15-22
• /
• 2013

We find a sufficient condition for optimal Berry-Esseen bounds in the normal approximation of functionals of Gaussian fields studied by Nourdin and Peccati (2009b).

• 전기의세계
• /
• v.28 no.6
• /
• pp.47-51
• /
• 1979

An optimal problem in which the dynamics is nonlinear and the cost functional includes a discontinuous integrand is investigated. By using Neustadt's abstract maximum principle, a necessary conditions in the form of Pontryagin's maximum principle is derived and it is further shown that this necessary condition is also a sufficient condition for normal problems with linear-in-the-state systems.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.6
• /
• pp.1035-1046
• /
• 2002

Time Delay Control(TDC) is a robust nonlinear control scheme using Time Delay Estimation(TDE) and also has a simple structure. To apply TDC to a real system, we must design Time Delay Controller to guarantee stability. The earlier research stated sufficient stability condition of TDC for general plants. In that research, it was assumed that time delay is infinitely small. But, it is impossible to implement infinitely small time delay in a real system. So, in this research we propose a new sufficient stability condition of TDC for general plants with finite time delay. And the simulation results indicate that the previous sufficient stability condition does not work even for small time delay, while our proposed condition works well.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.269-276
• /
• 2002

Let E be a real Banach space. Let T : E longrightarrow E be a map with F(T) : = { x $\in$ E : Tx = x} $\neq$ 0 and satisfying the accretive-type condition $\lambda\$\mid$x-Tx\$\mid$^2$, for all $x\inE,\;x^*\inf(T)\;and\;\lambda >0$. We prove some necessary and sufficient conditions for the convergence of the Mann iterative sequence to a fixed point of T.

• The Mathematical Education
• /
• v.48 no.2
• /
• pp.141-148
• /
• 2009

The article discusses roles of analysis in problem solving, especially the problem posing. The author shows the procedure of analysis like the presentation of the hypothesis, the reasoning for the necessary conditions and the sufficient condition. Finally the author suggests that the analysis should be reviewed in the school mathematics.

• Proceedings of the KIEE Conference
• /
• 1996.11a
• /
• pp.42-45
• /
• 1996

This paper presents a solution of the $H_{\infty}$ control problem for linear systems with input time delay. $H_{\infty}$ norm bounded condition is obtained as a sufficient condition for linear systems with input time delay. Based upon this sufficient condition, an $H_{\infty}$ controller design method which involves the solutions of linear matrix inequalities via convex optimization is developed.

• Journal of The Korean Astronomical Society
• /
• v.46 no.6
• /
• pp.261-268
• /
• 2013

Magnetohydrostatic equilibria, in which the Lorentz force, the plasma pressure force and the gravitational force balance out to zero, are widely adopted as the zeroth order states of many astrophysical plasma structures. A magnetic flux-current surface is a surface, in which both magnetic field lines and current lines lie. We for the first time derive the necessary and sufficient condition for existence of magnetic flux-current surfaces in magnetohydrostatic equilibria. It is also shown that the existence of flux-current surfaces is a necessary (but not sufficient) condition for the ratio of gravity-aligned components of current density and magnetic field to be constant along each field line. However, its necessary and sufficient condition is found to be very restrictive. This finding gives a significant constraint in modeling solar coronal magnetic fields as force-free fields using photospheric magnetic field observations.

• Journal of Power Electronics
• /
• v.9 no.1
• /
• pp.61-67
• /
• 2009

In this paper, a simple technique is presented for robust stability testing of perturbed DC-DC converters having multi-linear uncertainty structure. This technique provides a necessary and sufficient condition for testing robust stability. It is based on the corollary of Routh criterion and gridding of parameters. The previous work based on parametric control theory using Kharitonov's theorem and Hermite Biehler theorem gives conservative results and only the sufficient condition of stability, whereas the proposed method provides the necessary and sufficient condition for testing robust stability and it is computationally efficient. The superiority of the method is compared with the Edge theorem.

• Journal of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.261-273
• /
• 2007

In this paper, we introduce some new properties of a topological space which are respectively generalizations of $Fr\'{e}chet$-Urysohn property. We show that countably AP property is a sufficient condition for a space being countable tightness, sequential, weakly first countable and symmetrizable, to be ACP, $Fr\'{e}chet-Urysohn$, first countable and semimetrizable, respectively. We also prove that countable compactness is a sufficient condition for a countably AP space to be countably $Fr\'{e}chet-Urysohn$. We then show that a countably compact space satisfying one of the properties mentioned here is sequentially compact. And we show that a countably compact and countably AP space is maximal countably compact if and only if it is $Fr\'{e}chet-Urysohn$. We finally obtain a sufficient condition for the ACP closure operator $[{\cdot}]_{ACP}$ to be a Kuratowski topological closure operator and related results.