Constrained minimum-time trajectory generation for a laboratory-scale magnetic-levitation system | IEEE Conference Publication | IEEE Xplore