Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models

INFORMS Journal on Computing

Volumn 12, Issue 3, 2000, Pages 203-222

  Buchholz, Peter ^a   Ciardo, Gianfranco ^b   Donatelli, Susanna ^c   Kemper, Peter ^d  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b Dept of Economics and Thomas Jefferson Program in Public Policy at the College of William and Mary   (United States)

^c UNIVERSITY OF TURIN   (Italy)

^d TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Kronecker algebra; Sparse matrices

Indexed keywords

EID: 0000800371     PISSN: 10919856     EISSN: None     Source Type: Journal    
DOI: 10.1287/ijoc.12.3.203.12634     Document Type: Article

References (30)

1. Ajmone Marsan, M., G. Balbo, G. Conte. 1984. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comp. Syst. 2, 93-122.
2. Ajmone Marsan, M., G. Balbo, G. Conte, S. Donatelli, G. Franceschinis. 1995. Modelling with Generalized Stochastic Petri Nets. Wiley, New York.
3. Bause, F., P. Buchholz, P. Kemper. 1998. A toolbox for functional and quantitative analysis of DEDS. R. Puigjaner, N. Savino, B. Serra, eds. Proc. 10th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, lecture notes in Computer Science 1469. Springer-Verlag, Berlin. 356-359.
4. Buchholz, P. 1991. Numerical solution methods based on structured descriptions of Markovian models. G. Balbo and G. Serazzi, eds. Computer Performance Evaluation. Elsevier Science Publishers (North-Holland), Amsterdam. 251-267.
5. Buchholz, P. 1994. A class of hierarchical queueing networks and their analysis. Queueing Systems 15, 59-80.
6. Buchholz, P. 1997a. An aggregation/disaggregation algorithm for stochastic automata networks. Probability in the Engineering and Informational Sciences 11, 229-253.
7. Buchholz, P. 1997b. Hierarchical structuring of superposed GSPNs. Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), St. Malo, France, IEEE Comp. Soc. Press, New York, 81-90.
8. Buchholz, P. 1999. Structured analysis approaches for large Markov chains. Applied Numerical Mathematics 31, 375-404.
9. Ciardo, G., A. Blakemore, P.F.J. Chimento, J.K. Muppala, K.S. Trivedi. 1993. Automated generation and analysis of Markov reward models using stochastic reward nets. C. Meyer and R.J. Plemmons, eds. Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Mathematics and its Applications 48. Springer-Verlag, Berlin. 145-191.
10. Ciardo, G. A.S. Miner. 1996. SMART: simulation and Markovian analyzer for reliability and timing. Proc. IEEE International Computer Performance and Dependability Symposium (IPDS'96), Urbana-Champaign, IL, IEEE Comp. Soc. Press, New York. 60.
11. Ciardo, G., A.S. Miner. 1997. Storage alternatives for large structured state spaces. R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, eds. Proc. 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Lecture Notes in Computer Science 1245, St. Malo, France. Springer-Verlag, Berlin. 44-57.
12. Ciardo, G., M. Tilgner. 1996. On the use of Kronecker operators for the solution of generalized stochastic Petri nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering, Hampton, VA.
13. Davio, M. 1981. Kronecker products and shuffle algebra. IEEE Trans. Comp. C-30, 116-125.
14. Deavours, D.D., W.H. Sanders. 1997a. An efficient disk-based tool for solving very large Markov models. R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, eds. Proc. 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Lecture Notes in Computer Science 1245, St. Malo, Trance. Springer-Verlag, Berlin. 58-71.
15. Deavours, D.D., W.H. Sanders. 1997b. "On-the-fly" solution techniques for stochastic Petri nets and extensions. Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), St. Malo, France. IEEE Comp. Soc. Press, New York. 132-141.
16. Donatelli, S. 1993. Superposed stochastic automata: A class of stochastic Petri nets with parallel solution and distributed state space. Perf. Eval. 18, 21-26.
17. Donatelli, S. 1994. Superposed generalized stochastic Petri nets: Definition and efficient solution. R. Valette, ed. Application and Theory of Petri Nets 1994 (Proc. 15th Int. Conf. on Applications and Theory of Petri Nets), Lecture Notes in Computer Science 815, Zaragoza, Spain. Springer-Verlag, Berlin. 258-277.
18. Fernandes, P., B. Plateau, W.J. Stewart. 1996. Numerical issue for stochastic automata networks. Proc. of the 4th Workshop on Process Algebra and Performance Modelling (PAPM). Technical Report, University of Torino, Torino, Italy.
19. Fernandes, P., B. Plateau, W.J. Stewart. 1998. Efficient descriptor-vector multiplication in stochastic automata networks. Journal of the ACM 45, 381-414.
20. Howard, R.A. 1971. Dynamic Probabilistic Systems, Volume II: Semi-Markov and Decision Processes. Wiley, New York.
21. Kemper, P. 1996a. Numerical analysis of superposed GSPNs. IEEE Trans. Softw. Eng. 22, 615-628.
22. Kemper, P. 1996b. Reachability analysis based on structured representations. J. Billington, W. Reisig, eds. Application and Theory of Petri Nets 1996 (Proc. 17th Int. Conf. on Applications and Theory of Petri Nets, Osaka, Japan), lecture notes in Computer Science 1091, Springer-Verlag, Berlin. 269-288.
23. Kemper, P. 1996c. Superposition of generalized stochastic Petri nets and its impact on performance analysis. Ph.D. thesis, Universität Dortmund, Dortmund, Germany.
24. Lubachevsky, B., D. Mitra. 1986. A chaotic asynchronous algorithm for computing the fixed point of nonnegative matrices with unit spectral radius. J. ACM 33, 130-150.
25. Plateau, B. 1985. On the stochastic structure of parallelism and synchronisation models for distributed algorithms. Proc. 1985 ACM SIGMETRICS Conf. on Measurement and Modeling of Computer Systems, Austin, TX, ACM Sigmetrics, New York, 147-153.
26. Plateau, B., K. Atif. 1991. Stochastic automata network for modeling parallel systems. IEEE Trans. Softw. Eng. 17, 1093-1108.
27. Plateau, B., J.-M. Fourneau. 1991. A methodology for solving Markov models of parallel systems. J. Par. and Distr. Comp. 12, 370-387.
28. Stewart, W.J. 1994. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton, NJ.
29. Stewart, W.J., K. Atif, B. Plateau. 1995. The numerical solution of stochastic automata networks. Eur. J. of Oper. Res. 86, 503-525.
30. Uysal, E., T. Dayar. 1998. Iterative methods based on splittings for stochastic automata networks. Eur. J. Op. Res. 110, 166-186.