基于耦合与up-to方法的微分互模拟的高效局部计算
计算机科学中的逻辑
2021-04-28 v1
摘要
我们引入多项式耦合——概率耦合的一种推广，以开发一种计算等价关系的算法，该等价关系可解释为概率互模拟在多项式微分方程上的提升，而多项式微分方程是科学与工程中最普遍的动力学系统模型。该算法具有多项式时间复杂度，并补充了经典的划分精化方法，因为：(a) 它实现对系统的局部探索，可能得出不一定需要检查整个微分方程组的等价关系；(b) 它可通过up-to技术增强；(c) 它允许指定不应包含在输出中的配对。利用原型系统，这些优势在系统生物学的案例研究中针对模型约简与比较应用得以展示。值得注意的是，在否定马尔可夫链间等价性时，我们报告的运行时比划分精化方法小四个数量级。
引用
@article{arxiv.2104.13160,
title = {Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods},
author = {Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Mirco Tribastone and Max Tschaikowski and Andrea Vandin},
journal= {arXiv preprint arXiv:2104.13160},
year = {2021}
}