Transient Analysis of Acyclic Markov Chains

Abstract Continuous-time Markov chains are commonly used insystem reliability modeling. In this paper, we discuss a method for automatically deriving transient solutions that are symbolic in t for acyclic Markov chains. Our method also includes parametric sensitivity analysis of the transient solution and several cumulative measures associated with Markov chain behavior. We include three examples, one to show the use of our method in evaluating approximate solution techniques, one showing parametric sensitivity analysis of a large Markov model, and one demonstrating the computation of cumulative measures for an acyclic Markov reward process.

[1]  Kishor S. Trivedi,et al.  Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems , 1983, IEEE Transactions on Computers.

[2]  Terry Williams,et al.  Probability and Statistics with Reliability, Queueing and Computer Science Applications , 1983 .

[3]  W. Rudin Principles of mathematical analysis , 1964 .

[4]  Robert S. Swarz,et al.  The theory and practice of reliable system design , 1982 .

[5]  Kishor S. Trivedi,et al.  The Conservativeness of Reliability Estimates Based on Instantaneous Coverage , 1985, IEEE Transactions on Computers.

[6]  C. Loan,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix , 1978 .

[7]  Kishor S. Trivedi,et al.  Hybrid reliability modeling of fault-tolerant computer systems , 1984 .

[8]  R. Creighton Buck,et al.  Introduction to differential equations , 1976 .

[9]  William E. Boyce,et al.  Introduction to Differential Equations , 1969, Ordinary Differential Equations: From Calculus to Dynamical Systems.

[10]  Donald Gross,et al.  The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes , 1984, Oper. Res..

[11]  Vidyadhar G. Kulkarni,et al.  Markov and Markov-Regenerative pert Networks , 1986, Oper. Res..

[12]  M. Neuts,et al.  On the use of phase type distributions in reliability modelling of systems with two components , 1981 .

[13]  Kishor S. Trivedi Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[14]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[15]  A R Sahner,et al.  SPADE: A Tool for Performance and Reliability Evaluation , 1984 .

[16]  Kishor S. Trivedi,et al.  Probabilistic modeling of computer system availability , 1987 .

[17]  Kishor S. Trivedi,et al.  An Aggregation Technique for the Transient Analysis of Stiff Markov Chains , 1986, IEEE Transactions on Computers.

[18]  Kang G. Shin,et al.  Error Detection Process - Model, Design, and Its Impact on Computer Performance , 1984, IEEE Trans. Computers.