Introduction to Diagnosis of Active Systems by Gianfranco Lamperti
English | PDF,EPUB | 2018 | 360 Pages | ISBN : 3319927310 | 6.83 MB
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.