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

Research Article

Structured Markov chains solver: tool extension

  • @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. Bini1,*, B. Meini1,*, S. Steffé1,*, B. Van Houdt2,*
  • 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.