Active Fault Diagnosis for Stochastic Systems Within Neyman–Pearson Framework | IEEE Journals & Magazine | IEEE Xplore