Diagnosis of Active Systems Principles and Techniques

From the reviews:

"The book is an outstanding monograph of a recent research trend and reflects the experience of its authors in model-based diagnosis of a broad class of discrete-event systems, called active systems. … The book is highly recommended to scientists and researchers working in the fields of artificial intelligence, control algorithms and data structures. The material can also be used for graduate courses in these areas. Engineers as well as software designers will find useful information to develop complex applications for supervising and monitoring industrial systems." (Octavian Pastravanu, Zentralblatt MATH, Vol. 1044 (19), 2004)