Fault Detection for Markovian Jump Systems With Sensor Saturations and Randomly Varying Nonlinearities | Synapse