| 講演名 | 2020-01-14 条件付き判断を用いた離散事象システムにおけるリライアブル共可診断性の検証 濱田 匠(阪大), 高井 重昌(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では，条件付き判断を用いた離散事象システムの分散型リライアブル故障診断法を提案する．まず，条件付き論理和($n$,$k$)-リライアブル共可診断性を定義する．次に，条件付き論理和($n$,$k$)-リライアブル共可診断性が，$n$個のローカル診断器のうち任意の$k$個以上のローカル診断器の判断が得られれば正しく故障を検出する，ローカル診断器の判断の統合に条件付き論理和を用いたリライアブルな故障診断器が存在するための必要十分条件であることを示す．そして，条件付き論理和($n$,$k$)-リライアブル共可診断性の検証方法を示す． |
| 抄録(英) | In this paper, we propose a reliable decentralized diagnosis scheme for discrete event systems with conditional decisions.First, we define a notion of ($n$,$k$)-reliable conditional-disjunctive-codiagnosability which guarantees that the occurrence of any failure string is detected within bounded delay as long as at least $k$ of $n$ local decisions are available. Then, we show that ($n$,$k$)-reliable conditional-disjunctive-codiagnosability is a necessary and sufficient condition for the existence of decentralized reliable diagnosers.Finally, we present a method for verifying ($n$,$k$)-reliable conditional-disjunctive-codiagnosability. |
| キーワード(和) | 離散事象システム / 故障診断 / 条件付き判断 / リライアブル共可診断性 |
| キーワード(英) | Discrete event system / Decentralized diagnosis / Conditional decision / Reliable codiagnosability |
| 資料番号 | MSS2019-47,SS2019-31 |
| 発行日 | 2020-01-07 (MSS, SS) |
| 研究会情報 | |
| 研究会 | SS / MSS |
|---|---|
| 開催期間 | 2020/1/14(から2日開催) |
| 開催地（和） | 広島市立大学 サテライトキャンパス |
| 開催地（英） | |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 中田 明夫(広島市大) / 髙井 重昌(阪大) |
| 委員長氏名（英） | Akio Nakata(Hiroshima City Univ.) / Shigemasa Takai(Osaka Univ.) |
| 副委員長氏名（和） | 小林 隆志(東工大) / 尾崎 敦夫(阪工大) |
| 副委員長氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Atsuo Ozaki(Osaka Inst. of Tech.) |
| 幹事氏名（和） | 肥後 芳樹(阪大) / 島 和之(広島市大) / 金澤 尚史(阪大) / 小林 孝一(北大) |
| 幹事氏名（英） | Yoshiki Higo(Osaka Univ.) / Kazuyuki Shima(Hiroshima City Univ.) / Takahumi Kanazawa(Osaka Univ.) / Koichi Kobayashi(Hokkaido Univ.) |
| 幹事補佐氏名（和） | 林 晋平(東工大) / 林 直樹(阪大) |
| 幹事補佐氏名（英） | Shinpei Hayashi(Tokyo Inst. of Tech.) / Naoki Hayashi(Osaka Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 条件付き判断を用いた離散事象システムにおけるリライアブル共可診断性の検証 |
| サブタイトル（和） | |
| タイトル（英） | Verification of reliable codiagnosability for discrete event systems with conditional decidions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 離散事象システム / Discrete event system |
| キーワード(2)（和/英） | 故障診断 / Decentralized diagnosis |
| キーワード(3)（和/英） | 条件付き判断 / Conditional decision |
| キーワード(4)（和/英） | リライアブル共可診断性 / Reliable codiagnosability |
| 第 1 著者 氏名（和/英） | 濱田 匠 / Takumi Hamada |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 高井 重昌 / Shigemasa Takai |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2020-01-14 |
| 資料番号 | MSS2019-47,SS2019-31 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | MSS-361,SS-362 |
| ページ範囲 | pp.37-42(MSS), pp.37-42(SS), |
| ページ数 | 6 |
| 発行日 | 2020-01-07 (MSS, SS) |