1# Library to Find Best eBook for Read
Author : G. Lamperti
Release : 2014-01-15
Genre :
Kind : eBook
Book Rating : 584/5 ( reviews)
Book Synopsis Diagnosis of Active Systems by : G. Lamperti
Download or read book Diagnosis of Active Systems written by G. Lamperti. This book was released on 2014-01-15. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Gianfranco Lamperti
Release : 2018-06-20
Genre : Computers
Kind : eBook
Book Rating : 337/5 ( reviews)
Book Synopsis Introduction to Diagnosis of Active Systems by : Gianfranco Lamperti
Download or read book Introduction to Diagnosis of Active Systems written by Gianfranco Lamperti. This book was released on 2018-06-20. Available in PDF, EPUB and Kindle. Book excerpt: 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, possibly within a monitoring setting. The book is structured into twelve chapters, each of which has its own introduction and concludes with bibliographic notes and itemized summaries. Concepts and techniques are presented with the help of numerous examples, figures, and tables, and when appropriate these concepts are formalized into propositions and theorems, while detailed algorithms are expressed in pseudocode. This work is primarily intended for researchers, professionals, and graduate students in the fields of artificial intelligence and control theory.
Author : G. Lamperti
Release : 2013-03-09
Genre : Computers
Kind : eBook
Book Rating : 578/5 ( reviews)
Book Synopsis Diagnosis of Active Systems by : G. Lamperti
Download or read book Diagnosis of Active Systems written by G. Lamperti. This book was released on 2013-03-09. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Author : Roberto Garatti
Release : 2002
Genre :
Kind : eBook
Book Rating : /5 ( reviews)
Book Synopsis Far-Sighted Diagnosis of Active Systems by : Roberto Garatti
Download or read book Far-Sighted Diagnosis of Active Systems written by Roberto Garatti. This book was released on 2002. Available in PDF, EPUB and Kindle. Book excerpt: Active systems are a class of discrete-event systems modeled as networks of non-deterministic automata communicating through either synchronous or asynchronous connection links. The model-based diagnosis of an active system is carried out by first reconstructing its behavior based on the observation, from which faults are later derived. The complexity of behavior reconstruction is exacerbated by the possibility of queuing events within links, thereby making essential the simulation of the order in which events are buffered within links. Unfortunately some sequences of events may lead to blind alleys in the search space. This is especially critical if events exchanged among components are assumed to be uncertain, as the number of alternative sequences of queued events is still larger. Therefore, behavior reconstruction without any prospection in the search space is generally bound to detrimental backtracking. To make diagnosis of active systems more efficient, we present an off-line technique for processing the models inherent to the system at hand so as to automatically generate prospection knowledge relevant to the mode in which events are produced and consumed over links. Such a knowledge is then exploited on-line, when the diagnostic engine is running, to guide the search process, thus reducing both time and space.
Author : G. Lamperti
Release : 2003-06-30
Genre : Computers
Kind : eBook
Book Rating : 875/5 ( reviews)
Book Synopsis Diagnosis of Active Systems by : G. Lamperti
Download or read book Diagnosis of Active Systems written by G. Lamperti. This book was released on 2003-06-30. Available in PDF, EPUB and Kindle. Book excerpt: 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.
