迁移系统与马尔可夫奖励链的强、弱与分支互模拟：统一的矩阵方法
计算机科学中的逻辑
2009-12-12 v1 性能
摘要
我们首先研究具有显式成功终止的标号迁移系统。我们基于布尔矩阵理论建立了强、弱和分支互模拟的概念，从而引入了一种新颖且强大的代数工具。接下来，我们考虑在实矩阵理论中标准表示的马尔可夫奖励链。通过在该设定下解释所得到的互模拟矩阵条件，我们自动获得了马尔可夫奖励链的强、弱和分支互模拟的定义。所得的强互模拟和弱互模拟被证明与一些现有概念相一致，而所得的分支互模拟是新的，但其有用性存疑。
引用
@article{arxiv.0912.1902,
title = {Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach},
author = {Nikola Trčka},
journal= {arXiv preprint arXiv:0912.1902},
year = {2009}
}