The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
Improving Efficiency of Implicit Markov Chain State Classification
Enschede, the Netherlands
September 27-September 30
ISBN: 0-7695-2185-1
Current efficient symbolic methods to classify the states of a Markov chain into transient and recurrent classes use an iterative approach, where each iteration begins by selecting a "seed" state. In this paper we present heuristics to reduce the number of iterations required. Our core contribution is the use of shortest distance information to select the seed state. Our approach uses multiway decision diagrams to represent sets of states and edge-valued decision diagrams to represent distance information. Experimental results indicate that the distance heuristics can be quite effective, often minimizing the required number of iterations.
Citation:
Andrew S. Miner, Shuxing Cheng, "Improving Efficiency of Implicit Markov Chain State Classification," qest, pp.262-271, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004