Distribution-based bisimulation for labelled Markov processes
Logic in Computer Science
2017-07-03 v1 Formal Languages and Automata Theory
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.
Keywords
Cite
@article{arxiv.1706.10049,
title = {Distribution-based bisimulation for labelled Markov processes},
author = {Pengfei Yang and David N. Jansen and Lijun Zhang},
journal= {arXiv preprint arXiv:1706.10049},
year = {2017}
}
Comments
Accepted by FORMATS 2017