Supervision and fault-tolerant control: A robust model-based approach | IEEE Conference Publication | IEEE Xplore