Computation of polyhedral H-invariant sets for saturated systems | IEEE Conference Publication | IEEE Xplore