Overshoot suppression control based on final tracking error estimation and quantifier elimination | IEEE Conference Publication | IEEE Xplore