Stochastic Failure Prognosis of Discrete Event Systems
Stochastic Failure Prognosis of Discrete Event Systems
复制标题
离散事件系统的随机故障预测
DOI：
10.1109/tac.2021.3118670
复制
发表时间：
2022-10
影响因子：
6.8
通讯作者：
Jun Chen;Ratnesh Kumar
中科院分区：
文献类型：
--
作者：
Jun Chen;Ratnesh Kumar
本文研究了随机离散事件系统的故障预测，即故障发生前的预测。先前的工作集中在$m$-步随机预测性的定义和离线验证，或$S_m$-预测性，它允许提前至少$m$-步预测故障。本文提出了一种在线故障预测的计算算法，对已有的工作进行了补充。该算法将做出肯定预测决策的条件简化为马尔可夫链的安全性验证条件。我们讨论了如何使用有限终止算法来计算这样的验证条件。
This article studies the prognosis of failure, i.e., its prediction prior to its occurrence, in stochastic discrete event systems. Prior work has focused on the definition and offline verification of $m$-steps stochastic-prognosability, or $S_m$-prognosability, which allows the prediction of a fault at least $m$-steps in advance. This article complements the existing work by proposing an algorithm for the computation of online failure prognoser. The proposed algorithm reduces the condition for issuing an affirmative prognostic decision to verification condition of a safety property of a Markov chain. We discuss how such a verification condition can be computed using a finitely terminating algorithm.