马蒂亚斯·克劳斯·詹森;金·古德斯特兰·拉森;拉杜·马达尔 加权分支系统：行为等效、行为距离及其逻辑特征。 （英语） Zbl 1514.68172号 Jansen，David N.（编辑）等人，《时间系统的形式化建模和分析》。2018年9月4日至6日，第16届国际会议，FORMATS 2018，中国北京。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11022, 145-161 (2018). 摘要：在这项工作中，我们将分支互模拟的概念扩展到加权系统。我们抽象出奇异跃迁，并允许双相似系统使用行为和权重相似的有限路径相互匹配。我们表明，这种加权分支互模拟具有加权时序逻辑的特征。由于定量行为等价的限制性，我们通过放松某些因素的相互刺激，发展了加权过程之间相对距离的概念。直观地说，我们允许过渡（s）被有限路径匹配，这些路径在区间内累积权重，其中（varepsilon）是松弛因子。我们将这种松弛扩展到我们的逻辑，并表明对于一类公式，我们的松弛逻辑表征了我们的松弛互模拟。从放松互模拟的概念出发，我们导出了一个相对伪度量并证明了鲁棒性结果。最后，我们证明了由伪度量导出的开球拓扑上的公式类的某些拓扑性质。关于整个系列，请参见[Zbl 1396.68015号]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B44号 时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Jensen}等人，Lect。票据计算。科学。11022、145--161（2018；Zbl 1514.68172） 全文： 内政部