Accelerating Markovian analysis of asynchronous systems using state compression

  title={Accelerating Markovian analysis of asynchronous systems using state compression},
  author={Aiguo Xie and Peter A. Beerel},
  journal={IEEE Trans. on CAD of Integrated Circuits and Systems},
This paper presents a methodology to speed up the stationary analysis of large Markov chains that model asynchronous systems. Instead of directly working on the original Markov chain, we propose to analyze a smaller Markov chain obtained via a novel technique called state compression. Once the smaller chain is solved, the solution to the original chain is obtained via a process called expansion. The method is especially powerful when the Markov chain has a small feedback vertex set, which… CONTINUE READING


Publications referenced by this paper.

Kulkarni,Modeling and Analysis of Stochastic Systems

  • V G.
  • 1995
Highly Influential
4 Excerpts

Introduction to the Numerical Solution of Markov Chains

  • W. J. Stewart, An
  • 1994
Highly Influential
3 Excerpts

Sequential Processes

  • C.A.R. Hoare, Communicating
  • Englewood Cliffs, NJ: Prentice-Hall,
  • 1985
Highly Influential
3 Excerpts

Analysis of variance in micropipelines

  • A. Xie, P. A. Beerel
  • EE- Systems Dept., Univ. Southern California…
  • 1998
2 Excerpts

Similar Papers

Loading similar papers…