loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)
Lumping Markov Chains with Silent Steps
Riverside, California
September 11-September 14
ISBN: 0-7695-2665-9
Jasen Markovski, Technische Universiteit Eindhoven, Netherlands
Nikola Trcka, Technische Universiteit Eindhoven, Netherlands
A silent step in a dynamic system is a step that is considered unobservable and that can be eliminated. We define a Markov chain with silent steps as a class of Markov chains parameterized with a special real number ô. When ô goes to infinity silent steps become immediate, i.e. timeless, and therefore unobservable. To facilitate the elimination of these steps while preserving performance measures, we introduce a notion of lumping for the new setting. To justify the lumping we first extend the standard notion of ordinary lumping to the setting of discontinuous Markov chains, processes that can do infinitely many transitions in finite time. Then, we give a direct connection between the two lumpings for the case when ô is infinite. The results of this paper can serve as a correctness criterion and a method for the elimination of silent (ô ) steps in Markovian process algebras.
Citation:
Jasen Markovski, Nikola Trcka, "Lumping Markov Chains with Silent Steps," qest, pp.221-232, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.