Diagnosability of Discrete Event Systems with an Incomplete Model
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    In modeling a discrete event system, the map from physical system to logic system may be not complete due to the complex behaviors of the system. In this paper, the concept of incomplete model is introduced. Next, a method for judging diagnosability in incomplete model is proposed, and the corresponding on-line version of the method is also presented. Incomplete behaviors can be added to the model, and makes the model complete. Offline diagnosability is judged by classical twin-plant method. According to the ordered observations and prefix of language, the incomplete behaviors are judged and disposed. With an additional method that judge incomplete behaviors, the incomplete behaviors are added into model, and the online diagnosability is judged incrementally in twin-plant by incomplete behaviors. By judging diagnosability online, whether a fault can be found exclusively by limit observations is decided. The proposed methods suit for the systems which is discrete.

    Reference
    Related
    Cited by
Get Citation

王晓宇,欧阳丹彤,赵相福.不完备离散事件系统的可诊断性.软件学报,2015,26(6):1373-1385

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:October 17,2013
  • Revised:February 17,2014
  • Adopted:
  • Online: June 04,2015
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063