• 대한수학회지
• /
• 제37권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
• /
• 제25권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
• /
• 제2권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.

• 제어로봇시스템학회논문지
• /
• 제3권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.

• 대한기계학회논문집
• /
• 제15권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.

• 대한수학회지
• /
• 제53권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.

• 전자공학회논문지CI
• /
• 제41권3호
• /
• pp.79-90
• /
• 2004

본 논문에서는 퍼지 피드백 선형화 제어 시스템에 대한 체계적인 강인 안정성 해석과 제어기 설계방법을 제안한다. 제어 대상인 비선형 시스템을 모델링 하는데 있어서 Takagi-Sugeno 퍼지 모델 기법을 이용하고, 이때 발생할 수 있는 모델 불확실성과 외란을 고려한다. 모델링을 통해서 얻어진 폐루프 시스템에 대한 안정성 판별은 Diagonal Norm based Linear Differential Inclusions 으로의 구조 변환을 이용하여 강인 안정성 해석을 하였으며, 퍼지 피드백 선형화 제어 시스템을 안정화시키는 제어기의 이득을 얻기 위하여 LMI 최적화 계산법을 기반으로 한 수치 해석법을 제시하였다. 제안된 방법의 효과를 확인하기 위해서 강인 안정성 해석 및 제어 설계에 대한 모의실험을 수행한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권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.

• 대한수학회지
• /
• 제56권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.

• 제어로봇시스템학회논문지
• /
• 제9권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.