Diagnosis of Active Systems: Principles and Techniques

ISBN-13: 9789048177851 / Angielski / Miękka / 2010 / 426 str.

G. Lamperti; Marina Zanella

Opis

This book is a comprehensive work on model-based diagnosis of a broad class of discrete-event systems, called active systems. The diagnostic approach, developed over several years by the authors, is surveyed along with introductory elements and related contributions. The area is new and the presented material is not collected in any other outlet. Each subject is dealt with both informally and formally, so that, based on a variety of examples, the reader can understand the basic ideas at an intuitive level first, while possibly delving into formal details afterwards. Based on an insight into an advanced technology, researchers and system engineers are likely to draw inspiration to cope with conceptual and practical aspects of the complex task of diagnosis.

Audience: This volume will be of interest to researchers in the field of model-based diagnosis, both in academic and industrial contexts, and to students of artificial intelligence, knowledge engineering and algorithms and data structures, and to system engineers involved in the monitoring and diagnosis of industrial apparatus.

Recenzje

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)

Spis treści

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.