Discrete-time IDA-PBC design for underactuated Hamiltonian control systems | IEEE Conference Publication | IEEE Xplore