Diagnosability of Vector Discrete-Event Systems Using Predicates. - Qinrui Chen; Li Yin; Naiqi Wu; Mohammed A. El-Meligy; Mohamed Sharaf 001; Zhiwu Li 001 (IEEE Access, 2019)