Diagnosis of Active Systems

Principles and Techniques

  • Gianfranco Lamperti
  • Marina Zanella

Part of the Diagnosis of Active Systems book series (SECS, volume 741)

Table of contents

  1. Front Matter
    Pages i-xxxiv
  2. Background

    1. Front Matter
      Pages 1-1
    2. Gianfranco Lamperti, Marina Zanella
      Pages 3-20
    3. Gianfranco Lamperti, Marina Zanella
      Pages 21-57
  3. Diagnosis of Active Systems

    1. Front Matter
      Pages 59-59
    2. Gianfranco Lamperti, Marina Zanella
      Pages 61-80
    3. Gianfranco Lamperti, Marina Zanella
      Pages 81-112
    4. Gianfranco Lamperti, Marina Zanella
      Pages 113-150
  4. Polymorphic Systems

    1. Front Matter
      Pages 151-151
    2. Gianfranco Lamperti, Marina Zanella
      Pages 153-192
    3. Gianfranco Lamperti, Marina Zanella
      Pages 193-233
    4. Gianfranco Lamperti, Marina Zanella
      Pages 235-264
  5. Advanced Topics

    1. Front Matter
      Pages 265-265
    2. Gianfranco Lamperti, Marina Zanella
      Pages 267-313
    3. Gianfranco Lamperti, Marina Zanella
      Pages 315-343
    4. Gianfranco Lamperti, Marina Zanella
      Pages 345-366
    5. Gianfranco Lamperti, Marina Zanella
      Pages 367-391
    6. Gianfranco Lamperti, Marina Zanella
      Pages 393-414
  6. Back Matter
    Pages 415-426

About this book

Introduction

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.

Keywords

algorithms artificial intelligence data structures intelligence knowledge knowledge engineering simulation system

Authors and affiliations

  • Gianfranco Lamperti
    • 1
  • Marina Zanella
    • 1
  1. 1.Dipartimento di Elettronica per l’AutomazioneUniversità degli Studi di BresciaBresciaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-017-0257-7
  • Copyright Information Springer Science+Business Media B.V. 2003
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-7785-1
  • Online ISBN 978-94-017-0257-7
  • Series Print ISSN 0893-3405
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace