discrete state space model
Abstraction In Model Checking Real-Time Temporal Logic of Knowledge
... the state space explosion problem in model checking real-time temporal logic of knowledge, we present the abstraction techniques: the infinite state space of a real time interpreted ...
9
Online State Space Model Parameter Estimation in Synchronous Machines
... the model. On the other hand, the discrete equations are difference not differential type; this causes the discrete equations to be easy for ...generator model with sample time ‘h’ and use the ...
9
Continuous state-space representation of a bucket-type rainfall-runoff model: a case study with the GR4 model using state-space GR4 (version 1.0)
... mathematical model from the computational model (Kavetski and Clark, 2010; Gupta et ...continuous state-space representation of a rainfall–runoff ...A state-space representation ...
15
Neimark Sacker bifurcation for the discrete delay Kaldor model
... a discrete – delay time, Kaldor non – linear business cycle model in income and ...to state the local stability property and local bifurcations, in the parameter ...
10
Fuzzy Semi-Markov Model with Weighted Fuzzy Transitions
... possibility space and since the computation using max-min operation are more robust to perturbation when compared to usual addition and multiplication operation; we have followed max-min operation throughout the ...
8
Application of Self-Tuning Control System for Solution of Fault Tolerance Problem
... order model should also be of the Hankel ...The discrete time state space realisation of the process can be determined from the relationship between Markov parameters and representation of the ...
5
Global Sampling for Sequential Filtering over Discrete State Space
... to model dynamic systems. State-space models are used in a variety of fields such as computer vision, financial data anal- ysis, mobile communication, radar systems, among ...hidden state ...
13
Continuous Observation Partially Observable Semi Markov Decision Processes for Machine Maintenance
... POSMDP model has existed for decades, there has been little effort in bridging the gap between POSMDP and machine ...the state set contains only two elements, the maintenance action (repair) is simply ...
20
A Comparison of Detection Performance for Several Track-before-Detect Algorithms
... the state space. When the state is discrete, then linearity is irrel- evant, and estimation techniques such as the hidden Markov model (Baum-Welsh) filter or smoother [1] and the ...
10
Optimal and unbiased FIR filtering in discrete time state space with smoothing and predictive properties
... linear discrete time-invariant state-space ...initial state function by solving the ...polynomial model and inves- tigated errors in the OFIR and UFIR ...
8
Automated parallelization of discrete state-space generation
... We report on data collected on solution of a system model discussed earlier in the literature. We considered two variations that di er in the notion of \load". One method balances extant classes without ...
24
A note on input to state stabilization for nonlinear sampled data systems
... approximate discrete-time models that is applicable to general plant models, controllers and ap- proximate discrete-time models was rst presented in [8, ...approximate discrete-time plant models (for ...
12
A Gaussian Mixture Approach to Blind Equalization of Block-Oriented Wireless Communications
... In this paper, we introduced a new blind receiver for soft- output equalization. The proposed method, adapted from an earlier work on fixed-interval blind MIMO demodulation, is well suited for block transmissions. In ...
10
Multi-population mortality model in a state-space framework
... mortality model which incorporates the quadratic-age effect in an augmented common factor ...proposed model is reformulated into unified estimation procedure via state-space ...
36
5. Stabilizing output feedback receding horizon control of sampled-data nonlinear systems via discrete-time approximations
... of state feedback RHCs that stabilize the approximate discrete-time model also practically stabilize the exact discrete-time model for sufficiently small integration and/or sampling ...
14
Discrete-Space Analysis of Partial Differential Equations
... There are numerous examples that arise and benefit from the reachability analysis problem. In cyber-physical systems (CPS), most dynamic phenomena are described as systems of ordinary differential equations (ODEs). ...
11
Forecasting macroeconomic variables using a structural state space model
... macroeconomic model in state space form, the second is to demonstrate that it produces accurate ...structural state space macroeconomic model to Australian ...forms model ...
20
Discrete Space Agglomeration Model with Social Interactions: Multiplicity, Stability, and Continuous Limit of Equilibria
... sequence of being a potential game is that the equilibrium can be characterized with a finite-dimensional optimization problem. Indeed, by assuming that the pairwise interaction cost between cells is symmetric, we can ...
40
Linear system identification of longitudinal vehicle dynamics versus nonlinear physical modelling
... The numerical search algorithm can be initialised, as here, using a subspace state-space system identification (N4SID) algorithm [11]. The N4SID algorithm requires a number of choices (insight into these ...
7
Properties of Topological Spaces
... Let A be a non-empty subset of a topological space (X, τ ). The class τ A of all intersections of A with τ -open subsets of X is a topology on A; it is called the relative topology on A or the relativizationof τ ...
7