Input-to-State Stability of Nonlinear Impulsive Systems Subjects to Actuator Saturation and External Disturbance | IEEE Journals & Magazine | IEEE Xplore