A. Alessio Mircea Lazar Alberto Bemporad W. P. M. H. Heemels Squaring the circle: An algorithm for generating polyhedral invariant sets from ellipsoidal ones. 2096-2103 2007 43 Automatica 12 http://dx.doi.org/10.1016/j.automatica.2007.04.028 db/journals/automatica/automatica43.html#AlessioLBH07