Diagnosis of discrete event systems: a modular approach

We introduce a modular architecture for diagnosis in the framework of discrete event systems. The architecture is best suited for systems with multiple interacting components. We suggest to use local diagnosis at each component and provide conditions on the system structure so that the global system behavior can be diagnosed using these local diagnoses. We also discuss a test to check the diagnosability of a given system in the modular architecture set up.