Summary: Compositional Modeling and Minimization of
Time-Inhomogeneous Markov Chains
Tingting Han, Joost-Pieter Katoen and Alexandru Mereacre
RWTH Aachen University
HSCC 2008
M. L. Bujorianu (University of Twente) Time-Inhomogeneous Markov Chains HSCC 2008 1 / 39
Outline
1 Motivation
Continuous-Time Markov Chains
Inhomogeneous Continuous-Time Markov Chains
2 Transient probability distribution
General case
Special case
3 Inhomogeneous Interactive Markov Chains
4 Strong bisimulation
ICTMC Strong bisimulation
I2MC Strong bisimulation
Quotienting Algorithm
5 Conclusions and Future work
M. L. Bujorianu (University of Twente) Time-Inhomogeneous Markov Chains HSCC 2008 2 / 39

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences