非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断

• 高井 重昌

• 潮 俊光

Bibliographic Information

Other Title

• ヒケッテイ シュツリョク カンスウ オ モツ Mealy オートマトン デ アラワサレル リサン ジショウ システム ノ シンダン
• Diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions
• コンカレント工学
• コンカレント コウガク

Journal

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 109 (301), 47-52, 2009-11

  東京 : 電子情報通信学会

Keywords

• 離散事象システム
• 診断
• 可診断性
• Mealyオートマトン
• 非決定出力関数
• discrete event system
• diagnosis
• diagnosability
• Mealy automaton
• nondeterministic output function

Details

• CRID: 1520009407683071232
• NII Article ID: 110007505211
• NII Article ID: 110007504637
• NII Book ID: AA1123312X
• ISSN: 09135685
• NDL BIB ID: 10477842
• NDL BIB ID: 10477501
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10477842
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10477501
• Text Lang: ja
• NDL Source Classification:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• Data Source:
  • NDL
  • CiNii Articles