Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

@inproceedings{Han2008CompositionalMA,
  title={Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains},
  author={Tingting Han and Joost-Pieter Katoen and Alexandru Mereacre},
  booktitle={HSCC},
  year={2008}
}
This paper presents a compositional framework for the modeling of interactive continuous-time Markov chains with time-dependent rates, a subclass of communicating piecewise deterministic Markov processes. A poly-time algorithm is presented for computing the coarsest quotient under strong bisimulation for rate functions that are either piecewise uniform or (piecewise) polynomial. Strong as well as weak bisimulation are shown to be congruence relations for the compositional framework, thus… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…