Computation of polyhedral H-invariant sets for saturated systems | Publicación