Referenced Items are not available for this document.
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
- Page(s):
- 81 - 82
- Print ISBN:
- 978-1-4244-8082-1
- INSPEC Accession Number:
- 11582505
- Conference Location :
- Williamsburg, VA
- Digital Object Identifier :
- 10.1109/QEST.2010.18
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
