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.

• Type: Conference
• Year: 2005
• Where: FOSSACS
• Authors: Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
• Keywords: Applied Computing, Arbitrary Probability Distributions, FOSSACS 2005, Measurability Properties, Probabilistic Behaviour