2026-07-21T20:26:00Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6237 2024-03-06T10:37:51Z ddc:004 open_access

Composition of Stochastic Transition Systems Based on Spans and Couplings Gburek, Daniel Baier, Christel Klüppelholz, Sascha Stochastic Transition System Composition Stochastic Hybrid Motion Automata Stochastically Independent Coupling Span Bisimulation Congruence Po Conventional approaches for parallel composition of stochastic systems relate probability measures of the individual components in terms of product measures. Such approaches rely on the assumption that components interact stochastically independent, which might be too rigid for modeling real world systems. In this paper, we introduce a parallel-composition operator for stochastic transition systems that is based on couplings of probability measures and does not impose any stochastic assumptions. When composing systems within our framework, the intended dependencies between components can be determined by providing so-called spans and span couplings. We present a congruence result for our operator with respect to a standard notion of bisimilarity and develop a general theory for spans, exploiting deep results from descriptive set theory. As an application of our general approach, we propose a model for stochastic hybrid systems called stochastic hybrid motion automata. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Daniel Gburek and Christel Baier and Sascha Klüppelholz 2016 Is Part Of LIPIcs, Volume 55, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICALP.2016.102 urn:nbn:de:0030-drops-62379 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2016.102 eng https://creativecommons.org/licenses/by/3.0/legalcode