Contraction analysis and control synthesis for discrete-time nonlinear processes. (July 2022)