Ebook: 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 physical artefact that is modeled as a network of com­ municating automata. For example, the protection apparatus of a power transmission network can be conveniently modeled as an active system, where breakers, protection devices, and lines are naturally described by finite state machines. The asynchronous occurrence of a short circuit on a line or a bus-bar causes the reaction of the protection devices, which aims to isolate the shorted line. This reaction can be faulty and several lines might be eventually isolated, rather than the shorted line only. The diagnostic problem to be solved is uncovering the faulty devices based the visible part of the reaction. Once the diagnosis task has been on accomplished, the produced results are exploited to fix the apparatus (and also to localize the short circuit, in this sample case). Interestingly, the research presented in this book was triggered a decade ago by a project 011 short circuit localization, conducted by ENEL, the Italian electricity board, along with other industrial and academic European partners.

---

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.

---

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.

Content:
Front Matter....Pages i-xxxiv
Front Matter....Pages 1-1
Model-Based Diagnosis....Pages 3-20
Diagnosis of Discrete-Event Systems....Pages 21-57
Front Matter....Pages 59-59
Active Systems....Pages 61-80
Monolithic Diagnosis....Pages 81-112
Modular Diagnosis....Pages 113-150
Front Matter....Pages 151-151
Simulation-Based Diagnosis....Pages 153-192
Rule-Based Diagnosis....Pages 193-233
Monitoring-Based Diagnosis....Pages 235-264
Front Matter....Pages 265-265
Uncertain Observations....Pages 267-313
Complex Observations....Pages 315-343
Uncertain Events....Pages 345-366
Distributed Observations....Pages 367-391
Sample Application....Pages 393-414
Back Matter....Pages 415-426

---

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.

Content:
Front Matter....Pages i-xxxiv
Front Matter....Pages 1-1
Model-Based Diagnosis....Pages 3-20
Diagnosis of Discrete-Event Systems....Pages 21-57
Front Matter....Pages 59-59
Active Systems....Pages 61-80
Monolithic Diagnosis....Pages 81-112
Modular Diagnosis....Pages 113-150
Front Matter....Pages 151-151
Simulation-Based Diagnosis....Pages 153-192
Rule-Based Diagnosis....Pages 193-233
Monitoring-Based Diagnosis....Pages 235-264
Front Matter....Pages 265-265
Uncertain Observations....Pages 267-313
Complex Observations....Pages 315-343
Uncertain Events....Pages 345-366
Distributed Observations....Pages 367-391
Sample Application....Pages 393-414
Back Matter....Pages 415-426
....