A proof of the structure of the minimum-time control law of robotic manipulators using a Hamiltonian formulation | IEEE Journals & Magazine | IEEE Xplore