Verification of Codiagnosability Arising in Intersection-Based Decentralized Diagnosis of Discrete Event Systems
Shigemasa Takai, Takashi Yamamoto · IFAC-PapersOnLine · 2024
In the authors’ previous work, two intersection-based architectures, named the normal-state-estimator-intersection-based architecture (N-SEI architecture) and the failure-state-estimator-intersection-based architecture (F-SEI architecture), were developed for decentralized diagnosis of discrete event systems. Then, the corresponding notion of codiagnosability was introduced for each of these architectures. These two notions of codiagnosability are incomparable with each other. In addition, they are incomparable with inference diagnosability for the inference-based architecture. In this paper, for each of the N-SEI and F-SEI architectures, a method for verifying the corresponding notion of codiagnosability effectively is presented.