On relational properties of lumpability

A. Sokolova, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

43 Downloads (Pure)


The 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. Useful results regarding relational properties of general, ordinary and exact lumpability, in particular transitivity and strict confluence, are rather scattered or implicit in the literature. These are collected and reformulated here from a process-theoretic point of view. Additionally, counterexamples are provided that complete the picture.
Original languageEnglish
Title of host publicationProceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003)
Place of PublicationUtrecht
PublisherSTW Technology Foundation
ISBN (Print)90-73461-37-5
Publication statusPublished - 2003


Dive into the research topics of 'On relational properties of lumpability'. Together they form a unique fingerprint.

Cite this