Introduction to diagnosis of active systems
Auteur :
Lamperti, Gianfranco / Zanella, Marina / Zhao, Xiangfu
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030065034
Date de publication :
26 janv. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.