Discrete-time closed-form solution of time-optimal seek control for hard disk drives | IEEE Conference Publication | IEEE Xplore