非決定出力関数をもつ Mealy オートマトンで表される離散事象システムの診断  [in Japanese] Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions  [in Japanese]

Search this Article

Author(s)

Abstract

離散事象システムの故障診断においては,通常,各事象に対応する出力記号は一意に定まると仮定されている.しかし,モバイルシステムなどでは一般にこの仮定は成立しない.そこで本稿では,このような離散事象システムを非決定出力関数をもつ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.

Journal

  • IEICE technical report

    IEICE technical report 109(301), 47-52, 2009-11-09

    The Institute of Electronics, Information and Communication Engineers

References:  12

Codes

  • NII Article ID (NAID)
    110007505211
  • NII NACSIS-CAT ID (NCID)
    AN10438446
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09135685
  • NDL Article ID
    10477842
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  NDL  NII-ELS 
Page Top