Transient analysis of acyclic markov chains
Performance Evaluation
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Reliability modeling and analysis for fault-tolerant computers.
Reliability modeling and analysis for fault-tolerant computers.
Semi-numerical transient analysis of Markov models
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Hi-index | 14.98 |
It is observed that a large number of closed fault-tolerant systems modeled by a continuous-time Markov model referred to as the ARIES model have repeated eigenvalues. It is proven that the rate matrix representing the system is diagonalizable for every closed fault tolerant system modeled by ARIES. Consequently, the Lagrange-Sylvester interpolation formula is applicable to all closed fault-tolerant systems which ARIES models. Since the proof guarantees that the rate matrix is diagonalizable, general methods for solving arbitrary Markov chains can be tailored to solve the ARIES model for the closed systems directly.