by Gianfranco Lamperti
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, i…