Polynomial-Time Verification of Decentralized Fault Pattern Diagnosability for Discrete-Event Systems

Ye Liang, Gaiyun Liu () and Ahmed M. El-Sherbeeny
Additional contact information
Ye Liang: School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
Gaiyun Liu: School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
Ahmed M. El-Sherbeeny: Department of Industrial Engineering, College of Engineering, King Saud University, Riyadh 11421, Saudi Arabia

Mathematics, 2023, vol. 11, issue 18, 1-12

Abstract: This paper considers the verification of decentralized fault pattern diagnosability for discrete event systems, where the pattern is modeled as a finite automaton whose accepted language is the objective to be diagnosed. We introduce a notion of codiagnosability to formalize the decentralized fault pattern diagnosability, which requires the pattern to be detected by one of the external local observers within a bounded delay. To this end, a structure, namely a verifier, is proposed to verify the codiagnosability of the system and the fault pattern. By studying an indeterminate cycle of the verifier, sufficient and necessary conditions are provided to test the codiagnosability. It is shown that the proposed method requires polynomial time at most. In addition, we present an approach to extend the proposed verifier structure so that it can be applied to centralized cases.

Keywords: discrete event system; decentralized diagnosis; fault pattern; codiagnosability; computational complexity (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2023
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://www.mdpi.com/2227-7390/11/18/3998/pdf (application/pdf)
https://www.mdpi.com/2227-7390/11/18/3998/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:11:y:2023:i:18:p:3998-:d:1244012

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().