Efficient computation of controller partitions in multi-parametric programming | IEEE Conference Publication | IEEE Xplore