Lyapunov conditions for input-to-state stability of impulsive systems | doi.page