A classification and review of timed Markov models of manufacturing systems
CT Papadopoulos, J Li, MEJ O'Kelly - Computers & Industrial Engineering, 2019 - Elsevier
Many problems in manufacturing systems can be formulated via Markov stochastic
modeling. This paper gives a review and classification of timed models of manufacturing …
modeling. This paper gives a review and classification of timed models of manufacturing …
Statistical model checking using perfect simulation
D El Rabih, N Pekergin - … on Automated Technology for Verification and …, 2009 - Springer
We propose to perform statistical probabilistic model checking by using perfect simulation in
order to verify steady-state and time unbounded until formulas over Markov chains. The …
order to verify steady-state and time unbounded until formulas over Markov chains. The …
Perfect simulation and non-monotone markovian systems
Perfect simulation, or coupling from the past, is an efficient technique for sampling the steady
state of monotone discrete time Markov chains. Indeed, one only needs to consider two …
state of monotone discrete time Markov chains. Indeed, one only needs to consider two …
Can signature biometrics address both identification and verification problems?
Handwritten signatures are one of the most socially acceptable and traditionally used
person identification and authentication metric. Although a number of authentication systems …
person identification and authentication metric. Although a number of authentication systems …
Statistical model checking for steady state dependability verification
D El Rabih, N Pekergin - 2009 Second International …, 2009 - ieeexplore.ieee.org
We propose to apply the perfect simulation to perform statistical model checking of large
Markov chains. Perfect simulation is an extension of Monte Carlo Markov Chain (MCMC) …
Markov chains. Perfect simulation is an extension of Monte Carlo Markov Chain (MCMC) …
Steady state property verification of very large systems
D El Rabih, G Gorgo, N Pekergin… - … Journal of Critical …, 2011 - inderscienceonline.com
Model checking of probabilistic models can be done either by numerical analysis or by
simulation and statistical methods. In this paper, we compare the efficiency and the …
simulation and statistical methods. In this paper, we compare the efficiency and the …
Steady-state property verification: a comparison study
DE Rabih, N Pekergin, G Gorgo… - … on Verification and …, 2010 - scienceopen.com
Model checking of probabilistic models can be done either by numerical analysis or by
simulation and statistical methods. In this paper, we compare the efficiency and the …
simulation and statistical methods. In this paper, we compare the efficiency and the …
Queuing network models analysis based on CPN
L Zhu, H Zhang - 2009 Second International Conference on …, 2009 - ieeexplore.ieee.org
A Queuing Network Models analysis method based on CPN is put forward. The method
transformed queuing network models to hierarchical Colored Petri Nets model. It added …
transformed queuing network models to hierarchical Colored Petri Nets model. It added …
Psi2: Envelope perfect sampling of non monotone systems
The famed perfect sampling method of Propp and Wilson uses a backward coupling scheme
to compute unbiased samples of the stationary distribution of Markov chains. It has been …
to compute unbiased samples of the stationary distribution of Markov chains. It has been …
Perfect sampling of load sharing policies in large scale distributed systems
G Gorgo, JM Vincent - … Conference on Analytical and Stochastic Modeling …, 2010 - Springer
This article presents a performance evaluation method for the dimensioning of load sharing
policies in high performance distributed systems such as clusters and grids. Even for …
policies in high performance distributed systems such as clusters and grids. Even for …