• Journal of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.593-611
• /
• 2000

For linear time-varying control systems with constrained control described by both differential and discrete-time equations in Banach spaces was give necessary and sufficient conditions for exact global null-controllability. We then show that for such systems, complete stabilizability implies exact null-controllability.

• Korean Journal of Mathematics
• /
• v.25 no.1
• /
• pp.45-60
• /
• 2017

This paper focuses on estimation of an non-integral quadratic function (NIQF) and integral quadratic function (IQF) of a random signal in dynamic system described by a linear stochastic differential equation. The quadratic form of an unobservable signal indicates useful information of a signal for control. The optimal (in mean square sense) and suboptimal estimates of NIQF and IQF represent a function of the Kalman estimate and its error covariance. The proposed estimation algorithms have a closed-form estimation procedure. The obtained estimates are studied in detail, including derivation of the exact formulas and differential equations for mean square errors. The results we demonstrate on practical example of a power of signal, and comparison analysis between optimal and suboptimal estimators is presented.

• Transactions on Control, Automation and Systems Engineering
• /
• v.2 no.3
• /
• pp.214-219
• /
• 2000

This paper presents a recoil and counter recoil motion measurement system using linear variable differential transformers (LVDT). The output of the LVDT is obtained from the differential voltage of the secondary transformers. Since a transducer core is attached to the motion body, the output is directly proportional to the movement length of the core. Displacement, velocity and acceleration are measured from the LVDT. With a comparison between the measurement result and the reference value obtained by the highly accurate Vernier calipers, it is proved that the measurement system with the LVDT is applicable to the test of the moving part of the mechanism with better accuracy.

• Journal of Institute of Control, Robotics and Systems
• /
• v.3 no.5
• /
• pp.455-460
• /
• 1997

This paper presents a recoil and counter recoil motion measurement method using linear variable differential transformers(LVDT). The output of a LVDT is obtained from the differential voltage of the 2nd transformers. As the sensor core is attached to the motion body, the output is directly proportional to the core motion. Displacement, velocity and acceleration are measured from the core length. A comparison between the measurement result and the known value, which is obtained by the precision steel tape, shows that the accuracy and the usefulness of the proposed scheme is validated.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.15 no.2
• /
• pp.387-395
• /
• 1991

Large deflection behavior of cylindrically orthotropic thin circular plates is investigated by the numerical technique of differential quadrature. Governing equations are derived in terms of transverse deflection and stress function and a Newton-Raphson technique is used to solve the nonlinear systems of equations. For small values of degree of differential quadrature (N.leq.13), as the degree of differential quadrature increases, the center deflection converges. However, as N increases further, the center deflection diverges by ill-conditioning in the weighting coefficients. As the orthotropic parameter increases, the center deflection decreases and behaves linear for the loads. At center, the stress is affected mainly by orthotropic parameter, while the stress is affected mainly by boundary condition at edge.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1019-1036
• /
• 2016

In this paper, we study the existence of solutions and $L^2$-regularity for fractional order retarded neutral functional differential equations in Hilbert spaces. We no longer require the compactness of structural operators to prove the existence of continuous solutions of the non-linear differential system, but instead we investigate the relation between the regularity of solutions of fractional order retarded neutral functional differential systems with unbounded principal operators and that of its corresponding linear system excluded by the nonlinear term. Finally, we give a simple example to which our main result can be applied.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.41 no.3
• /
• pp.79-90
• /
• 2004

Systematical robust stability analysis and design scheme for the feedback linearization control systems via fuzzy modeling are proposed. It is considered that uncertainty and disturbances are included in the Takagi-Sugeno fuzzy models representing the nonlinear plants. Robust stability of the closed system is analyzed by casting the systems into the diagonal norm bounded linear differential inclusions and by converting the analysis and design problems into the linear matrix inequality optimization, a numerical method for finding the maximum stable ranges of the fuzzy feedback linearization control gains is also proposed. To verify the effectiveness of the proposed scheme, the robust stability analysis and control design examples are given.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.10
• /
• pp.3624-3637
• /
• 2014

At SAC 2004, Junod and Vaudenay designed the FOX family based on the Lai-Massey scheme. They noted that it was impossible to find any useful differential characteristic or linear trail after 8 rounds of FOX64 or FOX128. In this paper, we provide the lower bound of differentially active S-boxes in consecutive rounds of the Lai-Massey scheme that has SPS as its F-function, and we propose the necessary conditions for the reachability of the lower bound. We demonstrate that similar results can be obtained with respect to the lower bound of linearly active S-boxes by proving the duality in the Lai-Massey scheme. Finally, we apply these results to FOX64 and FOX128 and prove that it is impossible to find any useful differential characteristics or linear trail after 6 rounds of FOX64. We provide a more precise security bound for FOX128.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.127-147
• /
• 2019

In this paper we establish some new explicit solutions for impulsive linear fractional differential equations with impulses at fixed times, which provides a handy tool in deriving singular integral-sum inequalities and an impulsive fractional comparison principle. Thus we study the Mittag-Leffler stability of impulsive differential equations with the Caputo fractional derivative by using the impulsive fractional comparison principle and piecewise continuous functions of Lyapunov's method. Also, we give some examples to illustrate our results.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.7
• /
• pp.556-562
• /
• 2003

This paper presents new attitude error differential equations to define attitude errors as the rotation vector for inertial navigation systems. Attitude errors are defined with the rotation vector between the reference coordinate frame and the platform coordinate frame, and Platform dynamics to the reference coordinate frame due to platform torque command errors are defined. Using these concepts for attitude error definition and platform dynamics, we have derived attitude error differential equations expressed in original nonlinear form for GINS and SDINS and showed that these are equivalent to attitude error differential equations expressed in known linear form. The relation between attitude errors defined by the rotation vector and attitude errors defined by quaternion is clearly presented as well.