On the input-to-state stability (ISS) of a double integrator with saturated linear control laws | IEEE Conference Publication | IEEE Xplore