Sciweavers

FOSSACS
2005
Springer

Stochastic Transition Systems for Continuous State Spaces and Non-determinism

13 years 9 months ago
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
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.
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkow
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where FOSSACS
Authors Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
Comments (0)