Approximating state sets using circumscribing polyhedron with fewer facets | IEEE Conference Publication | IEEE Xplore