講演名 | 2008-01-29 事象センサの故障を許容する離散事象診断器の存在性(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会) 高井 重昌, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本稿では,事象センサの故障のもとでの離散事象システムの診断問題について考察する.筆者らは,センサ故障により高々一つの可観測事象が不可観測になることを考慮した可診断性の概念を提案し,その一判定法を与えている.そこで本稿では,この提案した可診断性が,高々一つの可観測事象が不可観測になる可能性がある場合において,故障事象の生起を検出できるような診断器の存在のための必要十分条件となっていることを示す. |
抄録(英) | We study a fault diagnosis problem in discrete event systems with possible failures of event sensors. In our previous work, we have proposed a new notion of diagnosability for such systems and presented a method for testing the proposed diagnosability. In this paper, we show that the diagnosability property is a necessary and sufficient condition for the existence of a diagnoser which tolerates a failure of at most one event sensor. |
キーワード(和) | 離散事象システム / 故障診断 / 可診断性 / センサ故障 |
キーワード(英) | discrete event system / fault diagnosis / diagnosability / sensor failure |
資料番号 | CST2007-47 |
発行日 |
研究会情報 | |
研究会 | CST |
---|---|
開催期間 | 2008/1/22(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Concurrent System Technology (CST) |
---|---|
本文の言語 | JPN |
タイトル(和) | 事象センサの故障を許容する離散事象診断器の存在性(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会) |
サブタイトル(和) | |
タイトル(英) | Existence of Discrete Event Diagnosers Tolerating Failures of Event Sensors |
サブタイトル(和) | |
キーワード(1)(和/英) | 離散事象システム / discrete event system |
キーワード(2)(和/英) | 故障診断 / fault diagnosis |
キーワード(3)(和/英) | 可診断性 / diagnosability |
キーワード(4)(和/英) | センサ故障 / sensor failure |
第 1 著者 氏名(和/英) | 高井 重昌 / Shigemasa TAKAI |
第 1 著者 所属(和/英) | 京都工芸繊維大学大学院工芸科学研究科 Graduate School of Science and Technology, Kyoto Institute of Technology |
発表年月日 | 2008-01-29 |
資料番号 | CST2007-47 |
巻番号(vol) | vol.107 |
号番号(no) | 472 |
ページ範囲 | pp.- |
ページ数 | 4 |
発行日 |