Probabilistic automata : system types, parallel composition and comparison

A. Sokolova, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

68 Citations (Scopus)

Abstract

We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper is twofold: On the one hand it provides an overview of existing types of probabilistic systems and, on the other hand, it explains the relationship between these models. We overview probabilistic systems with discrete probabilities only. The expressiveness order used to built the hierarchy is defined via the existence of mappings between the corresponding system types that preserve and reflect bisimilarity. Additionally, we discuss parallel composition for the presented types of systems, augmenting the map of probabilistic automata with closedness under this compositional operator.
Original languageEnglish
Title of host publicationValidation of Stochastic Systems : A Guide to Current Research
EditorsC. Baier, xx et al.
Place of PublicationBerlin
PublisherSpringer
Pages1-43
ISBN (Print)3-540-22265-0
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
Volume2925
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Probabilistic automata : system types, parallel composition and comparison'. Together they form a unique fingerprint.

Cite this