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

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
  • | |
  • Metrics
  • |
  • Reference [21]
  • |
  • Related
  • | | |
  • 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
    [1] Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D. Diagnosability of discrete-event systems. IEEE Trans. on Automatic Control, 1995,40(9):1555-1575. [doi: 10.1109/9.412626]
    [2] Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D. Failure diagnosis using discrete-event models. IEEE Trans. on Control Systems Technology, 1996,4(2):105-124. [doi: 10.1109/87.486338]
    [3] Cassandras CG, Lafortune S. Introduction to Discrete Event Systems. Springer-Verlag, 2006.
    [4] Han X, Shi ZZ, Lin F. Research advances in model-based diagnosis. Chinese High Technology Letters, 2009,19(5):543-550 (in Chinese with English abstract). [doi: 10.3772/j.issn.1002-0470.2009.05.018]
    [5] Zhao XF, Ouyang DT. Progress on model-based diagnosis of discrete-event systems. Journal of Frontiers of Computer Science and Technology, 2011,5(2):114-127 (in Chinese with English abstract).
    [6] Wang XY, Ouyang DT, Zhao XF. Diagnosability of discrete event systems with an incomplete model. Ruan Jian Xue Bao/Journal of Software, 2015,26(6):1373-1385 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/4585.htm [doi: 10.13328/j. cnki.jos.004585]
    [7] Zhao XF, Ouyang DT. Model-Based diagnosis of discrete event systems with an incomplete system model. In: Proc. of the 18th European Conf. on Artificial Intelligence (ECAI 2008). Patras, 2008. 189-193.
    [8] Kwong RH, Yeung DL. Fault diagnosis in discrete-event systems: Incomplete models and learning. IEEE Trans. on Systems, Man, and Cybernetics-Part B: Cybernetics, 2011,41(1):118-130. [doi: 10.1109/TSMCB.2010.2047257]
    [9] Wang XY, Ouyang DT, Zhao J. Discrete-Event system diagnosis upon incomplete model. Ruan Jian Xue Bao/Journal of Software, 2012,23(3):465-475 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/4028.htm [doi: 10.3724/SP.J.1001.2012. 04028]
    [10] Lin F. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems, 1994,4(2):197-212. [doi: 10. 1007/BF01441211]
    [11] Jiang SB, Huang ZD, Chandra V, Kumar R. A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans. on Automatic Control, 2001,46(8):1318-1321. [doi: 10.1109/9.940942]
    [12] Lamperti G, Zanella M. Diagnosis of discrete-event systems from uncertain temporal observations. Artificial Intelligence, 2002, 137(1-2):91-163. [doi: 10.1016/S0004-3702(02)00123-6]
    [13] Rintanen J, Grastien A. Diagnosability testing with satisfiability algorithms. In: Proc. of the 20th Int'l Joint Conf. on Artificial Intelligence (IJCAI 2007). Hyderabad, 2007. 532-537.
    [14] Grastien A, Anbulagan A, Rintanen J, Kelareva E. Diagnosis of discrete-event systems using satisfiability algorithms. In: Proc. of the 22nd National Conf. on Artificial Intelligence (AAAI 2007). Vancouver, 2007. 305-310.
    [15] Su XY, Zanella M, Grastien A. Diagnosability of discrete-event systems with uncertain observations. In: Proc. of the 25th Int'l Joint Conf. on Artificial Intelligence (IJCAI 2016). New York, 2016. 1265-1271.
    [16] Lamperti G, Zanella M. Monitoring of active systems with stratified uncertain observations. IEEE Trans. on Systems, Man, and Cybernetics—Part A: Systems and Humans, 2011,41(2):356-369. [doi: 10.1109/TSMCA.2010.2069096]
    附中文参考文献:
    [4] 韩旭,史忠植,林芬.基于模型诊断的研究进展.高技术通讯,2009,19(5):543-550.
    [5] 赵相福,欧阳丹彤.离散事件系统基于模型诊断的研究进展.计算机科学与探索,2011,5(2):114-127.
    [6] 王晓宇,欧阳丹彤,赵相福.不完备离散事件系统的可诊断性.软件学报,2015,26(6):1373-1385. http://www.jos.org.cn/1000-9825/ 4585.htm [doi: 10.13328/j.cnki.jos.004585]
    [9] 王晓宇,欧阳丹彤,赵剑.不完备模型下的离散事件系统诊断方法.软件学报,2012,23(3):465-475. http://www.jos.org.cn/1000-9825/ 4028.htm [doi: 10.3724/SP.J.1001.2012.04028]
    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
  • Online: January 22,2017
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