Abstractions of Hamiltonian Control Systems (Finalist, Best Student Paper Award)