Fault Detection for Markovian Jump Systems With Sensor Saturations and Randomly Varying Nonlinearities | IEEE Journals & Magazine | IEEE Xplore