Introduction to Diagnosis of Active Systems
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...
| Main Authors: | , , |
|---|---|
| Corporate Author: | |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Edition: | 1st ed. 2018. |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-319-92733-6 |
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.