Out-of-core solution of large linear systems of equations arising from stochastic modelling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2399, Issue , 2002, Pages 135-151

  Kwiatkowska, Marta ^a   Mehmood, Rashid ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; LINEAR SYSTEMS; MATRIX ALGEBRA; NUMERICAL METHODS; STOCHASTIC SYSTEMS;

CONVENTIONAL SCHEMES; LINEAR SYSTEMS OF EQUATIONS; OUT-OF-CORE-METHODS; PROBABILITY VECTOR; SOLUTION TECHNIQUES; SPARSITY STRUCTURE; STATE-SPACE EXPLOSION; WORKSTATION CLUSTERS;

MARKOV CHAINS;

EID: 84943255308     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45605-8_9     Document Type: Conference Paper

References (27)

1. Alexander Bell and Boudewijn R. Haverkort. Serial and Parallel Out-of-Core Solution of Linear Systems arising from Generalised Stochastic Petri Nets. In Proc. High Performance Computing 2001, Seattle, USA, April 2001.
2. G. Ciardo and A. Miner. A Data Structure for the Efficient Kronecker Solution of GSPNs. In Proc. 8th International Workshop on Petri Nets and Performance Models (PNPM’99), Zaragoza, 1999.
3. G. Ciardo and M. Tilgner. On the use of Kronecker Operators for the Solution of Generalized Stocastic Petri Nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering, 1996.
4. G. Ciardo and K. S. Trivedi. A Decomposition Approach for Stochastic Reward Net Models. Performance Evaluation, 18(1):37-59, 1993.
5. Gianfrance Ciardo. What a Structural World. In Reinhard German and Boudewijn Haverkort, editors, Proceedings of the 9th International Workshop on Petri Nets and Performance Models, pages 3-16, Aachen, Germany, September 11-14 2001.
6. E. Clarke, M. Fujita, P. McGeer, J. Yang, and X. Zhao. Multi-Terminal Binary Decision Diagrams: An Effificient Data Structure for Matrix Representation. In Proc. International Workshop on Logic Synthesis (IWLS’93), pages 6a:1-15, Tahoe City, May 1993. Also available in Formal Methods in System Design, 10(2/3), 1997.
7. Daniel D. Deavours and William H. Sanders. An Efficient Disk-based Tool for Solving Very Large Markov Models. In Lecture Notes in computer Science: Proceedings of the 9th International Conference on Modelling Techniques and Tools (TOOLS’97), pages 58-71, St. Malo, France, June 1997. Springer-Verlag.
8. Daniel D. Deavours and William H. Sanders. An Efficient Disk-based Tool for Solving Large Markov Models. Performance Evaluation, 33(1):67-84, 1998.
9. Daniel D. Deavours and William H. Sanders. “On-the-fly” Solution Techniques for Stochastic Petri Nets and Extensions. IEEE Transactions on Software Engineering, 24(10):889-902, 1998.
10. S. Donatelli. Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution. Performance Evaluation, 18:21-36, 1993.
11. I. S. Duff, A. M. Erisman, and J. K. Reid. Direct Methods for Sparse Matrices. Oxford Science Publications. Clarendon Press Oxford, (with corrections)1997.
12. G. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Markovian analysis of large finite state machines. IEEE Transactions on CAD, 15(12):1479-1493, December 1996.
13. H. Hansson and B. Jonsson. A Logic for Reasoning about Time and Probability. Formal Aspects of Computing, 6:512-535, 1994.
14. B. Haverkort, H. Hermanns, and J.-P. Katoen. On the Use of Model Checking Techniques for Dependability Evaluation. In Proc. 19th IEEE Symposium on Reliable Distributed Systems (SRDS 2000), pages 228-237, Erlangen, Germany, October 2000.
15. John L. Hennessy and David A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann Publishers, Inc., 2nd edition, 1996.
16. H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In Proc. Numerical Solutions of Markov Chains (NSMC’99), Zaragoza, 1999.
17. O. Ibe and K. Trivedi. Stochastic Petri Net Models of Polling Systems. IEEE Journal on Selected Areas in Communications, 8(9):1649-1657, 1990.
18. William J. Knottenbelt. Parallel Performance Analysis of Large Markov Models. PhD thesis, Imperial College of Science, Technology and Medicine, University of London, 1999.
19. William J. Knottenbelt and Peter G. Harrison. Distributed Disk-based Solution Techniques for Large Markov Models. In Proc. Numerical Solution of Markov Chains (NSMC’99), Zaragoza, 1999.
20. M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic Symbolic Model Checker. In Proc. TOOLS 2002, April 2002.
21. M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. In Proc. TACAS 2002, April 2002.
22. Andrew S. Miner. Efficient Solution of GSPNs using Canonical Matrix Diagrams. In Reinhard German and Boudewijn Haverkort, editors, Proceedings of the 9th International Workshop on Petri Nets and Performance Models, pages 101-110, Aachen, Germany, September 2001.
23. B. Plateau. On the Stochastic Structure of Parallelism and Synchronisation Models for Distributed Algorithms. In Proc. 1985 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, pages 147-153, Austin, TX, USA, May 1985.
24. Yousaf Saad. Iterative Methods for Sparse Linear Systems. PWS Publishing Company, 1996.
25. Markus Siegle. Advances in Model Representations. In Luca de Alfaro and Stephen Gilmore, editors, Proc. PAPM/PROBMIV 2001, Available as Volume 2165 of LNCS, pages 1-22, Aachen, Germany, September 2001. Springer Verlag.
26. W.J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.
27. Sivan Toledo. A Survey of Out-of-Core Algorithms in Numerical Linear Algebra. In James Abello and Jeffrey Scott Vitter, editors, External Memory Algorithms and Visualization, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society Press, Providence, RI, 1999.