Presents model-based analysis & design methods for fault diagnosis & fault-tolerant control. This book uses architectural & structural models to analyse the propagation of the fault through the process, test fault detectability & reveal redundancies that can be used to ensure fault tolerance.