Product form approximations for communicating Markov processes

Performance Evaluation

Volumn 67, Issue 9, 2010, Pages 797-815

  Buchholz, Peter ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Approximate analysis; Numerical analysis; Product form; Stochastic automata networks

Indexed keywords

APPROXIMATE ANALYSIS; ARBITRARY NETWORKS; EUCLIDEAN NORM; GENERAL THEORY; HIGHER ORDER; KRONECKER PRODUCT; MARKOV CHAIN; MATRIX; PRODUCT FORMS; RESIDUAL VECTORS; STOCHASTIC AUTOMATA; STOCHASTIC AUTOMATA NETWORKS;

APPROXIMATION ALGORITHMS; MARKOV PROCESSES; NUMERICAL ANALYSIS; ROBOTS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; TRANSLATION (LANGUAGES);

AUTOMATA THEORY;

EID: 77955306465     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2009.12.005     Document Type: Article

References (36)

1. F. Baskett, K.M. Chandy, R.R. Muntz, and F.G. Palacios Open, closed and mixed networks of queues with different classes of customers Journal of the ACM 22 1975 248 260
2. F.P. Kelly Networks of queues Advances in Applied Probability 8 1976 416 432
3. E. Gelenbe The first decade of G-networks European Journal of Operational Research 126 2 2000 231 232
4. W. Henderson, D. Lucic, and P.G. Taylor A net level performance analysis of stochastic Petri nets Journal of Australian Mathematical Society, Series B 31 1989 176 187
5. G. Balbo, S.C. Bruell, and M. Sereno Product form solution for generalized stochastic Petri nets IEEE Transactions on Software Engineering 28 10 2002 915 932
6. R.J. Boucherie A characterization of independence for competing Markov chains with applications to stochastic Petri nets IEEE Transactions on Software Engineering 20 7 1994 536 544
7. G. Clark, and J. Hillston Product form solution for an insensitive stochastic process algebra structure Performance Evaluation 50 2/3 2002 129 151
8. J.M. Fourneau, B. Plateau, and W.J. Stewart An algebraic condition for product form in stochastic automata networks without synchronizations Performance Evaluation 65 1112 2008 854 868
9. J.M. Fourneau Product form steady-state distribution for stochastic automata networks with domino synchronizations N. Thomas, C. Juiz, EPEW Lecture Notes in Computer Science vol. 5261 2008 Springer 110 124
10. P.G. Harrison Reversed processes, product forms and a non-product form Linear Algebra and Its Applications 386 2004 359 381
11. P.G. Harrison, and T.T. Lee Separable equilibrium state probabilities via time reversal in Markovian process algebra Theoretical Computer Science 346 1 2005 161 182
12. Rajan Suri Robustness of queuing network formulas Journal of ACM 30 3 1983 564 594
13. J. Chen, and Y. Saad On the tensor SVD and the optimal low rank orthogonal approximation of tensors SIAM Journal of Matrix Analysis and Applications 30 4 2008 1709 1734
14. L. De Lathauwer, B. De Moor, and J. Vandwalle On the best rank-1 and rank-(r 1, r 2,..., r n) approximation of higher-order tensors SIAM Journal on Matrix Analysis and Applications 21 4 2000 1324 1342
15. L. Grasedyck Existence and computation of low Kronecker-rank approximations for large linear systems of tensor product structure Computing 72 34 2004 247 265
16. W.P. Krijnen Convergence of the sequence of parameters generated by alternating least squares algorithms Computational Statistics and Data Analysis 51 2006
17. P. Buchholz A framework for the hierarchical analysis of discrete event dynamic systems Habilitationsschrift, Fachbereich Informatik, Universitt Dortmund 1996
18. B. Plateau On the stochastic structure of parallelism and synchronisation models for distributed algorithms ACM Performance Evaluation Review 13 1985 142 154
19. W.J. Stewart Introduction to the Numerical Solution of Markov Chains 1994 Princeton University Press
20. J. Hillston, A compositional approach for performance modelling. Ph.D. Thesis, University of Edinburgh, Dep. of Comp. Sc., 1994
21. H. Hermanns Interactive Markov Chains: The Quest for Quantified Quality Lecture Notes in Computer Science vol. 2428 2002 Springer
22. S. Donatelli Superposed stochastic automata: A class of stochastic Petri nets amenable to parallel solution Performance Evaluation 18 1994 21 36
23. G. Golub, and C. Van Loan Matrix Computations 1996 John Hopkins University Press
24. P. Buchholz Structured analysis approaches for large Markov chains Applied Numerical Mathematics 31 4 1999 375 404
25. P. Buchholz, and T. Dayar Comparison of multilevel methods for Kronecker based Markovian representations Computing 73 2004 349 371
26. P. Buchholz An adaptive decomposition approach for the analysis of stochastic Petri nets Performance Evaluation 56 14 2004 23 52
27. G. Ciardo, A.S. Miner, and S. Donatelli Using the exact state space of a model to compute approximate stationary measures J. Kurose, P. Nain, Proc. ACM Sigmetrics 2000 ACM Press 207 216
28. T. Zhang, and G. Golub Rank one approximations to high order tensors SIAM Journal of Matrix Analysis and Applications 23 2 2008 534 550
29. G. Ciardo, and K. Trivedi A decomposition approach for stochastic reward net models Performance Evaluation 18 1994 37 59
30. C.L. Lawson, and R.J. Hanson Solving Least Squares Problems Classics in Applied Mathematics vol. 15 1995 SIAM
31. J. Cantarella, and M. Piatek Tsnnls: A Solver for Large Sparse Least Squares Problems with Non-Negative Variables 2004
32. P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper Complexity of Kronecker operations and sparse matrices with applications to the solution of Markov models INFORMS Journal on Computing 12 3 2000 203 222
33. P. Buchholz Hierarchical structuring of superposed GSPNs IEEE Transactions on Software Engineering 25 2 1999 166 181
34. P. Buchholz, and P. Kemper Kronecker based matrix representations for large Markov chains B. Haverkort, H. Hermannsand, M. Siegle, Validation of Stochastic Systems LNCS vol. 2925 2004 256 295
35. H. DeRemigio, M. Drew LaMar, P. Kemper, and G.D. Smith Markov chain models of coupled calcium channels: Kronecker representations and iterative solution methods Physical Biology 5 3 2008
36. I.J.B.F. Adan, J. Wessels, and W.H.M. Zijm Analysis of the symmetric shortest queue problem Stochastic Models 6 1990 691 713