loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2005 International Conference on Dependable Systems and Networks (DSN'05)
Lumping Matrix Diagram Representations of Markov Models
Yokohama, Japan
June 28-July 01
ISBN: 0-7695-2282-3
Salem Derisavi, University of Illinois at Urbana-Champaign
Peter Kemper, Universität Dortmund
William H. Sanders, University of Illinois at Urbana-Champaign
Continuous-time Markov chains (CTMCs) have been used successfully to model the dependability and performability of many systems. Matrix diagrams (MDs) are known to be a space-efficient, symbolic representation of large CTMCs. In this paper, we identify local conditions for exact and ordinary lumpings that allow us to lump MD representations of Markov models in a compositional manner. We propose a lumping algorithm for CTMCs that are represented as MDs that is based on partition refinement, is applied to each level of an MD directly, and results in an MD representation of the lumped CTMC. Our compositional lumping approach is complementary to other known model-level lumping approaches for matrix diagrams. The approach has been implemented, and we demonstrate its efficiency and benefits by evaluating an example model of a tandem multi-processor system with load balancing and failure and repair operations.
Citation:
Salem Derisavi, Peter Kemper, William H. Sanders, "Lumping Matrix Diagram Representations of Markov Models," dsn, pp.742-751, 2005 International Conference on Dependable Systems and Networks (DSN'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.