By combining in a novel way the randomization method with the stationary detection technique, we develop two new algorithms for the computation of the expected reward rates of finite, irreducible Markov reward models, with control of the relative error. The first algorithm computes the expected transient reward rate and the second one computes the expected averaged reward rate. The algorithms are numerically stable. Further, it is argued that, from the point of view of run-time computational cost, for medium-sized and large Markov reward models, we can expect the algorithms to be better than the only variant of the randomization method that allows to control the relative error and better than the approach that consists in employing iterativ...
We study the optimization of average rewards of discrete time nonhomogeneous Markov chains, in which...
Probabilistic model-checking is a field which seeks to automate the formal analysis of probabilistic...
Reward models have become an important method for specifying performability models for many types of...
By combining in a novel way the randomization method with the stationary detection technique, we dev...
Markov reward models have interesting modeling applications, particularly those addressing fault-tol...
Rewarded homogeneous continuous-time Markov chain (CTMC) models can be used to analyze performance, ...
In recent years probabilistic model checking has become an important area of research because of the...
Randomization is a well-known numerical method for the transient analysis of continuous-time Markov ...
In this paper we generalize a method (called regenerative randomization) for the transient solution ...
Abstract—Rewarded homogeneous continuous-time Markov chain (CTMC) models can be used to analyze perf...
Abstract. We consider a discrete time, ®nite state Markov reward process that depends on a set of pa...
Costs and rewards are important ingredients for cyberphysical systems, modelling critical aspects li...
Costs and rewards are important ingredients for many types of systems, modelling critical aspects li...
A generally applicable discretization method for computing the transient distribution of the cumulat...
We propose a simulation-based algorithm for optimizing the average reward in a Markov Reward Process...
We study the optimization of average rewards of discrete time nonhomogeneous Markov chains, in which...
Probabilistic model-checking is a field which seeks to automate the formal analysis of probabilistic...
Reward models have become an important method for specifying performability models for many types of...
By combining in a novel way the randomization method with the stationary detection technique, we dev...
Markov reward models have interesting modeling applications, particularly those addressing fault-tol...
Rewarded homogeneous continuous-time Markov chain (CTMC) models can be used to analyze performance, ...
In recent years probabilistic model checking has become an important area of research because of the...
Randomization is a well-known numerical method for the transient analysis of continuous-time Markov ...
In this paper we generalize a method (called regenerative randomization) for the transient solution ...
Abstract—Rewarded homogeneous continuous-time Markov chain (CTMC) models can be used to analyze perf...
Abstract. We consider a discrete time, ®nite state Markov reward process that depends on a set of pa...
Costs and rewards are important ingredients for cyberphysical systems, modelling critical aspects li...
Costs and rewards are important ingredients for many types of systems, modelling critical aspects li...
A generally applicable discretization method for computing the transient distribution of the cumulat...
We propose a simulation-based algorithm for optimizing the average reward in a Markov Reward Process...
We study the optimization of average rewards of discrete time nonhomogeneous Markov chains, in which...
Probabilistic model-checking is a field which seeks to automate the formal analysis of probabilistic...
Reward models have become an important method for specifying performability models for many types of...