本研究では,複数のローカル診断器を用いた離散事象システムの分散型故障診断において,何らかの原因によりいくつかの診断器の診断結果が得られない状況を考える.そして,任意に定めた個数以上の診断器の診断結果により異常動作の発生を検知できることを保証する共可診断性の概念をリライアブル共可診断性と定義し,システムがリライアブル共可診断か否かの検証手法を提案する.さらに,分散型故障診断の冗長性を評価するため,リライアブル共可診断となるような最小の診断器の個数の導出方法を提案する.%In the setting of decentralized diagnosis of discrete event systems using multiple local diagnosers, we consider a situation in which diagnosis decisions of some local diagnosers are not available by some causes. Then, we define a notion of codiagnosability as reliable codiagnosability, which guarantees that any occurrence of fault behavior is detected if the number of available diagnosis decisions is greater than or equal to the specified number, and propose an algorithm for verification of reliable codiagnosability. Moreover, in order to evaluate redundancy of decentralized diagnosis, we develop a method for computing the minimal number of local diagnosers for which reliable codiagnosability is satisfied.
展开▼