Liao Hui, Liu Fuchun, Zhao Rui
IEEE Trans Cybern. 2022 Jul;52(7):6207-6216. doi: 10.1109/TCYB.2021.3051260. Epub 2022 Jul 4.
Fault prognosis of discrete-event systems (DESs) aims to predict the occurrence of fault beforehand such that certain protective measures may be adopted before the fault occurs. This article investigates the reliable coprognosability issue for decentralized stochastic DESs (SDESs) facing the possible unavailability of some local agents. The main contributions are as follows. First, we formalize the notion of r -reliable coprognosability for SDESs. In general, an r -reliably coprognosable SDES with n local sites (1 ≤ r ≤ n) can predict the occurrences of faults even though n-r local agents are invalid. Second, we construct a reliable coprognoser from the given stochastic system and present a necessary and sufficient condition for testing r -reliable coprognosability by the reliable coprognoser. Third, due to the exponential complexity of testing r -reliable coprognosability by reliable coprognoser, a reliable coverifier is constructed and an alternate necessary and sufficient condition for verifying r -reliable coprognosability of SDESs by the reliable coverifier is proposed, which is polynomial time.
离散事件系统（DES）的故障预测旨在预先预测故障的发生，以便在故障发生之前采取某些保护措施。本文研究了面临某些局部代理可能不可用的分散式随机DES（SDES）的可靠协同可预测性问题。主要贡献如下。首先，我们形式化了SDES的r可靠协同可预测性的概念。一般来说，一个具有n个局部站点（1≤r≤n）的r可靠协同可预测SDES即使n - r个局部代理无效也能预测故障的发生。其次，我们从给定的随机系统构建了一个可靠的协同预测器，并给出了通过可靠协同预测器测试r可靠协同可预测性的充要条件。第三，由于通过可靠协同预测器测试r可靠协同可预测性具有指数复杂性，我们构建了一个可靠的覆盖验证器，并提出了通过可靠覆盖验证器验证SDES的r可靠协同可预测性的另一个充要条件，该条件是多项式时间的。
