This paper presents iterative methods based on splittings (Jacobi, Gauss-Seidel, Successive Over Relaxation) and their block versions for Stochastic Automata Networks (SANs). These methods prove to be better than the power method that has been used to solve SANs until recently. With the help of three examples we show that the time it takes to solve a system modeled as a SAN is still substantial and it does not seem to be possible to solve systems with tens of millions of states on standard desktop workstations with the current state of technology. However, the SAN methodology enables one to solve much larger models than those could be solved by explicitly storing the global generator in the core of a target architecture especially if the ge...
This thesis presents methods and algorithms for the performance evaluation of large state space mode...
This article presents a global overview of recent results concerning stochastic automata networks. A...
This thesis develops techniques for optimizing the numerical evaluation of Markovian models. These t...
Cataloged from PDF version of article.This paper presents iterative methods based on splittings (Jac...
Cataloged from PDF version of article.The generator matrix of a continuous-time stochastic automata ...
this paper we compare different iterations methods to solve the underlying Markov chain based on Sto...
We present new algorithms for computing the solution of large Markov chain models whose generators c...
Cataloged from PDF version of article.Stochastic automata networks (SANs) have been developed and us...
Stochastic automata networks (SANs) have been developed and used in the last fifteen years as a mode...
Stochastic Automata Networks (SAN's) have recently received attention in the literature as an e...
The solution of continuous and discrete-time Markovian models is still challenging mainly when we mo...
Many Markovian stochastic structured modeling formalisms like Petri nets, automata networks and proc...
In this paper we consider some numerical issues in computing solutions to networks of stochastic aut...
Abstract. Analysis of Stochastic Automata Networks (SAN) is a well established approach for modeling...
The description of large state spaces through stochastic struc-tured modeling formalisms like stocha...
This thesis presents methods and algorithms for the performance evaluation of large state space mode...
This article presents a global overview of recent results concerning stochastic automata networks. A...
This thesis develops techniques for optimizing the numerical evaluation of Markovian models. These t...
Cataloged from PDF version of article.This paper presents iterative methods based on splittings (Jac...
Cataloged from PDF version of article.The generator matrix of a continuous-time stochastic automata ...
this paper we compare different iterations methods to solve the underlying Markov chain based on Sto...
We present new algorithms for computing the solution of large Markov chain models whose generators c...
Cataloged from PDF version of article.Stochastic automata networks (SANs) have been developed and us...
Stochastic automata networks (SANs) have been developed and used in the last fifteen years as a mode...
Stochastic Automata Networks (SAN's) have recently received attention in the literature as an e...
The solution of continuous and discrete-time Markovian models is still challenging mainly when we mo...
Many Markovian stochastic structured modeling formalisms like Petri nets, automata networks and proc...
In this paper we consider some numerical issues in computing solutions to networks of stochastic aut...
Abstract. Analysis of Stochastic Automata Networks (SAN) is a well established approach for modeling...
The description of large state spaces through stochastic struc-tured modeling formalisms like stocha...
This thesis presents methods and algorithms for the performance evaluation of large state space mode...
This article presents a global overview of recent results concerning stochastic automata networks. A...
This thesis develops techniques for optimizing the numerical evaluation of Markovian models. These t...