Composition of stochastic transition systems based on spans and couplings

DOI10.4230/LIPICS.ICALP.2016.102zbMATH Open1388.68196OpenAlexW2529909874MaRDI QIDQ4598243FDOQ4598243

Authors: Daniel Gburek, Sascha Klüppelholz, Christel Baier 

Publication date: 19 December 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#GburekBK16

Recommendations

• Compositional design of stochastic timed automata
• Compositional abstraction for stochastic systems
• A compositional modelling and verification framework for stochastic hybrid systems
• Compositions of stochastic systems with final sequence states and interdependent transitions
• Foundations of Software Science and Computational Structures

zbMATH Keywords

couplingcompositioncongruencebisimulationPolish spacespanstochastically independentstochastic hybrid motion automatastochastic transition system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (5)

• Decisiveness of stochastic systems and its application to hybrid models
• When are stochastic transition systems tameable?
• Foundations of Software Science and Computational Structures
• Cost vs. time in stochastic games and Markov automata
• Title not available (Why is that?)

This page was built for publication: Composition of stochastic transition systems based on spans and couplings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4598243)