计算机科学>形式语言和自动机理论
标题: 基于区域的工期概率自动机分析
摘要: 我们提出了一种基于区域的算法的扩展,用于分析时间自动机,以处理时间不确定性被视为概率而非集合理论的系统。 我们研究了持续时间概率自动机(DPA),它表示多个并行进程,允许内存完全连续分布的持续时间。 对于该模型,我们开发了基于区域的前向可达性算法的扩展,其后继算子是密度变换器,从而为有关非循环DPA(或循环DPA的有界视界行为)的验证和性能评估问题提供了解决方案。