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)
Stationary solution approximation using a memory-efficient perfect sampling technique
Proceedings of the 44th Annual Simulation Symposium
Efficient vector-descriptor product exploiting time-memory trade-offs
ACM SIGMETRICS Performance Evaluation Review
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 CTL model checker for stochastic automata networks
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
| Hi-index | 0.00 |
This paper presents a new approach to obtain the Reachable State Space (RSS) of a structured model which uses functional transitions. We use Multi-valued Decision Diagrams (MDD) to store sets of reachable spaces and Stochastic Automata Networks (SAN) formalism to describe structured models. We focus our contribution in the proposal of a method to generate a compact MDD description taking advantage of the modular structure of SAN formalism, which also allows to represent the transition rate matrix of a continuous-time Markov chain by means of a sum of generalized Kronecker products. The method is tested on some models and the conclusion presents future work.