Matrix Approach to Current-state Detectability of Discrete-event Systems

DOI
  • Wang Jinliang
    College of Electronic Information and Automation, Tianjin University of Science and Technology
  • Wei Jiawei
    College of Electronic Information and Automation, Tianjin University of Science and Technology
  • Han Xiaoguang
    College of Electronic Information and Automation, Tianjin University of Science and Technology

説明

In our previous work, a matrix-based framework is proposed to tackle the problem of verifying strong detectability in the context of partially-observed nondeterministic discrete event systems (DESs). Two key concepts, namely, unobservable reach and detector, are redefined therein. Also, the dynamics of a detector, under the frameworks of the Boolean semi-tensor product of matrices, are converted equivalently into an algebraic representation. In this paper, we extend our previous work to other versions of detectability, including strong periodic detectability, weak detectability, and weak periodic detectability. Several necessary and sufficient conditions are derived for verifying aforementioned three types of detectability, respectively. Compared with the existing ones, the proposed methodology is easier to be implemented in software in the sense that it avoids the symbolic manipulations. Finally, an example is given to illustrate the theoretical results.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1390573242530124160
  • DOI
    10.5954/icarob.2022.os30-4
  • ISSN
    21887829
  • 本文言語コード
    en
  • データソース種別
    • JaLC
    • Crossref
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ