Diagnosis of Active Systems

• I Background.- 1. Model-Based Diagnosis.- 2. Diagnosis of Discrete-Event Systems.- II Diagnosis of Active Systems.- 3. Active Systems.- 4. Monolithic Diagnosis.- 5. Modular Diagnosis.- III Polymorphic Systems.- 6. Simulation-Based Diagnosis.- 7. Rule-Based Diagnosis.- 8. Monitoring-Based Diagnosis.- IV Advanced Topics.- 9. Uncertain Observations.- 10. Complex Observations.- 11. Uncertain Events.- 12. Distributed Observations.- 13. Sample Application.- References.

From the reviews: "The book is an outstanding monograph of a recent research trend and reflects the experience of its authors in model-based diagnosis of a broad class of discrete-event systems, called active systems. ... The book is highly recommended to scientists and researchers working in the fields of artificial intelligence, control algorithms and data structures. The material can also be used for graduate courses in these areas. Engineers as well as software designers will find useful information to develop complex applications for supervising and monitoring industrial systems." (Octavian Pastravanu, Zentralblatt MATH, Vol. 1044 (19), 2004)