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. 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.
