2012-02: Coalgebraic Trace Semantics for Probabilistic Transition Systems based on Measure Theory

Derivate 30837

472.5 KB in one file, last changed at 03.07.2012

File list / details

FileFiles changed onSize
coalgpts_concur12_long.pdf03.07.2012 09:09:01472.5 KB
Coalgebras in a Kleisli category yield a generic definition of trace semantics for various types of labelled transition systems. In this paper we apply this generic theory to generative probabilistic transition systems, short PTS, with arbitrary (possibly uncountable) state spaces. We consider the sub-probability monad and the probability monad (Giry monad) on the category of measurable spaces and measurable functions. Our main contribution is that the existence of a final coalgebra in the Kleisli category of these monads is closely connected to the measure-theoretic extension theorem for sigma-finite pre-measures. In fact, we obtain a practical definition of the trace measure for both finite and infinite traces of PTS that subsumes a well-known result for discrete probabilistic transition systems.
Bookmark:
Permalink | Share/Save
Dokumententyp:
Wissenschaftliche Texte » Artikel, Aufsatz
Fakultät / Institut:
Fakultät für Ingenieurwissenschaften
Dewey Dezimal-Klassifikation:
000 Informatik, Informationswissenschaft, allgemeine Werke » 000 Informatik, Wissen, Systeme
Language:
Englisch
Collection / Status:
E-Publications / Document published
Document created on:
02.07.2012
Files changed on:
03.07.2012
Medientyp:
Text
Source:
Technischer Bericht Nr. 2012-02 ISSN 1863-8554 Abteilung für Informatik und Angewandte Kognitionswissenschaft Fakultät für Ingenieurwissenschaften Universität Duisburg-Essen