分散化された確率的離散イベントシステムと多項式時間の検証の信頼性の高い共同予測可能性

離散イベントシステム（DESS）の故障予後は、障害が発生する前に特定の保護対策を採用することができるように、事前に障害の発生を予測することを目指しています。この記事では、一部のローカルエージェントの利用可能性の可能性に直面している分散型確率的デス（SDES）の信頼できる共同承認性の問題を調査します。主な貢献は次のとおりです。まず、SDESのr信頼できる共同承認の概念を形式化します。一般に、Nローカルエージェントが無効であるにもかかわらず、nローカルサイト（1≤r≤n）を備えたr relimailable coprogleognosable SDE（1≤r≤n）は、障害の発生を予測できます。第二に、特定の確率的システムから信頼できる共同承認者を構築し、信頼性の高い共同抱合者によるr依存性共継承性をテストするために必要かつ十分な条件を提示します。第三に、信頼できる共同団体によるrel信頼性のある共継承性をテストする指数関数的な複雑さのために、信頼できるカバーフィアが構築され、信頼できるカバーフィアによるSDESのR信頼性の高い共同承認性を検証するための代替の必要かつ十分な条件が提案されています。

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.