Interactive Markov Chains: The Quest for Quantified Quality

Front Cover
Springer Science & Business Media, Sep 11, 2002 - Mathematics - 217 pages
Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains.
Based on principles known from process algebra, the author systematically develops an algebra of interactive Markov chains. By presenting a number of distinguishing results, of both theoretical and practical nature, the author substantiates the claim that interactive Markov chains are more than just another formalism: Among other, an algebraic theory of interactive Markov chains is developed, devise algorithms to mechanize compositional aggregation are presented, and state spaces of several million states resulting from the study of an ordinary telefone system are analyzed.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

1 Introduction
1
2 Interactive Processes
7
3 Markov Chains
35
4 Interactive Markov Chains
56
5 Algebra of Interactive Markov Chains
89
6 Interactive Markov Chains in Practice
129
7 Conclusion
155
A Proofs for Chapter 3 and Chapter 4
160
B Proofs for Chapter 5
174
Bibliography
207
Copyright

Other editions - View all

Common terms and phrases