生物系统概率终止的抽象解释
计算机科学中的逻辑
2009-12-01 v1 计算工程、金融与科学
形式语言与自动机理论
定量方法
摘要
在先前的一篇论文中，作者应用抽象解释方法来近似生物系统的概率语义，这些系统具体使用化学基元演算进行建模。该方法基于以下思想：通过使用区间抽象溶液中试剂的多重性，来表示一组仅在初始浓度上有所不同的实验。在本文中，我们改进了该方法以处理概率终止性质。更具体地说，我们引入了抽象标签转移系统语义的细化，并使用区间马尔可夫链的一种变体来抽象概率语义。该抽象概率模型安全地近似了一组具体实验，并报告了概率终止的保守下界和上界。
引用
@article{arxiv.0911.4988,
title = {Abstract Interpretation for Probabilistic Termination of Biological Systems},
author = {Roberta Gori and Francesca Levi},
journal= {arXiv preprint arXiv:0911.4988},
year = {2009}
}