Distribution-based bisimulation for labelled Markov processes

DOI10.1007/978-3-319-65765-3_10MaRDI QIDQ1683448zbMATH OpenOpenAlexFDO

Authors David N. Jansen, Peng-fei Yang, Lijun Zhang

Publication date 1 December 2017

Full work available at URL https://arxiv.org/abs/1706.10049

Mathematics Subject Classification ID

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)

Abstract: In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.

Recommendations

• Bisimulation for labelled Markov processes
• scientific article; zbMATH DE number 2086650
• Exploring probabilistic bisimulations. I
• Bisimulations for non-deterministic labelled Markov processes
• Domain theory, testing and simulation for labelled Markov processes

Cited in

(11)

• Simulation for lattice-valued doubly labeled transition systems
• Bisimulation on Markov processes over arbitrary measurable spaces
• Bisimilarity of distributionally equivalent Markov transition systems
• Bisimulation for Markov decision processes through families of functional expressions
• Domain theory, testing and simulation for labelled Markov processes
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• Bisimulation and Simulation Relations for Markov Chains
• Probabilistic bisimulation for realistic schedulers
• Bisimulation for labelled Markov processes
• scientific article; zbMATH DE number 7566077 (Why is no real title available?)
• Bisimulations for non-deterministic labelled Markov processes

This page was built for publication: Distribution-based bisimulation for labelled Markov processes

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