A tensor sum preconditioner for stochastic automata networks

Abderezak Touzene*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)


Stochastic automata networks (SANs) have gained great interest within the performance-modeling community because of their natural ability to capture parallel and distributed activities. SANs and the related concept of stochastic process algebra are advantageous because they keep the transition matrix in a compact form called the SAN descriptor. Several iterative and projection methods have been tested for SANs. Some preconditioners for SANs have been developed to speed up the convergence. Recently, Langville and Stewart [Langville, A., W. Stewart. 2004. A Kronecker product approximate preconditioner for SANs. Numer. Linear Algebra Appl. 11 723-752] proposed the nearest Kronecker product (NKP) preconditioner for SANs with great success. Encouraged by their work, we propose a new preconditioning method, called the tensor sum preconditioner (TSP), which uses a tensor sum preconditioner rather than a Kronecker product preconditioner. In TSP, we take into account as much as possible the effect of synchronization using term grouping, factorizations, and approximation techniques. We conducted an experimental study to compare our TSP with the NKP preconditioner, and the results show that TSP outperformed NKP on both the number of iterations and the execution time.

Original languageEnglish
Pages (from-to)234-242
Number of pages9
JournalINFORMS Journal on Computing
Issue number2
Publication statusPublished - Mar 2008


  • Markovian models
  • Nearest kronecker product
  • Performance evaluation
  • Preconditioning
  • Stochastic automata networks

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Science Applications
  • Management Science and Operations Research


Dive into the research topics of 'A tensor sum preconditioner for stochastic automata networks'. Together they form a unique fingerprint.

Cite this