Introduction to Diagnosis of Active Systems

Focusing on model-based diagnosis, this comprehensive resource explores active systems within discrete-event systems. It defines the diagnosis problem and discusses various reasoning mechanisms for generating diagnoses, particularly in monitoring contexts. Structured into twelve chapters, each featuring its own introduction and concluding summaries, the book employs numerous examples, figures, and tables to clarify concepts. Key ideas are formalized into propositions and theorems, and detailed algorithms are provided in pseudocode, enhancing the reader's understanding of the material.