Skip to main content
SpringerLink
Log in

Diagnosis of Active Systems

Principles and Techniques

  • Book
  • © 2003

Overview

Authors:
  1. Gianfranco Lamperti

    1. Dipartimento di Elettronica per l’Automazione, Università degli Studi di Brescia, Brescia, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Marina Zanella

    1. Dipartimento di Elettronica per l’Automazione, Università degli Studi di Brescia, Brescia, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 741)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages i-xxxiv
    Download chapter PDF

  2. Background

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Model-Based Diagnosis

      • Gianfranco Lamperti, Marina Zanella
      Pages 3-20

    3. Diagnosis of Discrete-Event Systems

      • Gianfranco Lamperti, Marina Zanella
      Pages 21-57

  3. Diagnosis of Active Systems

    1. Front Matter

      Pages 59-59
      Download chapter PDF

    2. Active Systems

      • Gianfranco Lamperti, Marina Zanella
      Pages 61-80

    3. Monolithic Diagnosis

      • Gianfranco Lamperti, Marina Zanella
      Pages 81-112

    4. Modular Diagnosis

      • Gianfranco Lamperti, Marina Zanella
      Pages 113-150

  4. Polymorphic Systems

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. Simulation-Based Diagnosis

      • Gianfranco Lamperti, Marina Zanella
      Pages 153-192

    3. Rule-Based Diagnosis

      • Gianfranco Lamperti, Marina Zanella
      Pages 193-233

    4. Monitoring-Based Diagnosis

      • Gianfranco Lamperti, Marina Zanella
      Pages 235-264

  5. Advanced Topics

    1. Front Matter

      Pages 265-265
      Download chapter PDF

    2. Uncertain Observations

      • Gianfranco Lamperti, Marina Zanella
      Pages 267-313

    3. Complex Observations

      • Gianfranco Lamperti, Marina Zanella
      Pages 315-343

    4. Uncertain Events

      • Gianfranco Lamperti, Marina Zanella
      Pages 345-366

    5. Distributed Observations

      • Gianfranco Lamperti, Marina Zanella
      Pages 367-391

    6. Sample Application

      • Gianfranco Lamperti, Marina Zanella
      Pages 393-414

  6. Back Matter

    Pages 415-426
    Download chapter PDF
Back to top

Keywords

About this book

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.

Reviews

From the reviews:

"The book is an outstanding monograph of a recent research trend and reflects the experience of its authors in model-based diagnosis of a broad class of discrete-event systems, called active systems. … The book is highly recommended to scientists and researchers working in the fields of artificial intelligence, control algorithms and data structures. The material can also be used for graduate courses in these areas. Engineers as well as software designers will find useful information to develop complex applications for supervising and monitoring industrial systems." (Octavian Pastravanu, Zentralblatt MATH, Vol. 1044 (19), 2004)

Authors and Affiliations

  • Dipartimento di Elettronica per l’Automazione, Università degli Studi di Brescia, Brescia, Italy

    Gianfranco Lamperti, Marina Zanella

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation