• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.262-264
• /
• 2005

We propose a filter design method to suppress the effect of gyroscope mixed random errors at INS system level. It is based on the result that mixed random errors can be represented by a single equivalent ARMA model. At first step, the time difference of equivalent ARMA process is performed, which consider the characteristic of indirect feedback Kalman filter used in INS filter. Next, a state space conversion of time differenced ARMA model is achieved. If the order of AR is greater than that of MA, the controllable or observable canonical form is used. Otherwise, we introduce the state equation of which the state variable is composed of the ARMA model output and several step ahead predicts of that. At final step, a complete form state equation is presented. The simulation results shows that the proposed method gives less transient error and better convergence compared to the conventional filter which assume the mixed random errors as white noise.

• The Korean Journal of Applied Statistics
• /
• v.29 no.6
• /
• pp.1129-1145
• /
• 2016

Functional neuro-connectivity is one of the main issues in brain science in the sense that it is closely related to neurodynamics in the brain. In the paper, we choose fMRI as a main form of response data to brain activity due to its high resolution. We review methods for analyzing functional neuro-connectivity assuming that measurements are made on physiological responses to neuron activation. This means that we deal with a state-space and measurement model, where the state-space model is assumed to represent neurodynamics. Analysis methods and their interpretation should vary subject to what was measured. We included analysis results of real fMRI data by applying a high-dimensional autoregressive model, which indicated that different neurodynamics were required for solving different types of geometric problems.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• pp.1048-1055
• /
• 2006

Two ways can be used for dynamic condensation of viscously damped structural models. One is reducing the model in physical space at first and then transferring it to state space. The other is ,condensing the model in state space directly. Two iterative schemes for each way are given respectively. Hence four iterative schemes for dynamic condensation of nonclassically damped models are discussed in this paper. A high building with a tuned mass damper is applied to show the efficiency of these schemes.

• Journal of Electrical Engineering and Technology
• /
• v.10 no.2
• /
• pp.560-573
• /
• 2015

In this paper, a battery charger is introduced for an interleaved DC-DC converter with an LCLC filter. To improve the overall performance of the DC-DC converter for battery charger, a method is proposed. First, the structure of the system is presented. Second, an LC filter is compared to an LCLC filter in terms of the response characteristics and size. Third, the small-signal model of a bidirectional DC-DC converter using a state-space averaging method and the required transfer functions are introduced. Next, the frequency characteristics of the converter are discussed. Finally, the simulation and experimental results are analyzed to verify the proposed state space of the bidirectional converter.

• Smart Structures and Systems
• /
• v.1 no.3
• /
• pp.283-308
• /
• 2005

This paper features about the modeling and design of a fast output sampling feedback controller for a smart Timoshenko beam system for a SISO case by considering the first 3 vibratory modes. The beam structure is modeled in state space form using FEM technique and the Timoshenko beam theory by dividing the beam into 4 finite elements and placing the piezoelectric sensor/actuator at one location as a collocated pair, i.e., as surface mounted sensor/actuator, say, at FE position 2. State space models are developed for various aspect ratios by considering the shear effects and the axial displacements. The effects of changing the aspect ratio on the master structure is observed and the performance of the designed FOS controller on the beam system is evaluated for vibration control.

• Journal of Astronomy and Space Sciences
• /
• v.40 no.1
• /
• pp.11-18
• /
• 2023

The ionosphere is one of the key components of the near-Earth's space environment and has a practical consequence to the human society as a nearest region of the space environment to the Earth. Therefore, it becomes essential to specify and forecast the state of the ionosphere using both the observations and numerical models. In particular, numerical modeling of the ionosphere is a prerequisite not only for better understanding of the physical processes occurring within the ionosphere but also for the specification and forecast of the space weather. There are several approaches for modeling the ionosphere, including data-based empirical modeling, physics-based theoretical modeling and data assimilation modeling. In this review, these three types of the ionospheric model are briefly introduced with recently available models. And among those approaches, fundamental aspects of the physics-based ionospheric model will be described using the basic equations governing the mid-latitude ionosphere. Then a numerical solution of the equations will be discussed with required boundary conditions.

• Water for future
• /
• v.27 no.1
• /
• pp.89-99
• /
• 1994

Flood forecasting in Korea has been based on the off-line parameter estimation method. But recent flood forecasting studies explore on-line recursive parameter estimation algorithms. In this study, a simultaneous adaptive estimation of system states and parameters for rainfall-runoff model is investigated for on-line real-time flood forecasting and parameter estimation. The proposed flood routing system is composed of Flood forecasting in Korea has been based on the off-line parameter estimation method. But recent flood forecasting studies explore on-line recursive parameter estimation algorithms. In this study, a simultaneous adaptive estimation of system states and parameters for rainfall-runoff model is investigated for on-line real-time flood forecasting and parameter estimation. The proposed flood routing system is composed of ø-index in the assessment of effective rainfall and the cascade of nonlinear reservoirs accounting for translation effect in flood routing. To combine the flood routing model with a parameter estimation model, system states and parameters are treated with the extended state-space formulation. Generalized least squares and maximum a posterior estimation algorithms are comparatively examined as estimation techniques for the state-space model. The sensitivity analysis is to investigate the identifiability of the parameters. The index of sensitivity used in this study is the covariance matrix of the estimated parameters.-index in the assessment of effective rainfall and the cascade of nonlinear reservoirs accounting for translation effect in flood routing. To combine the flood routing model with a parameter estimation model, system states and parameters are treated with the extended state-space formulation. Generalized least squares and maximum a posterior estimation algorithms are comparatively examined as estimation techniques for the state-space model. The sensitivity analysis is to investigate the identifiability of the parameters. The index of sensitivity used in this study is the covariance matrix of the estimated parameters.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.972-974
• /
• 1993

This paper presents a new method to automatically design fuzzy logic controller(FLC). The main problems of designing FLC are how to optimally and automatically select the control rules and the parameters of membership function (MF). Cell state space algorithms (CSS), differential competitive learning (DCL) and multialyer neural network are combined in this paper to solve the problems. When the dynamical model of a control process is known. CSS can be used to generate a group of optimal input output pairs(X, Y) used by a controller. The(X, Y) then can be used to determine the FLC rules by DCL and to determine the optimal parameters of MF by DCL and to determine the optimal parameters of MF by multilayer neural network trained by BP algorithm.

• Industrial Engineering and Management Systems
• /
• v.3 no.1
• /
• pp.1-11
• /
• 2004

This paper proposes a new algorithm for determining an optimal control input for production systems. In many production systems, completion time should be planned within the due dates by taking into account precedence constraints and processing times. To solve this problem, the max-plus algebra is an effective approach. The max-plus algebra is an algebraic system in which the max operation is addition and the plus operation is multiplication, and similar operation rules to conventional algebra are followed. Utilizing the max-plus algebra, constraints of the system are expressed in an analogous way to the state-space description in modern control theory. Nevertheless, the formulation of a system is currently performed manually, which is very inefficient when applied to practical systems. Hence, in this paper, we propose a new algorithm for deriving a state-space description and determining an optimal control input with several constraint matrices and parameter vectors. Furthermore, the effectiveness of this proposed algorithm is verified through execution examples.

• The KIPS Transactions:PartD
• /
• v.11D no.6
• /
• pp.1295-1300
• /
• 2004

Although model checking has gained its popularity as one of the most effective approaches to the formal verification, it has to deal with the state explosion problem to be widely used in industry. In order to mitigate the problem, this paper proposes an ion technique to obtain a reduced model M' from a given original model M. Our technique Identifies the set of necessary variables for model checking and projects the state space onto them. The model M' is smaller in both size and behavior than the original model M, written M'$\leq$M. Since the result of reachability analysis with M' is preserved in M, we can do reachability analysis with model checking using M' instead of M. The abstraction technique is applied to Push Push games, and two model checkers - Cadence SMV and NuSMV - are used to solve the games. As a result, most of unsolved games with the usual model checking are solved with the ion technique. In addition, ion shows that there is much of time and space improvement. With Cadence SMV, there is 87% time improvement and 79% space one. And there is 83% time improvement and 56% space one with NuSMV.