Fault Diagnosis of Linear Discrete Systems Based on an Unknown Input Observer