Introduction to diagnosis of active systems - Lamperti, Gianfranco; Zanella, Marina; Zhao, Xiangfu (Springer, 2018)