R. Suard, Johan Löfberg, Pascal Grieder, Michal Kvasnica, Manfred Morari: Efficient computation of controller partitions in multi-parametric programming. CDC 2004: 3643-3648