Structured Markov chains solver: tool extension

D. A. Bini; B. Meini; S. Steffé; B. Van Houdt

4th International ICST Workshop on Tools for solving Structured Markov Chains

Research Article

Structured Markov chains solver: tool extension

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/ICST.VALUETOOLS2009.7443,
    author={D. A. Bini and B. Meini and S. Steff\^{e} and B. Van Houdt},
    title={Structured Markov chains solver: tool extension},
    proceedings={4th International ICST Workshop on Tools for solving Structured Markov Chains},
    publisher={ACM},
    proceedings_a={SMCTOOLS},
    year={2010},
    month={5},
    keywords={},
    doi={10.4108/ICST.VALUETOOLS2009.7443}
}

D. A. Bini
B. Meini
S. Steffé
B. Van Houdt
Year: 2010
Structured Markov chains solver: tool extension
SMCTOOLS
ICST
DOI: 10.4108/ICST.VALUETOOLS2009.7443

D. A. Bini¹^,*, B. Meini¹^,*, S. Steffé¹^,*, B. Van Houdt²^,*

1: Dipartimento di Matematica, Università di Pisa, Pisa, Italy
2: Department of Mathematics and Computer Science University of Antwerp, Antwerpen, Belgium

*Contact email: bini@dm.unipi.it, meini@dm.unipi.it, steffe@dm.unipi.it, benny.vanhoudt@ua.ac.be

Abstract

solution of structured Markov chains encountered in queuing models. In particular the new version of the package implements different transformation techniques and different shift strategies which are combined in order to speed up and optimize the solution of structured Markov chains. Numerical experiments show the effectiveness of the new implemented techniques.

Published: 2010-05-16
Publisher: ACM
Modified: 2010-05-16

: http://dx.doi.org/10.4108/ICST.VALUETOOLS2009.7443