Diagnosis of Active Systems Principles and Techniques

This book is about model-based diagnosis of a class of discrete-event systems called active systems. Roughly, model-based diagnosis is the task of finding out the faulty components of a physical system based on the observed behavior and the system model. An active system is the abstraction of a phys...

Full description

Bibliographic Details
Main Authors: Lamperti, G., Zanella, Marina (Author)
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 2003, 2003
Edition:1st ed. 2003
Series:The Springer International Series in Engineering and Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 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