On relational properties of lumpability
A Ana Sokolova, de Ep Erik Vink · 2003
AbstractThe technique of lumping of Markov chains is one of the main tools for recovering from state explosion in the quantitative analysis of large probabilistic systems. Use-ful results regarding relational properties of general, ordi-nary and exact lumpability, in particular transitivity and strict conuence, are rather scattered or implicit in the lit-erature. These are collected and reformulated here from a process-theoretic point of view. Additionally, counterexam-ples are provided that complete the picture. KeywordsProbabilistic systems, general lumpability, or-dinary and exact lumpability, transitivity, strict conuence I.