continuous-time Markov chain model
Counterexample Generation for Conditional Probability in Probabilistic Model Checking
... of model checking techniques, approximate and effective model checking on multiple until formulae (k>2) become an open research problem and more and more importance in the field of system ...on ...
8
An Analysis of Exchange Rate Regime Duration
... a continuous time variable, a continuous time Markov chain model is appropriate in analyzing the regime dynamics 2 ...state continuous time Markov ...
7
A Stochastic SIVS Epidemic Model Based on Birth and Death Process
... the continuous time Markov chain model and the stochastic dif- ferential equation model based on birth and death process [4] [14] [16] are formulated based on the deterministic ...
12
Simulation algorithms for continuous time Markov chain models
... network model originates from random movement of discrete “individuals” from node to ...transportation model to describe the system behavior should account for size of groups in which pigs are transported ...
18
Mapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters
... proper model which is the securest and the most ...embedded Continuous Time Markov Chain (CTMC) is derived from the GSPN and the Markov chain theory is used to obtain the ...
12
Model checking of continuous time Markov Chains against timed automata specifications
... finite continuous-time Markov chain ( CTMC ) C against a linear real-time specification given as a deterministic timed automaton ( DTA ) A with finite or Muller acceptance ...
35
Stochastic differential equation for two-phase growth model
... growth model to pure death process in stochastic ...growth model using control regime, while Zheng [11] built a two-phase population growth model considering the existence of a critical population ...
31
Structure-based software reliability prediction*
... reliability model- ing are black-box based, ...to model the overall failure process of such systems us- ing only one of the several software reliability growth ...discrete time Markov ...
6
Continuous Time Markov Chain Models of Voltage Gating of Gap Junction Channels
... DTMC model [13], but CTMC modeling required significantly less CPU ...DTMC model at chosen voltage value, while the same calculation took ...CTMC model was ...
10
Variance Optimization for Continuous Time Markov Decision Processes
... The Postal Service Company’s catalogue information system, inventory issues, and supply chain management issues are all early successful applications of the Markov decision process. Later, many real-life ...
15
PERFORMANCE EVALUATION AND OPTIMIZATION OF BLOCKING PROBABILITY IN PASSIVE OPTICAL BURST SWITCHING NETWORKBharti Tagra, Sukhvinder Kaur, Dr. Amit Wason
... a continuous- time Markov chain based on a generalized Engset model and focused specifically on critical load and other given levels of high utilization conditions and evaluated the ...
5
Markov Chain Application in Object Oriented Software Designing
... In the field of software engineering, a new modeling language was launched and approved as a standard modeling language for designing the object-oriented systems by the Object Management Group (OMG) in the year of 1997. ...
6
A mathematical model for the occupation rate in a neighborhood
... order Markov chain prediction model. This Markov chain prediction model uses the fit distribution of the transitions in a forward moving interval with time span of 15 ...
58
Application of Weighted Markov Chain in Precipitation Forecast in Beijing
... Weighted Markov AR-GARCH-GED Model in the Prediction of ...fuzzy Markov chain model with weights and its application in predicting the precipitation ...
5
Bandwidth selection for continuous time Markov processes
... In both the scalar and the multidimensional case, consistency and mixed normality of the drift and variance estimator and, hence, of the full system’s dynamics rely on the proper choice [r] ...
60
Empirical Noise Modelling in Power Line Communication Systems
... (AR) model to model PLC colored background ...AR model can be regarded as a finite impulse response (FIR) filter to modify the input sequences to get the output sequences that is ...AR model ...
9
Large scale dynamics and fluctuations in non equilibrium stochastic particle systems
... where h i ∗ denote the stationary expectation as defined in (2.58). Given these premises, the MFT in its general form is able to provide a joint LDP and rate function for the density and current profiles (see Equation ...
141
The connected component of the partial duplication graph
... extended model of Th¨ ornblad (2015), also studied by Backhausz and M´ori (2016), at each time step a single vertex is chosen, and duplicated with probability θ and its edges deleted with probability 1 − ...
16
Particle filtering for continuous-time hidden Markov models
... Abstract. We consider continuous-time models where the observed process depends on an unob- served jump Markov Process. We develop a sequential Monte Carlo algorithm which makes it possible to filter ...
6
Evaluation Criteria for Reliability in Computer Systems
... Abstract: Numerical methods, particularly finite element methods, are widely used in solving different problems. Since these methods are approximate, having a real understanding of the distribution of errors is extremely ...
5