Abstract: A variety of applications including reachability analysis, model predictive control, and motion planning for robotics use polytopes described by hyperplanes to represent sets of permissible ...