Stability analysis of discrete-time piecewise-affine systems over non-invariant domains