Underactuated Mechanical Systems With Both Actuator and Actuated/Unactuated State Constraints: A Predictive Control-Based Approach | Synapse