Diagnosability of Discrete-Event Systems with Uncertain Observations
Author:
Affiliation:

Clc Number:

Fund Project:

National Natural Science Foundation of China (61603152, 61463044, 61363030); Research Program of Guangxi Key Laboratory of Trusted Software (KX201604, KX201606, KX201419, KX201330); Scientific Research Fund of Guizhou Provincial Science and Technology Department (LH[2014]7421); Guangxi Natural Science Foundation (2015GXNSFAA139285)

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

    Diagnosability is an important property of discrete-event system (DES) from the perspective of diagnosis. It requires that every fault can be detected and isolated within a finite number of observations after its occurrence. In numerous literatures, diagnosability is studied under the assumption that an observation is certain, i.e., the observation corresponds to the sequence of observable events exactly taking place in the DES. But in practical applications, the assumption may become inappropriate. Due to various reasons such as the precision of sensors and noises in transmission channels, the available observation may be uncertain. This paper focuses on the diagnosability of DESs with uncertain observations. It extends the definition of diagnosability to cope with uncertain observations. Methods are given to check the diagnosability with three types of uncertain observations accordingly. In a more general scenario where multiple uncertainties exist in the observation, a method is also provided to check the diagnosability with all the uncertainties of the observation together.

    Reference
    Related
    Cited by
Get Citation

文习明,余泉,常亮,王驹.不确定观测下离散事件系统的可诊断性.软件学报,2017,28(5):1091-1106

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 15,2016
  • Revised:September 25,2016
  • Adopted:
  • Online: January 22,2017
  • 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