Stability of discrete-time systems via polytopes of reflection vector sets