Abstractions of Hamiltonian control systems