| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2009-11-27 10:20 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断 ○高井重昌・潮 俊光（阪大）  CAS2009-53 CST2009-26 |
|
| 抄録 | （和） | 離散事象システムの故障診断においては，通常，各事象に対応する出力記号は一意に定まると仮定されている．しかし，モバイルシステムなどでは一般にこの仮定は成立しない．そこで本稿では，このような離散事象システムを非決定出力関数をもつMealyオートマトンでモデル化する．そして，システムで発生した故障を，有限ステップ内で検出する故障診断問題について考察する．まず，診断器の存在のための必要十分条件を示す．そして，その必要十分条件を判定するための方法を提案する． |
| （英） | In the conventional framework for failure diagnosis of discrete event systems, it is assumed that, for each event, the corresponding output symbol is determined uniquely. However, this assumption does not hold in discrete event systems such as a mobile system. In this paper, we model such a discrete event system by a Mealy automaton with a nondeterministic output function, and consider a diagnosis problem that requires any occurrence of a failure should be detected within a uniformly bounded number of steps. We present a necessary and sufficient condition for the existence of a diagnoser. We then present an algorithm for verifying this condition. |
|
| キーワード | （和） | 離散事象システム / 診断 / 可診断性 / Mealyオートマトン / 非決定出力関数 / / / |
| （英） | discrete event system / diagnosis / diagnosability / Mealy automaton / nondeterministic output function / / / | |
| 文献情報 | 信学技報, vol. 109, 2009年11月. | |
| 資料番号 | ||
| 発行日 | 2009-11-19 (CAS, CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2009-53 CST2009-26 |
|
| 研究会情報 | |
| 研究会 | MSS CAS |
| 開催期間 | 2009-11-26 - 2009-11-27 |
| 開催地（和） | 名古屋大学 |
| 開催地（英） | Nagoya University |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2009-11-CST-CAS |
| 本文の言語 | 日本語 |
| タイトル（和） | 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断 |
| サブタイトル（和） | |
| タイトル（英） | Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 離散事象システム / discrete event system |
| キーワード(2)（和/英） | 診断 / diagnosis |
| キーワード(3)（和/英） | 可診断性 / diagnosability |
| キーワード(4)（和/英） | Mealyオートマトン / Mealy automaton |
| キーワード(5)（和/英） | 非決定出力関数 / nondeterministic output function |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 高井 重昌 / Shigemasa Takai / タカイ シゲマサ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 潮 俊光 / Toshimitsu Ushio / ウシオ トシミツ |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2009-11-27 10:20:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CAS2009-53, CST2009-26 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | no.300(CAS), no.301(CST) |
| ページ範囲 | pp.47-52 |
| ページ数 | 6 |
| 発行日 | 2009-11-19 (CAS, CST) |
[研究会発表申込システムのトップページに戻る]