Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets

Creative Commons License

Li S., UZAM M., Yin L., Zhong Z., Zheng L., Wu N.

IEEE ACCESS, cilt.9, ss.163504-163515, 2021 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 9
  • Basım Tarihi: 2021
  • Doi Numarası: 10.1109/access.2021.3132642
  • Dergi Adı: IEEE ACCESS
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Compendex, INSPEC, Directory of Open Access Journals
  • Sayfa Sayıları: ss.163504-163515
  • Anahtar Kelimeler: Automata, Sensors, Petri nets, Fault diagnosis, Synchronization, Discrete-event systems, Fault detection, Fault diagnosis, discrete event system, robust diagnosability, labeled Petri net, DEADLOCK CONTROL, MANUFACTURING SYSTEMS, FAILURE DIAGNOSIS, FAULT-DIAGNOSIS
  • Yozgat Bozok Üniversitesi Adresli: Evet

Özet

Over the past decades, fault diagnosis of discrete event systems has many applications and attracts much attention from researchers and practitioners. With the increasingly high requirements on the reliability of cyber-physical systems such as automated manufacturing systems, fault detection technology has been unprecedentedly developed. Traditional approaches to diagnosability analysis of discrete event systems assume that all the communications between sensors and diagnosers work normally and correctly. However, communication failures may occur anytime, which may cause the loss of observations. This observation loss makes traditional diagnosers fail or report incorrect information. The problem of fault diagnosis against intermittent loss of observations is addressed, i.e., robust diagnosability. In this paper, an approach to robust diagnosability analysis based on labeled Petri nets is presented. A necessary and sufficient condition for robust diagnosability is proposed. We also introduce a verification procedure of robust diagnosability using robust reachability diagnosers.