Tightening polytopic constraint in MPC designs for mobile robot navigation | IEEE Conference Publication | IEEE Xplore