Diagnosis in hybrid fault situations under AIM and a unified t -characterization

Abstract This paper characterizes th/thi-diagnosable systems and ti-diagnosable system under the asymmetric invalidation model (AIM) in the presence of hybrid and intermittent faults. This completes the missing part in the theory of t-diagnosability under the most used models, i.e. the symmetric and the asymmetric invalidation models with and without the presence of intermittent faults. A unified t-characterization theorem is also presented in this paper which unites the t-characterization theorems under these models into a single theorem. The diagnosability and diagnosis algorithm for th/thi-diagnosable and ti-diagnosable systems under the AIM are also presented.