Research Article
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs
@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
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.