Design of Strongly Stabilizing Controllers for Underactuated Systems: An Example of the Cart-Pendulum System | IEEE Conference Publication | IEEE Xplore