• Title/Summary/Keyword: discrete-time models

Search Result 238, Processing Time 0.027 seconds

Discrete Event Simulation with Embedded Distributed Expert System: Application to Manufacturing Process Monitoring and Diagnosis (분산 전문가 시스템의 기능을 갖는 이산사건 시뮬레이션: 제조 공정 오류 감지와 진단에의 적용)

  • 조대호
    • Journal of the Korea Society for Simulation
    • /
    • v.7 no.2
    • /
    • pp.137-152
    • /
    • 1998
  • One of the components that constitute the simulation models is the state variables whose values are determined by the time related simulation process. Embedding rule-based expert systems into the simulation models should provide a systematic way of handling these time-dependent variables without distracting the essential problem solving capabilities of the expert systems which are well suited for expressing the decision making function of complex cases. The expert system, however, is inefficient in dealing with the time elapsing characteristics of target system compare to the simulation models. To solve the problem, this paper provides an interruptible inference engine whose inferencing process can be interrupted when the variables' value, which are used as the parameters of the rules, are not yet determined due to the time dependent nature of the state variables. The process is resumed when the variables are ready. The elapse of time is calculated by time-advance function of the simulation model to which the expert system has been embedded. The example modeling shown exploits the embedded interruptible inferencing capability for the controlling and monitoring of metal grating process.

  • PDF

A Converting Method to Simulate DEVS Models on AddSIM (컴포넌트기반 체계모의환경(AddSIM)에서 실행하기 위한 DEVS 모델 변환 방법)

  • Kim, Dohyung;Oh, Hyunshik;Park, Juhye;Park, Samjoon
    • KIISE Transactions on Computing Practices
    • /
    • v.21 no.7
    • /
    • pp.488-493
    • /
    • 2015
  • An AddSIM(Adaptive distributed and parallel Simulation environment for Interoperable and reusable Models) is an integrated engagement simulation environment with high-resolution weapon system models for estimation and analysis of their performance and effectiveness. AddSIM can simultaneously handle the continuous dynamical system models based on continuous time, and command, control(C2) and network system models based on a discrete event. To accommodate legacies based on DEVS(Discrete Event System Specification) modeling, DEVS legacies must first be converted into AddSIM models. This paper describes how to implement DEVS models on AddSIM. In this study a method of mapping from hierarchical DEVS models to AddSIM players was developed: The hierarchical DEVS model should be flattened into a one layered model and four DEVS functions of the model, external transition, internal transition, output and time advance, should be mapped into functions of the AddSIM player.

Modeling and a Simple Multiple Model Adaptive Control of PMSM Drive System

  • Kang, Taesu;Kim, Min-Seok;Lee, Sa Young;Kim, Young Chol
    • Journal of Power Electronics
    • /
    • v.17 no.2
    • /
    • pp.442-452
    • /
    • 2017
  • This paper deals with the input-output modeling of a vector controlled PMSM drive system and design of a simple multiple model adaptive control (MMAC) scheme with desired transient responses. We present a discrete-time modeling technique using closed-loop identification that can experimentally identify the equivalent models in the d-q coordinates. A bank of linear models for the equivalent plant of the current loop is first obtained by identifying them at several operating points of the current to account for nonlinearity. Based on these models, we suggest a simple q-axis MMAC combined with a fixed d-axis controller. After the current controller is designed, another equivalent model including the current controller in the speed control loop shall be similarly obtained, and then a fixed speed controller is synthesized. The proposed approach is demonstrated by experiments. The experimental set up consists of a surface mounted PMSM (5 KW, 220V, 8 poles) equipped with a flywheel load of 220kg and a digital controller using DSP (TMS320F28335).

A study on modelling and simulation of computer communication protocols (컴퓨터 통신 프로토콜의 모델링과 시뮬레이션에 관한 연구)

  • 손진곤;백두권
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 1990.04a
    • /
    • pp.22-31
    • /
    • 1990
  • In this paper, we have studied modelling and simulation of computer communication protocols theoretically. After describing a definition and functions of communication protocols, we have classified models for protocol design. And, in those protocol models, by endowing Timed Petri Net (TPN) models with a time function .tau., we have proposed a structural definition of TPN models. Furthermore, in order to complement Petri Net Based models with some problems, we have introduced the Discrete EVent system Specification (DEVS) concept in system simulation field. As an important result of our study, we have presented a theorem, which says that a TPN model becomes a DEVS model, and proved it. According to the theorem, we can perform efficient simulation by using the DEVS model transformed from a TPN model when we intend the TPN model to be simulated, otherwise we design another simulation model for it.

  • PDF

A Study on the Stochastic User Equilibrium Assignment (확솔적 이용자 평형통행 배분에 관한 연구)

  • 이승재;전경수;임강원
    • Journal of Korean Society of Transportation
    • /
    • v.8 no.1
    • /
    • pp.55-71
    • /
    • 1990
  • The behavioral mechanism underlying the traffic assignment model is a choice, or decision-making process of traveling paths between origins and destinations. The deterministic approach to traffic assignment assumes that travelers choose shortest path from their origin-destination pair. Although this assumption seems reasonable, it presumes that all travelers have perfect information regarding travel time, that they make consistently correct decision, and that they all behave in identical fashion. Stochastic user equilibrium assignment relaxes these presumptions by including a random component in traveler's perception of travel time. The objective of this study is to compare "A Model of Deterministic User Equilibrium Assignment" with "Models of Stochastic User Equilibrium Assignment" in the theoretical and practical aspects. Specifically, SUE models are developed to logit and probit based models according to discrete choice functions. The models were applied to sioux Falls net ork consisting of 24 zones, 24 nodes and 76 links. The distribution of perceived travel time was obtained by using the relationship between speed and traffic flow.

  • PDF

A Multi-stage Markov Process Model to Evaluate the Performance of Priority Queues in Discrete-Event Simulation: A Case Study with a War Game Model (이산사건 시뮬레이션에서의 우선순위 큐 성능분석을 위한 다단계 마코브 프로세스 모델: 창조 모델에 대한 사례연구)

  • Yim, Dong-Soon
    • Journal of the Korea Society for Simulation
    • /
    • v.17 no.4
    • /
    • pp.61-69
    • /
    • 2008
  • In order to evaluate the performance of priority queues for future event list in discrete-event simulations, models representing patterns of enqueue and dequeue processes are required. The time complexities of diverse priority queue implementations can be compared using the performance models. This study aims at developing such performance models especially under the environment that a developed simulation model is used repeatedly for a long period. The developed performance model is based on multi-stage Markov process models; probabilistic patterns of enqueue and dequeue are considered by incorporating non-homogeneous transition probability. All necessary parameters in this performance model would be estimated by analyzing a results obtained by executing the simulation model. A case study with a war game simulation model shows how the parameters defined in muti-stage Markov process models are estimated.

  • PDF

Data-based Control for Linear Time-invariant Discrete-time Systems

  • Park, U. S.;Ikeda, M.
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2004.08a
    • /
    • pp.1993-1998
    • /
    • 2004
  • This paper proposes a new framework for control system design, called the data-based control approach or data space approach, in which the input and output data of a dynamical system is directly and solely used to analyze or design a control system without the employment of any mathematical models like transfer functions, state space equations, and kernel representations. Since, in this approach, most of the analysis and design processes are carried out in the domain of the data space, we introduce some notions of geometrical objects, e.g., the openloop and closed-loop data spaces, which serve as the system representations in the data space. In addition, we establish a relationship between the open-loop and closed-loop data spaces that the closed-loop data space is contained in the open-loop data space as one of its subspaces. By using this relationship, we can derive the data-based stabilization condition for a linear time-invariant discrete-time system, which leads to a linear matrix inequality with a rank constraint.

  • PDF

Framework for Component-based Modeling/Simulation of Discrete Event Systems

  • Cho, Young-Ik;Kim, Jae-Hyun;Kim, Tag-Gon
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2001.10a
    • /
    • pp.484-484
    • /
    • 2001
  • The sophistication of current software applications results in the increasing cost fur software development time. The component-based software development framework is proposed to overcome the difficulty and time-consuming requirements by modularity and reusability. As is the general software case, a component-based simulation framework encourages the reusability of the real system model based on the modularity of the applied simulation methodology. This paper presents a component-based simulation environment that is based on the DEVS/COM run-time infrastructure. The DEVS (Discrete Event System Specification) formalism provides a formal modeling and simulation framework for the generic dynamic systems [1] and Microsoft's COM (Component Object Model) is one of the strongest competitor fur the component standard. The reusability by the DEVS/COM simulation environment saves model development time remarkably and component technology make simulator itself to be a subparts of real application.

  • PDF

An Optimal Fixed-lag FIR Smoother for Discrete Time-varying State Space Models (이산 시변 상태공간 모델을 위한 최적 고정 시간 지연 FIR 평활기)

  • Kwon, Bo-Kyu;Han, Soohee
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.20 no.1
    • /
    • pp.1-5
    • /
    • 2014
  • In this paper, we propose an optimal fixed-lag FIR (Finite-Impulse-Response) smoother for a class of discrete time-varying state-space signal models. The proposed fixed-lag FIR smoother is linear with respect to inputs and outputs on the recent finite horizon and estimates the delayed state so that the variance of the estimation error is minimized with the unbiased constraint. Since the proposed smoother is derived with system inputs, it can be adapted to feedback control system. Additionally, the proposed smoother can give more general solution than the optimal FIR filter, because it reduced to the optimal FIR filter by setting the fixed-lag size as zero. A numerical example is presented to illustrate the performance of the proposed smoother by comparing with an optimal FIR filter and a conventional fixed-lag Kalman smoother.

SAMPLING ERROR ANALYSIS FOR SOIL MOISTURE ESTIMATION

  • Kim, Gwang-Seob;Yoo, Chul-sang
    • Water Engineering Research
    • /
    • v.1 no.3
    • /
    • pp.209-222
    • /
    • 2000
  • A spectral formalism was applied to quantify the sampling errors due to spatial and/or temporal gaps in soil moisture measurements. The lack of temporal measurements of the two-dimensional soil moisture field makes it difficult to compute the spectra directly from observed records. Therefore, the space-time soil moisture spectra derived by stochastic models of rainfall and soil moisture was used in their record. Parameters for both models were tuned with Southern Great Plains Hydrology Experiment(SGP'97) data and the Oklahoma Mesonet data. The structure of soil moisture data is discrete in space and time. A design filter was developed to compute the sampling errors for discrete measurements in space and time. This filter has the advantage in its general form applicable for all kinds of sampling designs. Sampling errors of the soil moisture estimation during the SGP'97 Hydrology Experiment period were estimated. The sampling errors for various sampling designs such as satedlite over pass and point measurement ground probe were estimated under the climate condition between June and August 1997 and soil properties of the SGP'97 experimental area. The ground truth design was evaluated to 25km and 50km spatial gap and the temporal gap from zero to 5 days.

  • PDF