Since 2014
Bisimulation for Labelled Markov Processes
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Bisimulation for Labelled Markov Processes
|
|
| Creator |
Blute, Richard
Desharnais, Josée Edalat, Abbas Panangaden, Prakash |
|
| Description |
In this paper we introduce a new class of labelled transition systems- Labelled Markov Processes - and define bisimulation for them.Labelled Markov processes are probabilistic labelled transition systemswhere the state space is not necessarily discrete, it could be thereals, for example. We assume that it is a Polish space (the underlyingtopological space for a complete separable metric space). The mathematical theory of such systems is completely new from the point ofview of the extant literature on probabilistic process algebra; of course,it uses classical ideas from measure theory and Markov process theory.The notion of bisimulation builds on the ideas of Larsen and Skou andof Joyal, Nielsen and Winskel. The main result that we prove is thata notion of bisimulation for Markov processes on Polish spaces, whichextends the Larsen-Skou denition for discrete systems, is indeed anequivalence relation. This turns out to be a rather hard mathematicalresult which, as far as we know, embodies a new result in pure probabilitytheory. This work heavily uses continuous mathematics whichis becoming an important part of work on hybrid systems.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-01-04
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/18783
10.7146/brics.v4i4.18783 |
|
| Source |
BRICS Report Series; No 4 (1997): RS-04 Bisimulation for Labelled Markov Processes
BRICS Report Series; Nr. 4 (1997): RS-04 Bisimulation for Labelled Markov Processes 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/18783/16430
|
|