Decentralized Diagnosis of Discrete Event Systems

Chapter 3 handles the problem of achieving fault diagnosis of discrete event systems using a decentralized processing structure. It classifies the decentralized diagnosis approaches into two main categories: 1) the approaches using a global model in order to construct the local diagnosers and 2) the approaches using local models in order to construct the local diagnosers. Each of these two categories is divided into two main subcategories: the approaches considering a fault as the execution of an event and the approaches considering a fault as the violation of specifications. Chapter 3 develops one typical approach of each of these categories.