Stochastic Failure Prognosis of Discrete Event Systems

• 成果类型: Article
• 署名作者: Chen, Jun; Kumar, Ratnesh
• 署名单位: Oakland University; Iowa State University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3118670
• 发表日期: 2022
• 页码: 5487-5492
• 关键词: Discrete event systems (DESs); failure prognosis; fixed-point computation; state distribution; Stochastic systems

摘要

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.