• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10b
• /
• pp.18-23
• /
• 1993

In this paper, we attempt to estimate the state of a finite state system. In such system, we can observe time series data which has some significant behaviors corresponding to its system states. The behavior is characterized by feature parameters extracted from time series. Our thought is that the system output time series data is expressed as a sequence of behavior patterns which are represented by clusters in feature parameters space. An algorithm jointing fuzzy clustering to fuzzy finite state transition model is suggested.

• Journal of the Korean Society for Precision Engineering
• /
• v.17 no.8
• /
• pp.78-86
• /
• 2000

This study identified a linear time-invariant mathematical model of each stand of a five-stand tandem cold mill. Two model identification methods are applied to construct a linear model of each stand of the tandem cold mill. For the model identification the input-output data that have interstand interference property in tandem cold rolling are obtained from a nonlinear simulator of the tandem cold mill. And a linear model of each stand is identified with N4SD(numerical algorithms for subspace state space system identification) method based on a state-space model and Least Square algorithm based on a transfer function. Furthermore a modeling error of the tandem cold mill is quantitatively analyzed from a maximum singular value plot of error function between an identified nominal model and uncertain model. In conclusion the comparison of the output signals between the existing Taylor linearized model the identified linear model and the nonlinear model of the tandem cold mill shows the accuracy and the applicability of the proposed identified model.

• Journal of Korea Game Society
• /
• v.4 no.1
• /
• pp.58-66
• /
• 2004

This paper uses counterexamples for solving reachability games. An objective. of the game we consider here is to find out a minimal path from an initial state to the goal state. We represent initial states and game rules as finite state model and the goal state as temporal logic formula. Then, model checking is used to determine whether the model satisfies the formula. In case the model does not satisfy the formula, model checking generates a counterexample that shows how to reach the goal state from an initial state. In this way, we solve many of small-sized Push Push games. However, we cannot handle larger-sized games due to the state explosion problem. To mitigate the problem, abstraction is used to reduce the state space to be che cked. As a result, unsolved games are solved with the abstraction technique we propose inthis paper.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.715-733
• /
• 1995

We present a transient queue size distribution for $M/G/m/N$ queue with state dependent arrival rates, using the diffusion process with piecewise constant diffusion parameters, with state space [0, N] and elementary return boundaries at x = 0 and x = N. The model considered here contains not only many basic model but the practical models such as as two-node cyclic queue, repairmen model and overload control in communication system with finite storage buffer. For the accuracy check, we compare the approximation results with the exact and simulation results.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.24 no.3
• /
• pp.354-362
• /
• 2000

This paper identifies a discrete-time linear combustion model of Refuse Incineration Plant(RIP) which characterizes steam generation quantity, where the RIP is considered as a MIMO system with thirteen-inputs and one-output. The structure of RIP model is described as an ARX model which are analytically obtained from the combustion dynamics. Furthermore, using the Instrumental Variable(IV) identification algorithm, model structure and unknown parameters are identified from experimental input-output data sets, In result, it is shown that the identified ARX model well approximates the input-output combustion characteristics given by experimental data sets.

• Smart Structures and Systems
• /
• v.8 no.2
• /
• pp.157-172
• /
• 2011

A new method for both local damage(s) identification and input excitation force identification of beam structures is presented using the dynamic response sensitivity-based finite element model updating method. The state-space approach is used to calculate both the structural dynamic responses and the responses sensitivities with respect to structural physical parameters such as elemental flexural rigidity and with respect to the force parameters as well. The sensitivities of displacement and acceleration responses with respect to structural physical parameters are calculated in time domain and compared to those by using Newmark method in the forward analysis. In the inverse analysis, both the input excitation force and the local damage are identified from only several acceleration measurements. Local damages and the input excitation force are identified in a gradient-based model updating method based on dynamic response sensitivity. Both computation simulations and the laboratory work illustrate the effectiveness and robustness of the proposed method.

• 제어로봇시스템학회:학술대회논문집
• /
• 1998.10a
• /
• pp.244-249
• /
• 1998

In this paper, the hybrid state space self-tuning control technique Is studied within the framework of fuzzy systems and dual-rate sampling control theory. We show that fuzzy modeling techniques can be used to formulate chaotic dynamical systems. Then, we develop the hybrid state space self-tuning fuzzy control techniques with dual-rate sampling for digital control of chaotic systems. An equivalent fast-rate discrete-time state-space model of the continuous-time system is constructed by using fuzzy inference systems. To obtain the continuous-time optimal state feedback gains, the constructed discrete-time fuzzy system is converted into a continuous-time system. The developed optimal continuous-time control law is then convened into an equivalent slow-rate digital control law using the proposed digital redesign method. The proposed technique enables us to systematically and effective]y carry out framework for modeling and control of chaotic systems. The proposed method has been successfully applied for controlling the chaotic trajectories of Chua's circuit.

• Communications for Statistical Applications and Methods
• /
• v.31 no.1
• /
• pp.143-154
• /
• 2024

This paper considers a combined model of exponential smoothing (ETS) and autoregressive integrated moving average (ARIMA) models that are commonly used to forecast time series data. The combined model is constructed through an innovational state space model based on the level variable instead of the differenced variable, and the identifiability of the model is investigated. We consider the maximum likelihood estimation for the model parameters and suggest the model selection steps. The forecasting performance of the model is evaluated by two real time series data. We consider the three competing models; ETS, ARIMA and the trigonometric Box-Cox autoregressive and moving average trend seasonal (TBATS) models, and compare and evaluate their root mean squared errors and mean absolute percentage errors for accuracy. The results show that the combined model outperforms the competing models.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.3 no.4
• /
• pp.895-905
• /
• 1999

This paper identifies a linear time-invariant mathematical model of each stand of a five-stand tandem cold mill to design a robust $H_\infty$ thickness controller by applying input and output data sets to N4SID (Numerical algorithms for Subspace State Space System Identification) method. The input-output data sets describe interstand interference in the process of tandem cold rolling and are obtained from a nonlinear simulator of the tandem cold mill. In result, it is shown that the identified model well approximates the nonlinear model than a Taylor linearized model. Furthermore, uncertainties including roll eccentricity and incoming strip variation are quantitatively analyzed from the plot of maximum singular values.

• Proceedings of the KIPE Conference
• /
• 2019.07a
• /
• pp.483-484
• /
• 2019

This paper proposes a harmonic state space (HSS) modeling of DC microgrid. In the HSS model, nonlinear equations for the switched circuit model are transformed into multiple linear equations. The simulation results have shown the HSS modeling is comparable with PSIM simulation.