Survey of model-based failure detection and isolation in complex plants | Synapse