Introduction to Diagnosis of Active Systems
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Springer Nature Switzerland AG, 2019
121,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783030065034
- ISBN-10
- 3030065030
- Publisher
- Springer Nature Switzerland AG
- Year
- 2019
- Publication date
- 2019-01-26
- Pages
- 353
- Dimensions
- 235x155x