Mixed logical dynamic based path-tracking model predictive control for autonomous vehicles | IEEE Conference Publication | IEEE Xplore