Time optimal swing-up of the planar pendulum | IEEE Conference Publication | IEEE Xplore