Implicit IDA-PBC for Underactuated Mechanical Systems: An LMI-based Approach | IEEE Conference Publication | IEEE Xplore