Resource type

Probabilistic Automata: System Types, Parallel Composition and Comparison

Resource type
Authors/contributors
Title
Probabilistic Automata: System Types, Parallel Composition and Comparison
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.
Book Title
Validation of Stochastic Systems
Volume
2925
Place
Berlin, Heidelberg
Publisher
Springer Berlin Heidelberg
Date
2004
Pages
1-43
Language
en
ISBN
978-3-540-22265-1 978-3-540-24611-4
Short Title
Probabilistic Automata
Accessed
2019-11-28T16:11:25Z
Library Catalog
Crossref
Extra
ZSCC: NoCitationData[s1] DOI: 10.1007/978-3-540-24611-4_1
Citation
Sokolova, A., & de Vink, E. P. (2004). Probabilistic Automata: System Types, Parallel Composition and Comparison. In C. Baier, B. R. Haverkort, H. Hermanns, J.-P. Katoen, & M. Siegle (Eds.), Validation of Stochastic Systems (Vol. 2925, pp. 1–43). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-24611-4_1
Processing time: 0.02 seconds

Graph of references

(from Zotero to Gephi via Zotnet with this script)
Graph of references