IDA-PBC for Underactuated Mechanical Systems in Implicit Port-Hamiltonian Representation | IEEE Conference Publication | IEEE Xplore