Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
Monotone structure in discrete-event systems
Monotone structure in discrete-event systems
Exact sampling with coupled Markov chains and applications to statistical mechanics
Proceedings of the seventh international conference on Random structures and algorithms
Efficient descriptor-vector multiplications in stochastic automata networks
Journal of the ACM (JACM)
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Efficient Reachability Set Generation and Storage Using Decision Diagrams
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
INFORMS Journal on Computing
On the benefits of using functional transitions and Kronecker algebra
Performance Evaluation
Perfect Simulation of Queueing Networks with Blocking and Rejection
SAINT-W '05 Proceedings of the 2005 Symposium on Applications and the Internet Workshops
Perfect simulation of monotone systems for rare event probability estimation
WSC '05 Proceedings of the 37th conference on Winter simulation
Perfect simulation of index based routing queueing networks
ACM SIGMETRICS Performance Evaluation Review
PEPS2007 - Stochastic Automata Networks Software Tool
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Different Monotonicity Definitions in Stochastic Modelling
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Statistical Model Checking Using Perfect Simulation
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Simulation of Markovian models using bootstrap method
Proceedings of the 2010 Summer Computer Simulation Conference
Steady state property verification of very large systems
International Journal of Critical Computer-Based Systems
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
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
Hi-index | 0.00 |
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of parallel and distributed systems. However, iterative numerical algorithms, even well-fitted to a multidimensional structured representation of Markov chains, still face the state space explosion problem. Discrete-event simulations can estimate the stationary distribution based on long run trajectories and are also alternative methods to estimate performance indexes of models. Perfect simulation algorithms directly build steady-state samples avoiding the warm-up period and the initial state bias of forward simulations. This paper introduces the concepts of backward coupling and the advantages of monotonicity properties and component-wise characteristics to simulate Stochastic Automata Networks (SAN). The main contribution is a novel technique to solve SANdescriptions originally unsolvable by iterative methods due to large state spaces. This method is extremely efficient when the state space is large and the model has dynamic monotonicity because it is possible to contract the reachable state space in a smaller set of maximal states. Component-wise characteristics also contribute to the state space reduction extracting extremal states of the model underlying chain. The efficiency of this technique applied to sample generation using perfect simulation is compared to the overall efficiency of using an iterative numerical method to predict performance indexes of SANmodels.