Introduction to Diagnosis of Active Systems

Focusing on model-based diagnosis of active systems, this comprehensive guide presents a thorough exploration of reasoning mechanisms for diagnosing discrete-event systems. Structured into twelve chapters, each featuring its own introduction and concluding summaries, the book employs numerous examples, figures, and tables to illustrate concepts. Key ideas are formalized into propositions and theorems, and detailed algorithms are provided in pseudocode, making complex topics accessible and practical for readers interested in advanced diagnostic methodologies.