Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
Authors:
- 1 August 2000
- journal article
- Published by Institute for Operations Research and the Management Sciences (INFORMS) in INFORMS Journal on Computing
- Vol. 12 (3) , 203-222
Abstract
We present new algorithms for the solution of large structured Markov models whose infinitesimal generator can be expressed as a Kronecker expression of sparse matrices. We then compare them with the shuffle-based method commonly used in this context and show how our new algorithms can be advantageous in dealing with very sparse matrices and in supporting both Jacobi-style and Gauss-Seidel-style methods with appropriate multiplication algorithms. Our main contribution is to show how solution algorithms based on Kronecker expression can be modified to consider probability vectors of size equal to the “actual” state space instead of the “potential” state space, thus providing space and time savings. The complexity of our algorithms is compared under different sparsity assumptions. A nontrivial example is studied to illustrate the complexity of the implemented algorithms.Keywords
This publication has 23 references indexed in Scilit:
- SMART: simulation and Markovian analyzer for reliability and timing2002
- Hierarchical structuring of superposed GSPNs2002
- Structured analysis approaches for large Markov chainsApplied Numerical Mathematics, 1999
- A Toolbox for Functional and Quantitative Analysis of DEDS1998
- An Aggregation/Disaggregation Algorithm for Stochastic Automata NetworksProbability in the Engineering and Informational Sciences, 1997
- Storage alternatives for large structured state spaces1997
- A class of hierarchical queueing networks and their analysisQueueing Systems, 1994
- Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets1993
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Kronecker products and shuffle algebraIEEE Transactions on Computers, 1981