Characterization and computation of control invariant sets for linear impulsive control systems. (February 2023)