Localization analysis of compact invariant sets of multi-dimensional nonlinear systems and symmetrical prolongations