Multiple-model based diagnosis for adaptive fault-tolerant control