• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.220-222
• /
• 2006

This paper presents intelligent digital redesign method of global approach for hybrid state space fuzzy-model-based controllers. For effectiveness and stabilization of continuous-time uncertain nonlinear systems under discrete-time controller, Takagi-Sugeno(TS) fuzzy model is used to represent the complex system. And global approach design problems viewed as a convex optimization problem that we minimize the error of the norm bounds between nonlinearly interpolated lineal operators to be matched. Also, by using the bilinear and inverse bilinear approximation method, we analyzed nonlinear system's uncertain parts more precisely. When a sampling period is sufficiently small, the conversion of a continuous-time structured uncertain nonlinear system to an equivalent discrete-time system have proper reason. Sufficiently conditions for the global state-matching of the digitally controlled system are formulated in terms of linear matrix inequalities (LMIs). Finally, a T-S fuzzy model for the chaotic Lorentz system is used as an example to guarantee the stability and effectiveness of the proposed method.

• Proceedings of the KIEE Conference
• /
• 2005.10b
• /
• pp.496-498
• /
• 2005

This paper presents intelligent digital redesign method of global approach for hybrid state space fuzzy-model-based controllers. For effectiveness and stabilization of continuous-time uncertain nonlinear systems under discrete-time controller, Takagi-Sugeno(TS) fuzzy model is used to represent the complex system. And global approach design problems viewed as a convex optimization problem that we minimize the error of the norm bounds between nonlinearly interpolated linear operators to be matched. Also by using the power series, we analyzed nonlinear system's uncertain parts more precisely. When a sampling period is sufficiently small, the conversion of a continuous-time structured uncertain nonlinear system to an equivalent discrete-time system have proper reason. Sufficiently conditions for the global state-matching of the digitally controlled system are formulated in terms of linear matrix inequalities (LMIs).

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.318-323
• /
• 1993

The paper discusses the problem of computing coarser observation functions in supervisory control of discrete event systems. It is shown that when a supervisor that realizes a given language L has certain properties, L-realizability of a coarser observation function is equivalent to control-compatibility of the states in some subsets of the state space of the supervisor. This characterization is then used to devise an iterative procedure of computing coarser L-realizable observation functions, where supervisor reduction and L-realizability verification of an observation function are performed at each iteration.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2001.05a
• /
• pp.948-953
• /
• 2001

Nonlinear dynamic equation of a 4-axis rigid rotor supported by two an-isotropic magnetic bearings is derived via Hamilton's principle. It is transformed to a state-space form for the standard Η$_{\infty}$ control problem. we present a robust Η$_{\infty}$ control design methods of continuous and discrete LMI-based approaches and improve performance using loopshaping.

• Journal of the Korea Society for Simulation
• /
• v.27 no.2
• /
• pp.83-90
• /
• 2018

This paper describes the method of hull shape optimization to improve the resistance performance of planing hulls when a reference hull shape and its principal dimensions are given. First, the planing hull of precedent research is adopted as the reference hull and an optimization problem is formulated by defining hull shape parameters. The search space of this research is discretized for computing cost and DPSO(Discrete binary version of Particle Swarm Optimization) method is used to solve the optimization problem. As the result of optimization, the decrease of resistance is confirmed from the comparison between the reference hull's and the modified hull's planing performance from computational results.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.6
• /
• pp.599-607
• /
• 2000

This paper suggests an efficient reachability analysis method of bounded petri nets. Reachability analysis is a fundamental basis for studying the dynamic properties of any discrete event systems. However, it takes at least exponential execution time and memory space to verify in general petri nets. That is, state space explosion problem may occur. In this paper, we attack problems of previous approaches - state space explosion and restrictions to applicable petri net classes - by formulating the reachability problem as set operation over structural relations among places on an unfolding.

• Proceedings of the KIEE Conference
• /
• 2003.11c
• /
• pp.433-436
• /
• 2003

The estimation of the position and the orientation for the mobile robot constitutes an important problem in mobile robot navigation. Although the odometry can be used to describe the motions of the mobile robots, there inherently exist the gaps between the real robots and the mathematical model, which may be caused by a number of error sources contaminating the encoder outputs. Hence, applying the standard extended Kalman filter for the nominal model is not supposed to give the satisfactory performance. As a solution to this problem, a new robust extended Kalman filter is proposed based on the Krein space approach. We consider the uncertain discrete time nonlinear model of the mobile robot that contains the uncertainties represented as sum quadratic constraints. The proposed robust filter has the merit of being constructed by the same recursive structure as the standard extended Kalman filter and can, therefore, be easily designed to effectively account for the uncertainties. The simulations will be given to verify the robustness against the parameter variation as veil as the reliable performance of the proposed robust filter.

• Journal of Electrical Engineering and Technology
• /
• v.13 no.5
• /
• pp.2074-2079
• /
• 2018

Global state space's optimal policy is used for offline controller in the form of table by using Dynamic Programming. If an optimal policy table has a large amount of control data, it is difficult to use the system in a low capacity system. To resolve these problem, controller using the compressed optimal policy table is proposed in this paper. A DCT is used for compression method and the cosine function is used as a basis. The size of cosine function decreased as the frequency increased. In other words, an essential information which is used for restoration is concentrated in the low frequency band and a value of small size that belong to a high frequency band could be discarded by quantization because high frequency's information doesn't have a big effect on restoration. Therefore, memory could be largely reduced by removing the information. The compressed output is stored in memory of embedded system in offline and optimal control input which correspond to state of plant is computed by interpolation with Inverse DCT in online. To verify the performance of the proposed controller, computer simulation was accomplished with a one link inverted pendulum.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2000.04a
• /
• pp.451-457
• /
• 2000

In many dynamic problems such as foundation vibrations ultrasonic nondestructive evaluation and blasting analysts are confronted with the problem of wave propagation in an infinite or semi-infinite media. In order to simulate this situation by a finite analytical model provisions must be made to absorb the stress waves arriving at the boundary. Absorbing boundaries are mathematical artifacts used to prevent wave reflections at the boundaries of discrete models for infinite media under dynamic loads. An analytical study is carried out to examine the effectiveness of Lysmer-Kuhlemeyer model one of the most widely used absorbing boundaries. Validity of the absorbing boundary conditions suggested by Lymer-Kuhlemeyer is examined by adopting the solution of Ewing et al. to the problem of plane waves from a harmonic normal force on the surface of an elastic half-space. The Ewing's problem is than numerically simulated using the finite element method on a semi-circular mesh with and without absorbing boundaries which are represented by viscous dashpots. The absorption ratios are calculated by comparing the displacements at the absorbing boundaries to those at the free field without absorbing boudaries.

• International Journal of Aeronautical and Space Sciences
• /
• v.8 no.1
• /
• pp.95-104
• /
• 2007

A new design approach of complex geometries such as wing/body configuration is arranged by using overset mesh techniques under large scale computing environment. For an in-depth study of the flow physics and highly accurate design, several special overlapped structured blocks such as collar grid, tip-cap grid, and etc. which are commonly used in refined drag prediction are adopted to consider the applicability of the present design tools to practical problems. Various pre- and post-processing techniques for overset flow analysis and sensitivity analysis are devised or implemented to resolve overset mesh techniques into the design optimization problem based on Gradient Based Optimization Method (GBOM). In the pre-processing, the convergence characteristics of the flow solver and sensitivity analysis are improved by overlap optimization method. Moreover, a new post-processing method, Spline-Boundary Intersecting Grid (S-BIG) scheme, is proposed by considering the ratio of cell area for more refined prediction of aerodynamic coefficients and efficient evaluation of their sensitivities under parallel computing environment. With respect to the sensitivity analysis, discrete adjoint formulations for overset boundary conditions are derived by a full hand-differentiation. A smooth geometric modification on the overlapped surface boundaries and evaluation of grid sensitivities can be performed by mapping from planform coordinate to the surface meshes with Hicks-Henne function. Careful design works for the drag minimization problems of a transonic wing and a wing/body configuration are performed by using the newly-developed and -applied overset mesh techniques. The results from design applications demonstrate the capability of the present design approach successfully.