Input-to-state stabilization for nonlinear sampled-data systems via approximate discrete-time plant models | IEEE Conference Publication | IEEE Xplore