文献

J-GLOBAL ID：201002241152247087   整理番号：10A0931851

非決定出力作用を持ったMealyオートマトンによりモデル化された離散事象システムの分散化診断

Decentralized Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions

著者 (2件)： TAKAI Shigemasa (Osaka Univ., Osaka, JPN) ,  USHIO Toshimitsu (Osaka Univ., Osaka, JPN)
資料名： Proceedings of the American Control Conference  (Proceedings of the American Control Conference)
巻： 2010 Vol.4  ページ： 2613-2618  発行年： 2010年 
JST資料番号： B0982A  ISSN： 0743-1619  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 非決定出力作用を持ったMealyオートマトンによりモデル化された離散事象システムのための分散化した故障診断問題を考えた。この問題は,一様に境界が付いたステップ数の中で少なくとも1つの局所診断子によって,状態依存で非決定局所観察の下でどんな故障発生も検出されることが必要である。共通診断能力特性は分散された故障診断子の中で重要な役割を果たす。共通診断能力の拡張版(名付けて{M_i}_i∈I共通診断能力)を紹介し,これが分散化した診断子の存在に関する必要十分条件を提供することを証明した。そして,{M_i}_i∈I共通診断能力を検証するアルゴリズムを提示した。更に,局所的オンライン診断子を合成するためのモデルを開発した。

シソーラス用語： *非決定性オートマトン ,  オートマトン ,  離散系 ,  計算機診断 ,  *故障診断 ,  非決定性 ,  分散化
準シソーラス用語： *Mealyオートマトン ,  オンライン診断 ,  *離散事象システム

分類 (2件)： その他のシステムプログラミング  (JD03070M) ,  信頼性  (KB04040H)

タイトルに関連する用語 (5件)： オートマトン ,  モデル ,  離散事象システム ,  分散化 ,  診断