Metrics for Labeled Markov Systems
Metrics for Labeled Markov Systems
复制标题
DOI：
10.1007/3-540-48320-9_19
复制
发表时间：
1999-08
期刊：
影响因子：
--
通讯作者：
Josée Desharnais;Vineet Gupta;R. Jagadeesan;P. Panangaden
中科院分区：
文献类型：
--
作者：
Josée Desharnais;Vineet Gupta;R. Jagadeesan;P. Panangaden
部分标记马氏链(PlMc)是进程代数和传统马氏链的推广。它们为相互作用的离散概率系统提供了基础。现有的进程等价性概念对PLMC中的确切转移概率过于敏感。本文研究了PLMC之间“近似”等价的更稳健的概念。
Partial Labeled Markov Chains (plMc) generalize process algebra and traditional Markov chains. They provide a foundation for interacting discrete probabilistic systems. Existing notions of process equivalence are too sensitive to the exact probabilities of transitions in plMcs. This paper studies more robust notions of “approximate” equivalence between plMcs.