An implicit representation for the analysis of piecewise affine discrete-time systems. (January 2023)