State space exploration in Markov models

Proceedings of the 1992 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS/PERFORMANCE 1992

Volumn , Issue , 1992, Pages 152-166

  De Souza, Edmundo ^a   Ochoa, Pedro Mejia ^b  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b Hondutel Tegulcigalpa ^*  (Honduras)

Author keywords

[No Author keywords available]

Indexed keywords

SPACE RESEARCH;

CARDINALITIES; DEPENDABILITY ANALYSIS; MODEL SOLUTION; NUMBER OF STATE; PERFORMABILITY; REAL SYSTEMS; STATE SPACE EXPLORATION; TRANSITION RATE MATRIX;

MARKOV PROCESSES;

EID: 84896313272     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/133057.133100     Document Type: Conference Paper

References (32)

1. E. Qinlar. Introduction to Stochastic Processes. Prentice-Hall, 1975.
2. S.N. Chiou and V.O.K. Li. Reliability analysis of a communication network with multimode components. IEEE Journal on Selected Areas in Communications., SAC-4:1156-1161, 1986.
3. P.J. Courtois. Decomposability: Queueing and Computer System Applications. Academic Press, 1977.
4. P.J. Courtois and P. Semal. Bounds for the positive eigenvectors of nonnegative matrices and for their approximations. Journal of the ACM, 31:804- 825, 1984.
5. P.J. Courtois and P. Semal. Computable bounds for conditional steady-state probabilities in large Markov chains and queueing models. IEEE Journal on Selected Areas in Communications, SAC- 4(6):926-937, 1986.
6. E. de Souza e Silva and H.R. Gail. Calculating cumulative operational time distributions of re-pairable computer systems. IEEE Trans, on Computers, C-35(4):322-332, 1986.
7. E. de Souza e Silva and H.R. Gail. Calculating availability and performability measures of re-pairable computer systems using randomization. Journal of the ACM, 36(1): 171-193, 1989.
8. E. de Souza e Silva and H.R. Gail. Performability analysis of computer systems: from model specification to solution. Technical Report RC 16961, T.J. Watson Research Center, 1991 (to appear Performance Evaluation).
9. E. de Souza e Silva and P. Mejia Ochoa. State space exploration in markov models. Technical Report 09-91, Federal University of Rio de Janeiro, NCE, September 1991.
10. D.D. Dimitrijevic and M.-S. Chen. An integrated algorithm for probabilistic protocol verification and evaluation. In Proceedings of INFOCOM'89, 1989.
11. D.D. Dimitrijevic and M.-S. Chen. Dynamic state exploration in quantitative protocol analysis. In Protocol Specification, Testing, and Verification, IX, pages 327-338. North-Holland, 1990.
12. G.H. Golub and C.F. van Loan. Matrix Computation. Johns Hopkins University Press, second edition, 1989.
13. A. Goyal. System Availability Estimator (SAVE). User's Manual. IBM, 1988.
14. A. Goyal, W.C. Carter, E. de Souza Silva, S.S. Lavenberg, and K.S. Trivedi. The system availabil-ity estimator. In Proceedings of FTCS-16, pages 84-89, 1986.
15. A. Goyal, S.S. Lavenberg, and K.S. Trivedi. Probabilistic modeling of computer system availability. Annals of Operations Research, 8:285-306, 1987.
16. W.K. Grassman. Rounding errors in some recursive methods used in computational probability. Technical Report 73, Dept. of Operations Research, 1983.
17. W.K. Grassmann. Finding transient solutions in Markovian event systems through randomization. In The First International Conference on the Numerical Solution of Markov Chains, pages 375-395, 1990.
18. D. Gross and D.R. Miller. The randomization technique as a modeling tool and solution procedure for transient Markov processes. Operations Research, 32(2):343-361, 1984.
19. D.P. Heyman and M.J. Sobel. Stochastic Models in Operations Research, Volume I. McGraw-Hall, 1982.
20. ISO/SC21/WG1/FDT-A. Guidelines for the application of estelle, lotus and sdl. Technical Report Project/97.21.9/Q48.2 CCITT/SG/X/Q7, ISO, 1987.
21. ISO/TC97/SC21/WG1/DIS9074. Estelle - A Formal Description Technique Based on an Extended State Transition Model. ISO, 1987.
22. A.M. Johnson Jr. and M. Malek. Survey of software tools for evaluating reliability, availability and serviceability. ACM Computing Surveys, 20:227-271, 1988.
23. J.G. Kemeny and J.L. Snell. Finite Markov Chains, 2nd Edition. Springer-Verlag, 1987.
24. V.O.K. Li and J.A. Silvester. Performance analysis of networks with unreliable components. IEEE Trans, on Communications, COM-32(10):1105- 1110, 1984.
25. N.F. Maxemchuck and K. Sabnani. Probabilistic verification of communication protocols. In Proceedings of Protocol Specification, Testing, and Verification VII, pages 307-319, 1987.
26. J.F. Meyer. On evaluating the performability of degradable computing systems. IEEE Trans, on Computers, C-29(8):720-731, 1980.
27. J.F. Meyer. Performability: A retrospective and some pointers to the future. Technical report, University of Michigan, 1991.
28. R.R. Muntz, E. de Souzae Silva, and A. Goyal. Bounding availability of repairable computer systems. IEEE Trans, on Computers, 38(12):1714- 1723, 1989.
29. R.R. Muntz and J.C.S. Lui. Evaluating bounds on steady state availability from Markov models of repairable systems. In The First International Conference on the Numerical Solution of Markov Chains, pages 469-489, 1990.
30. K.S. Trivedi. Probability and Statistics with Reliability, Queueing and Computer Science Applications. Prentice-Hall, 1982.
31. C.-L. Yang and P. Kubat. Efficient computation of most probable states for communication networks with multimode components. IEEE Trans, on Communications, 37(5):535-538, 1989.
32. D.M. Young. Iterative Solution of Large Linear Systems. Academic Press, 1971.