Labelled Markov processes / Prakash Panangaden.

Format:

Book

Author/Creator:

Panangaden, P. (Prakash)

Language:

English

Subjects (All):

Markov processes.

Measure theory.

Physical Description:

1 online resource (212 p.)

Edition:

1st ed.

Place of Publication:

London : Imperial College Press, c2009.

Language Note:

English

Summary:

Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. The book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs.

Contents:

Preface; Contents; 1. Introduction; 2. Measure Theory; 3. Integration; 4. The Radon-Nikodym Theorem; 5. A Category of Stochastic Relations; 6. Probability Theory on Continuous Spaces; 7. Bisimulation for Labelled Markov Processes; 8. Metrics for Labelled Markov Processes; 9. Approximating Labelled Markov Processes; 10. Approximating the Approximation; 11. A Domain of Labelled Markov Processes; 12. Real-Time and Continuous Stochastic Logic; 13. Related Work; Bibliography; Index

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

ISBN:

9786612441714

9781282441712

128244171X

9781848162891

1848162898

OCLC:

613682483