Nonlinear Control of Underactuated Systems Subject to Both Actuated and Unactuated State Constraints With Experimental Verification | Synapse