ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証

摘要

本稿では，複数の診断器の判断をANDルールにより統合する，離散事象システムの分散型故障診断について考察する．ANDルールを用いた分散型診断器によって，有限ステップ内で故障が検出されることを保証する共可診断性の概念が定義されている．しかし，本稿で示すように，既存のアルゴリズムでは，ANDルールのもとでの共可診断性を正しく検証することができない．そこで，ANDルールのもとでの共可診断性の新たな検証アルゴリズムを提案し，その検証アルゴリズムの正しさを証明する．