XBorne 2016: A Brief Introduction

We present the new version of XBorne a software tool for the probabilistic modeling with Markov chains. The tool which has been developed initially as a testbed for the algorithmic stochastic comparisons of stochastic matrices and Markov chains, is now a general purpose framework which can be used for the Markovian modelling in education and research.

[1]  Giuliana Franceschinis,et al.  Simple O(m logn) Time Markov Chain Lumping , 2010, TACAS.

[2]  J. Fourneau,et al.  Stochastic Bounds with a Low Rank Decomposition , 2014 .

[3]  Conditional steady-state bounds for a subset of states in Markov chains , 2006, SMCtools '06.

[4]  Ana Busic,et al.  A Matrix Pattern Compliant Strong Stochastic Bound , 2005, 2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops).

[5]  Jean-Michel Fourneau,et al.  An Algorithmic Approach to Stochastic Bounds , 2002, Performance.

[6]  J. Fourneau,et al.  Algorithms for an irreducible and lumpable strong stochastic bound , 2004 .

[7]  Ana Busic,et al.  PSI2: Envelope Perfect Sampling of Non Monotone Systems , 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

[8]  Isi Mitrani,et al.  Service center trade-offs between customer impatience and power consumption , 2011, Perform. Evaluation.

[9]  Ana Busic,et al.  Iterative component-wise bounds for the steady-state distribution of a Markov chain , 2011, Numer. Linear Algebra Appl..

[10]  P. Courtois,et al.  On polyhedra of Perron-Frobenius eigenvectors , 1985 .

[11]  Ana Busic,et al.  Bounded state space truncation and Censored Markov chains , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[12]  Jean-Michel Fourneau,et al.  An open tool to compute stochastic bounds on steady-state distributions and rewards , 2003, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003..