Squaring the circle: an algorithm for generating polyhedral invariant sets from ellipsoidal ones | IEEE Conference Publication | IEEE Xplore