Multi-Parametric Toolbox 3.0 | IEEE Conference Publication | IEEE Xplore