Stochastic transition systems for continuous state spaces and non-determinism (2005)
| Venue: | In FoSSaCS’05, LNCS 3441 |
| Citations: | 8 - 3 self |
BibTeX
@INPROCEEDINGS{Cattani05stochastictransition,
author = {Stefano Cattani and Roberto Segala and Marta Kwiatkowska and Gethin Norman},
title = {Stochastic transition systems for continuous state spaces and non-determinism},
booktitle = {In FoSSaCS’05, LNCS 3441},
year = {2005},
pages = {125--139},
publisher = {SpringerVerlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountable branching. Models of such systems have been proposed previously. Here, we introduce a model that extends probabilistic automata to the continuous setting. We identify the class of schedulers that ensures measurability properties on executions, and show that such measurability properties are preserved by parallel composition. Finally, we demonstrate how these results allow us to define an alternative notion of weak bisimulation in our model. 1
