Introduction to Diagnosis of Active Systems

• Main Authors: Lamperti, Gianfranco (Author, http://id.loc.gov/vocabulary/relators/aut), Zanella, Marina (http://id.loc.gov/vocabulary/relators/aut), Zhao, Xiangfu (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Artificial intelligence.; Algorithms.; Control engineering.; Robotics.; Mechatronics.; Artificial Intelligence.; Algorithm Analysis and Problem Complexity.; Control, Robotics, Mechatronics.

This book is an up-to-date self-contained compendium of the research carried out by the authors on model-based diagnosis of a class of discrete-event systems called active systems. After defining the diagnosis problem, the book copes with a variety of reasoning mechanisms that generate the diagnosis...

Table of Contents:

• Introduction
• Finite Automata
• Active Systems
• Diagnosis Problems
• Monolithic Diagnosis
• Modular Diagnosis
• Reactive Diagnosis
• Monotonic Diagnosis
• Reusable Diagnosis
• Sensitive Diagnosis
• Related Work
• Index.