The link between IDA-PBC and the direct Lyapunov approach for underactuated mechanical systems | IEEE Conference Publication | IEEE Xplore