IDA-PBC for a class of underactuated mechanical systems with application to a rotary inverted pendulum | IEEE Conference Publication | IEEE Xplore