• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.10
• /
• pp.130-138
• /
• 2002

This paper presents the modeling and analysis of dynamic characteristics of hydraulic snubber in electric power plant. The nonlinear state-space model of 14th order to describe the dynamics of the snubber was established by Simulink. The simulation results show that the hydraulic snubber reacts as like the conventional shock absorbers against the high pulse shock load. The snubber also shows the peculiar characteristics to the small step load, which temporarily lock the control valves up, however maintain same steady-state pressures of all internal chambers in the long run. Two case studies for the analysis of the snubber were addressed. Practical pulse testing method was also proposed to identify the frequency response characteristics of the snubber.

• 연구논문집
• /
• s.31
• /
• pp.89-99
• /
• 2001

This paper presents the modeling and analysis of dynamic characteristics of hydraulic snubber in electric power plant. The nonlinear state-space model of 14th order to describe the dynamics of the snubber was established by Simulink. The simulation results show that the hydraulic snubber reacts as like the conventional shock absolvers against the high pulse shock load. The snubber also shows the peculiar characteristics to the small step load, which temporarily lock the control valves up, however maintain same steady-state pressures of all internal chambers in the long run. Two case studies for the analysis of the snubber are addressed. Practical pulse testing method was also proposed to identify the frequency response of the snubber.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.12 no.1
• /
• pp.12-20
• /
• 2002

To control the noise of an enclosed sound field, we built a state space model using the acoustic modal parameter description. Using the state space model, we can investigate the controllability and observability, and find an appropriate position of control speaker and microphone to control sound field of the enclosed space. We implemented LQR(linear quadratic regulator) controller and reduced order observer to reduce the first acoustic mode. Experiments showed satisfactory results of 4∼10 dB reduction of magnitude of the first acoustic mode, and support the feasibility of the proposed scheme to lightly damped acoustic field.

• Journal of Power Electronics
• /
• v.14 no.5
• /
• pp.1038-1046
• /
• 2014

Lithium-ion batteries are widely used in hybrid and pure electric vehicles. State-of-charge (SOC) estimation is a fundamental issue in vehicle power train control and battery management systems. This study proposes a novel model-based SOC estimation method that applies closed-loop state observer theory and a comprehensive battery model. The state-space model of lithium-ion battery is developed based on a three-order resistor-capacitor equivalent circuit model. The least square algorithm is used to identify model parameters. A multi-state closed-loop state observer is designed to predict the open-circuit voltage (OCV) of a battery based on the battery state-space model. Battery SOC can then be estimated based on the corresponding relationship between battery OCV and SOC. Finally, practical driving tests that use two types of typical driving cycle are performed to verify the proposed SOC estimation method. Test results prove that the proposed estimation method is reasonably accurate and exhibits accuracy in estimating SOC within 2% under different driving cycles.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.111-116
• /
• 2006

Given a state, it is essential to for the finite state model analysis (such as model checking) to decide whether or not the state is reachable. W a site of the model is small, the whole state space is to be explored exhaustively. However, it is very difficult or even impossible if a size of the model is large. In this case, the model can be reduced into a smaller one via abstraction which does not allow e false positive error. this paper, we devise such an abstraction and apply it to the Nemorize game solving. As a result, unsolved game due to the state explosion problem is solved with the proposed abstraction.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2340-2344
• /
• 2003

This paper considers a tracking filter algorithm which can track a maneuvering target. Multiresolutional Interacting Multiple Model (MRIMM) algorithm is proposed to reduce computational burden. In this paper multiresolutional state space model equation and multiresolutional measurement equation are derived by using wavelet transform. This paper shows the outline of MRIMM algorithm. Simulation results show that MRIMM algorithm maintains a good tracking performance and reduces computational burden.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.24 no.2 s.173
• /
• pp.290-302
• /
• 2000

In this paper, we study on the identification of discrete-time state-space model for robust control of tandem cold mill, using a MOESP(MIMO output-error state-space model identification) algorithm based on subspace method. It is shown that the identified model is well adapted to input-output data sets, which are obtained from nonlinear mathematical equations of tandem cold mill. Furthermore, deterministic H$\infty$ norm bounds on uncertainties including modeling errors and disturbances are quantitatively identified in the frequency domain. Finally, the results give a basic idea to determine weighting functions included in formulating some robust control problems of tandem cold mill.

• Journal of Korean Institute of Industrial Engineers
• /
• v.24 no.4
• /
• pp.485-492
• /
• 1998

Most forecasting models often fail to produce appropriate forecasts because we build a model based on the assumption of the data being generated from the only one stochastic process. However, in many real problems, the time series data are generated from one stochastic process for a while and then abruptly undergo certain structural changes. In this paper, we assume the basic underlying process is the simple state-space model with random level and deterministic drift but interrupted by three types of exogenous shocks: level shift, drift change, outlier. A Bayesian procedure to detect, estimate and adapt to the structural changes is developed and compared with simple, double and adaptive exponential smoothing using simulated data and the U.S. leading composite index.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.76.5-76
• /
• 2001

This paper considers the parameter estimation for the state-space model based time-delay systems in the case that the Lyapunov stability of the system is guaranteed. In order to estimate the parameters, two estimation methods can be proposed which are known as the parallel model and the series parallel model. It is shown that the parameters can be estimated using each method, and also certied that the results are correct by simulations.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.