• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.980-983
• /
• 1996

A new version of the discrete-time optimal FIR (finite impulse response) filter utilizing only the measurements of finite sliding estimation window is suggested for linear time-invariant state-space models. This filter is called the BLUFIR (best linear unbiased finite impulse response) filter since it provides the BLUE (best linear unbiased estimate) of the state obtained from the measurements of the estimation window. It is shown that the BLUFIR filter has the deadbeat property when there are no noises in the estimation window.

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

This paper addresses a supervisory control problem to meet bounded time constraints in real-time nondeterministic discrete event systems (DESs) represented as timed transition models. For a timed language specification representing a bounded time constraint, this paper introduces the notions of trace-controllability and time-controllability. Based on the notions, this paper presents the necessary and sufficient conditions for the existence of a supervisor for a real-time nondeterministic DES to achieve the specification.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.212-217
• /
• 1992

In this paper, a two ports machine(TPM) model for discrete event dynamic systems(DEDS) is proposed. The proposed model is a finite state machine which has two inputs and two outputs. Inputs and outputs have two components, events and informations. TPM is different from other state machine models, since TPM has symmetric input and output. This symmetry enables the block diagram representation of the DEDS with TPM blocks, summing points, multiplying points, branch points, and connections. The graphical representation of DEDS is analogous to that of control system theory. TPM has a matrix representation of its transition and information map. This matrix representation simplifies the analysis of the DEDS.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10b
• /
• pp.1139-1144
• /
• 1990

In this paper, we consider linear periodic discrete-time control systems under periodic compensation. Such a closed-loop system generally represents a periodic time-varying system. We examine the problem of finding a compensator such that the closed-loop system is realized as LTI model (if possible) with the closed-loop stability being satisfied. We present a necessary and sufficient condition for solving such problem and also give the characterization of realizable LTI models.

• The KSFM Journal of Fluid Machinery
• /
• v.16 no.2
• /
• pp.15-20
• /
• 2013

An aero-acoustic performance analysis method of regenerative blower is developed as one of the FANDAS codes. The aerodynamic performance of regenerative blower is predicted by using momentum exchange theory coupled with pressure loss and leakage flow models. Based on the performance prediction results, the noise level and spectrum of regenerative blower are predicted by discrete frequency and broadband noise models. The combination of the performance and the noise prediction methods gives aero-acoustic performance map and noise spectrum analysis results, which are well-agreed with the actual measurement results within a few percent relative error.

• Journal of Korea Multimedia Society
• /
• v.19 no.12
• /
• pp.2000-2013
• /
• 2016

The purpose of this study is to validate the validity of the methodology for analyzing the space with complex characteristics and to evaluate the existing spatial structure analysis theory. Seven example models are designed and analyzed data of spatial syntax analysis and visibility graph analysis. And analyzed the agent-based model using two analytical methods: the adjacent space and the whole spatial connection. The results of this study are as follows. Based on the analysis of the agent - based model for perfectly freewalking, the validity of the method is verified in terms of predictive ability and effectiveness. Agent-based models can be simulated considering various variables, so realistic predictions will be possible and a new biography of complex systems can be met.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.34 no.1
• /
• pp.11-28
• /
• 2009

Intelligent investment in setup cost reduction and process reliability improvement is crucial to an emerging integrated lean six sigma practice today. This study examines a cost-minimizing problem of jointly determining production lot size, setup cost reduction, and process reliability improvement decisions for a manufacturer with an imperfect production process. We develop models for previously untapped discrete shipping in a supply chain context as well as continuous shipping and solve them optimally using differential calculus and nonlinear programming. We also conduct analytic and numerical sensitivity analyses to provide various important managerial insights into practices.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.16 no.2
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• Journal of the Korea Society for Simulation
• /
• v.5 no.2
• /
• pp.41-58
• /
• 1996

The Discrete Event Systems Specification(DEVS) formalism specifies a discrete event system in a hierarchical, modular form. This paper presents a distributed simulation environment D-DEVSim++ for models specified by the DEVS formalism. D-DEVSim++ employs a new simulation scheme which is a hybrid algorithm of the hierarchical simulation and Time Warp mechanisms. The scheme can utilize both the hierarchical scheduling parallelism and the inherent parallelism of DEVS models. This hierarchical scheduling parallelism is investigated through analysis. Performance of the proposed methodology is evaluated through benchmark simulation on a 5-dimensional hypercube parallel machine. The performance results indicate that the methodology can achieve significant speedup. Also, it is shown that the analyzed speedup for the hierarchical scheduling time corresponds the experiment.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.11
• /
• pp.1155-1164
• /
• 2008

Supervisory control theory, which was first proposed by Ramadge and Wonahm, is a well-suited control theory for the control of complex systems such as semiconductor manufacturing systems, automobile manufacturing systems, and chemical processes because these are better modeled by discrete event models than by differential or difference equation models at higher levels of abstraction. Moreover, decentralized supervisory control is an efficient method for large complex systems according to the divide-and-conquer principle. Decentralized supervisors cannot observe the events those of which occur only within the other supervisors. Therefore decentralized supervisors can be designed according to supervisory control theory under partial observation. This paper presents a solution and a design procedure of supervisory control problem (SCP) for the case of decentralized control and SCP under partial observation (SCPPO). We apply the proposed design procedure to an experimental CIM Testbed. And we compare and analyze the designed decentralized supervisors and partially observed supervisors.