Stochastic input-to-state stability and applications to global feedback stabilization | Synapse