Efficient descriptor-vector multiplications in stochastic automata networks
- 1 May 1998
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 45 (3) , 381-414
- https://doi.org/10.1145/278298.278303
Abstract
This paper examines numerical issues in computing solutions to networks of stochastic automata. It is well-known that when the matrices that represent the automata contain only constant values, the cost of performing the operation basic to all iterative solution methods, that of matrix-vector multiply, is given by ρ N = Π N i-1 n i × Σ N i=1 n i , where n i is the number of states in the i th automaton and N is the number of automata in the network. We introduce the concept of a generalized tensor product and prove a number of lemmas concerning this product. The result of these lemmas allows us to show that this relatively small number of operations is sufficient in many practical cases of interest in which the automata contain functional and not simply constant transitions. Furthermore, we show how the automata should be ordered to achieve this.Keywords
This publication has 12 references indexed in Scilit:
- Aggregation and reduction techniques for hierarchical GCSPNsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Computing bounds for the performance indices of quasi-lumpable stochastic well-formed netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient vector and parallel manipulation of tensor productsACM Transactions on Mathematical Software, 1996
- A characterization of independence for competing Markov chains with applications to stochastic Petri netsIEEE Transactions on Software Engineering, 1994
- Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state spacePerformance Evaluation, 1993
- Aggregation and disaggregation through insensitivity in stochastic Petri netsPerformance Evaluation, 1993
- Stochastic well-formed colored nets and symmetric modeling applicationsIEEE Transactions on Computers, 1993
- A methodology for solving markov models of parallel systemsJournal of Parallel and Distributed Computing, 1991
- Stochastic automata network of modeling parallel systemsIEEE Transactions on Software Engineering, 1991
- Reduced base model construction methods for stochastic activity networksIEEE Journal on Selected Areas in Communications, 1991