講演抄録/キーワード |
講演名 |
2012-03-08 14:20
ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証 ○山本 聖・高井重昌(阪大) MSS2011-74 |
抄録 |
(和) |
本稿では,複数の診断器の判断をANDルールにより統合する,離散事象システムの分散型故障診断について考察する.
ANDルールを用いた分散型診断器によって,有限ステップ内で故障が検出されることを保証する共可診断性の概念が定義されている.
しかし,本稿で示すように,既存のアルゴリズムでは,ANDルールのもとでの共可診断性を正しく検証することができない.
そこで,ANDルールのもとでの共可診断性の新たな検証アルゴリズムを提案し,その検証アルゴリズムの正しさを証明する. |
(英) |
In this paper, we study decentralized diagnosis of discrete event systems where diagnosis decisions of local diagnosers are fused by the AND rule.
A notion of codiagnosability which guarantees that any failure is detected by a decentralized diagnoser using the AND rule within a uniformly bounded number of steps has been defined.
However, as shown in this paper, codiagnosability under the AND rule cannot be correctly verified by the existing algorithm.
Motivated by this fact, we propose a new algorithm to verify codiagonosability under the AND rule and prove its correctness. |
キーワード |
(和) |
離散事象システム / 故障診断 / 共可診断性 / 検証 / / / / |
(英) |
descrete event system / failure diagnosis / codianosability / verification / / / / |
文献情報 |
信学技報, vol. 111, no. 453, MSS2011-74, pp. 11-16, 2012年3月. |
資料番号 |
MSS2011-74 |
発行日 |
2012-03-01 (MSS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2011-74 |