A Primal Active-Set Minimal-Representation Algorithm for Polytopes with Application to Invariant-Set Calculations | IEEE Conference Publication | IEEE Xplore