This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems with deferred repair. We start by stating sufficient conditions for a given importance sampling scheme to satisfy the bounded relative error property. Using those sufficient conditions, it is noted that many previously proposed importance sampling schemes such as failure biasing and balanced failure biasing satisfy that property. Then, we adapt the importance sampling schemes failure transition distance biasing and balanced failure transition distance biasing so as to develop new importance sampling schemes which can be implemented with moderate effort and at the same time can be proved to be more efficient for balanced systems than the simple...
Thi s paper considers e f i c i en t simulation techniques f o r estimating steady-state quantities ...
Randomization is an attractive alternative for the transient analysis of continuous time Markov mod...
Piecewise deterministic Markov processes (PDMPs) can be used to model complex dynamical industrial s...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
Markov models are often used to evaluate dependability attributes of fault-tolerant computer systems...
Simulation methods have recently been developed for the solution of the extremely large Markovian de...
. This paper considers efficient simulation techniques for estimating steady-state quantities in mod...
A numerically stable method is developed which computes seemingly tight bounds at a small computati...
Probabilistic model checking has been used recently to assess, among others, dependability measures ...
An approach for simulating models of highly dependable systems with general failure and repair time ...
Continuous-time Markov chains are commonly used for dependability modeling of repairable fault-toler...
The transient analysis of large continuous time Markov reliability models of repairable fault-tolera...
Markov models are commonly used to asses the dependability/performability of fault-tolerant systems...
The (standard) randomization method is an attractive alternative for the transient analysis of conti...
Thi s paper considers e f i c i en t simulation techniques f o r estimating steady-state quantities ...
Randomization is an attractive alternative for the transient analysis of continuous time Markov mod...
Piecewise deterministic Markov processes (PDMPs) can be used to model complex dynamical industrial s...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
Markov models are often used to evaluate dependability attributes of fault-tolerant computer systems...
Simulation methods have recently been developed for the solution of the extremely large Markovian de...
. This paper considers efficient simulation techniques for estimating steady-state quantities in mod...
A numerically stable method is developed which computes seemingly tight bounds at a small computati...
Probabilistic model checking has been used recently to assess, among others, dependability measures ...
An approach for simulating models of highly dependable systems with general failure and repair time ...
Continuous-time Markov chains are commonly used for dependability modeling of repairable fault-toler...
The transient analysis of large continuous time Markov reliability models of repairable fault-tolera...
Markov models are commonly used to asses the dependability/performability of fault-tolerant systems...
The (standard) randomization method is an attractive alternative for the transient analysis of conti...
Thi s paper considers e f i c i en t simulation techniques f o r estimating steady-state quantities ...
Randomization is an attractive alternative for the transient analysis of continuous time Markov mod...
Piecewise deterministic Markov processes (PDMPs) can be used to model complex dynamical industrial s...