Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
 

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