Backstepping design for incremental stability of stochastic Hamiltonian systems | IEEE Conference Publication | IEEE Xplore