Introduction to Diagnosis of Active Systems

• Κύριοι συγγραφείς: Lamperti, Gianfranco (Συγγραφέας, 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)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: 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...

Πίνακας περιεχομένων:

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