| 講演名 | 2012-03-08 ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証 山本 聖, 高井 重昌, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,複数の診断器の判断を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. |
| キーワード(和) | 離散事象システム / 故障診断 / 共可診断性 / 検証 |
| キーワード(英) | discrete event system / failure diagnosis / codiagnosability / verification |
| 資料番号 | MSS2011-74 |
| 発行日 |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2012/3/1(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証 |
| サブタイトル（和） | |
| タイトル（英） | Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Using the AND Rule |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 離散事象システム / discrete event system |
| キーワード(2)（和/英） | 故障診断 / failure diagnosis |
| キーワード(3)（和/英） | 共可診断性 / codiagnosability |
| キーワード(4)（和/英） | 検証 / verification |
| 第 1 著者 氏名（和/英） | 山本 聖 / Takashi YAMAMOTO |
| 第 1 著者 所属（和/英） | 大阪大学工学部 School of Engineering, Osaka University |
| 第 2 著者 氏名（和/英） | 高井 重昌 / Shigemasa TAKAI |
| 第 2 著者 所属（和/英） | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
| 発表年月日 | 2012-03-08 |
| 資料番号 | MSS2011-74 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | 453 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |