摘要

逻辑自动机下的可预测性分析趋于保守,通常在实际系统中应用受限。该文研究基于随机自动机的故障预测问题。对于每一个正常的系统状态,应用吸收概率理论计算其转移到故障状态的概率和平均时间。根据系统事件的可观测性构造诊断器,确定系统可能处于的状态集合。基于观测序列,确定系统状态分布,通过概率加权计算系统转移到故障状态的概率和平均时间。应用HVAC(heating,ventilation and air conditioning)系统的仿真实例验证算法的有效性。结果表明:该方法能够预测不同观测序列下系统发生故障的概率和平均时间。此外,对于逻辑不可预测系统,该方法依然适用。

全文