一种面向连续时间马尔科夫链的状态空间约简方法

摘要

本发明公开了一种面向连续时间马尔科夫链的状态空间约简方法，包括以下步骤：在局部状态空间上配置连续随机逻辑中X，U，R，P，W算子的限界语义；将连续时间马尔科夫链转换为离散时间马尔科夫链，并利用均匀化技术计算局部空间上的瞬态与稳态概率；对于算子X，U，R将时域分成零点到某个时间点，两个时间点之间，某个时间点到无穷大三个时间段，并分别利用瞬态概率计算算子P对应的概率度量；对于稳定算子W，构造一组线性不等式来约束离散时间马尔科夫链中瞬态概率与稳态概率之间的关系，求出该不等式的解作为稳态概率的度量值。本发明只需遍历分析属性所需的局部空间，可有效约简状态空间，可应用于大规模随机系统的性能与可靠性分析。