Markov 种群模型的混合行为
系统与控制
2013-01-14 v2 多智能体系统
性能
定量方法
摘要
我们研究了用随机并发约束编程 (sCCP) 编写的种群模型的行为，sCCP 是并发约束编程的随机扩展。特别地，我们关注那些可以定义 sCCP 语义的模型，其语义既可以用连续时间 Markov 链 (CTMC) 表示，也可以用随机混合系统表示，其中一些种群被连续近似，而另一些保持离散。我们将从递增种群大小模型序列的极限行为角度证明混合语义的正确性。更具体地说，我们证明了在适当的正则性条件下，由 sCCP 程序为递增种群大小构建的 CTMC 序列收敛于通过混合语义构建的混合系统。我们特别研究了当 sCCP 模型中的某些转移由布尔谓词保护或存在瞬时转移时会发生什么情况。
引用
@article{arxiv.1211.1643,
title = {Hybrid Behaviour of Markov Population Models},
author = {Luca Bortolussi},
journal= {arXiv preprint arXiv:1211.1643},
year = {2013}
}