1st International ICST Workshop on Tools for solving Structured Markov Chains

Research Article

Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs

Download133 downloads
  • @INPROCEEDINGS{10.4108/smctools.2007.1918,
        author={K. Lampka and S. Harwarth, and M.  Siegle},
        title={Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs},
        proceedings={1st International ICST Workshop on Tools for solving Structured Markov Chains},
        proceedings_a={SMCTOOLS},
        year={2010},
        month={5},
        keywords={},
        doi={10.4108/smctools.2007.1918}
    }
    
  • K. Lampka
    S. Harwarth,
    M. Siegle
    Year: 2010
    Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs
    SMCTOOLS
    ICST
    DOI: 10.4108/smctools.2007.1918
K. Lampka1,*, S. Harwarth,1,*, M. Siegle1,*
  • 1: University of the Federal Armed Forces Munich, Germany
*Contact email: kai.lampka@unibw.de, stefan.harwarth@unibw.de, markus.siegle@unibw.de

Abstract

Symbolic approaches based on decision diagrams have shown to be well suited for representing very large continuous-time Markov chains (CTMC), as derived from high-level model descriptions. Unfortunately, each type of decision diagram requires its own implementation of the numerical solvers for computing the state probabilities of the CTMC. For this reason, some time ago the idea of separating numerical solution methods from the representation of the CTMC was proposed [12], suggesting the implementation of a so-called state-level abstract functional interface (AFI), which defines classes of iterators for accessing the entries of the CTMC transition rate matrix. In this paper we (a) present an implementation of the AFI for zero-suppressed multi-terminal binary decision diagrams (ZDDs) [18] and (b) empirically investigate the viability of matrix-layout-independent implementations of numerical solvers.