By Topic

A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Bušić, A. ; INRIA, ENS, Paris, France ; Fourneau, J.M.

We present new algorithms we have recently introduced and which provide iterative component-wise bounds of the steady-state distribution of Markov chains. At each iteration we improve the quality of the bounds and these bounds are tight as the limit is the exact solution. As the algorithms are based on the product matrix-vector and properties of (max, +) sequences, they can easily be included into numerical packages. We present some examples and how we have implemented these algorithms in the Xborne tool.

Published in:

Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the

Date of Conference:

15-18 Sept. 2010