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...
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 fin...
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...
This book is a comprehensive work on model-based diagnosis of a broad class of discrete-event systems, called active systems. The diagnostic approa...
This volume aims to present recent advances in database technology from the viewpoint of the novel database paradigms proposed in the last decade. It focuses on the theory of the extended relational model, and an example of an extended relational database programming language, Algres, is described. A free copy of Algres complements this work, and is available on the Internet.
This volume aims to present recent advances in database technology from the viewpoint of the novel database paradigms proposed in the last decade. It ...
