A methodology for solving Markov models of parallel systems
Journal of Parallel and Distributed Computing
Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
Aggregation and disaggregation through insensitivity in stochastic Petri nets
Performance Evaluation
Arrival theorems for product-form stochastic Petri nets
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Efficient vector and parallel manipulation of tensor products
ACM Transactions on Mathematical Software (TOMS)
Quantitative Methods in Parallel Systems
Quantitative Methods in Parallel Systems
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Using the exact state space of a Markov model to compute approximate stationary measures
Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Triangular solution of linear systems in tensor product format
ACM SIGMETRICS Performance Evaluation Review
Distributed and structured analysis approaches to study large and complex systems
Lectures on formal methods and performance analysis
Representing software usage models with stochastic automata networks
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
An iterative bounding method for stochastic automata networks
Performance Evaluation
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Performance Evaluation: Origins and Directions
An Algorithmic Approach to Stochastic Bounds
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
The Möbius State-Level Abstract Functional Interface
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Iterative disaggregation for a class of lumpable discrete-time stochastic automata networks
Performance Evaluation
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
The Kronecker product and stochastic automata networks
Journal of Computational and Applied Mathematics
On the benefits of using functional transitions and Kronecker algebra
Performance Evaluation
Modular Analytical Performance Models for Ad Hoc Wireless Networks
WIOPT '05 Proceedings of the Third International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks
Implicit data structures for logic and stochastic systems analysis
ACM SIGMETRICS Performance Evaluation Review
Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems
Future Generation Computer Systems - Systems performance analysis and evaluation
Analytical modeling of random waypoint mobility patterns
Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks
System-level performance/power analysis for platform-based design of multimedia applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Structured analysis techniques for large Markov chains
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Saturation for a General Class of Models
IEEE Transactions on Software Engineering
Exploiting interleaving semantics in symbolic state-space generation
Formal Methods in System Design
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams
ACM SIGMETRICS Performance Evaluation Review
Product form for stochastic automata networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Split: a flexible and efficient algorithm to vector-descriptor product
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Computational Probability for Systems Biology
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Perfect Simulation of Stochastic Automata Networks
ASMTA '08 Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications
Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Modelling Grid5000 point availability with SAN
Electronic Notes in Theoretical Computer Science (ENTCS)
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing
ACM SIGMETRICS Performance Evaluation Review
Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
From Coordination to Stochastic Models of QoS
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Memory efficient analysis for a class of large structured Markov chains: work in progress
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Complex synchronizations in Markovian models: a tensor-based proof of product form
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Analytical Modeling for Operating System Schedulers on NUMA Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance modelling and Markov chains
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Data representation and efficient solution: a decision diagram approach
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Collaboration of discrete-time Markov chains: Tensor and product form
Performance Evaluation
Kronecker descriptor partitioning for parallel algorithms
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Approximated tensor sum preconditioner for stochastic automata networks
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Simulation of Markovian models using bootstrap method
Proceedings of the 2010 Summer Computer Simulation Conference
Stochastic Model for QoS Assessment in Multi-tier Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance Evaluation of Software Development Teams: a Practical Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
SIAM Journal on Scientific Computing
A framework to decompose GSPN models
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Efficient vector-descriptor product exploiting time-memory trade-offs
ACM SIGMETRICS Performance Evaluation Review
Markovian queueing network with complex synchronizations: Product form and tensor
Performance Evaluation
A fine-grained fullness-guided chaining heuristic for symbolic reachability analysis
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors
Journal of Parallel and Distributed Computing
SAN lite-solver: a user-friendly software tool to solve SAN models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns
Electronic Notes in Theoretical Computer Science (ENTCS)
On the numerical solution of Kronecker-based infinite level-dependent QBD processes
Performance Evaluation
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
Science of Computer Programming
Hi-index | 0.01 |
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 rN=i=1N ni×i=1N ni where ni is the number of states in the ith 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.