参数化加权 Kripke 结构的加权分支模拟距离
计算机科学中的逻辑
2016-08-03 v1
摘要
本文研究具有参数化权重的加权 Kripke 结构的分支模拟。具体而言，我们考虑分支模拟的加权扩展，其中单个转移可由一个转移序列匹配，同时保持分支行为。我们放宽这一概念以允许权重匹配中存在小幅偏差，从而在状态上导出一种有向距离。两个状态之间的距离可直接用于关联状态在加权 CTL 子片段内的性质。因此，关联系统的问题转变为最小化该距离，在一般参数化情况下，这对应于寻找合适的参数赋值使得一个系统能近似模拟另一个系统。尽管该距离考虑了潜在无穷的转移序列集合，但我们证明了相关序列的长度存在一个上界，从而确立了该距离的可计算性。
引用
@article{arxiv.1608.00657,
title = {Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures},
author = {Louise Foshammer and Kim Guldstrand Larsen and Anders Mariegaard},
journal= {arXiv preprint arXiv:1608.00657},
year = {2016}
}
备注
In Proceedings Cassting'16/SynCoP'16, arXiv:1608.00177