计算机科学>计算工程、金融和科学
职务: 随机混合系统的统计模型检验
摘要: 本文介绍了UPPAAL-SMC模型检查器的新扩展和应用。 扩展允许随机混合系统的统计模型检查。 我们展示了基于赛跑的随机语义如何扩展到混合系统网络,并指出了在UPPAAL-SMC仿真引擎中实现该语义所采用的集成技术。 我们报告了来自系统生物学和能源意识建筑的两个工具集的应用。
摘要: 本文介绍了UPPAAL-SMC模型检查器的新扩展和应用。 扩展允许随机混合系统的统计模型检查。 我们展示了基于赛跑的随机语义如何扩展到混合系统网络,并指出了在UPPAAL-SMC仿真引擎中实现该语义所采用的集成技术。 我们报告了来自系统生物学和能源意识建筑的两个工具集的应用。
|
|
|
|
|