Stability and convergence properties of forced infinite-dimensional discrete-time Lur’e systems

Incremental stability and convergence properties for forced, infinite-dimensional, discrete-time Lur'e systems are addressed. Lur'e systems have a linear and nonlinear component and arise as the feedback interconnection of a linear control system and a static nonlinearity. Discrete-time Lur'e systems arise in, for example, sampled-data control and integro-difference models. We provide conditions, reminiscent of classical absolute stability criteria, which are sufficient for a range of incremental stability properties and input-to-state stability (ISS). Consequences of our results include sufficient conditions for the converging-input converging-state (CICS) property, and convergence to periodic solutions under periodic forcing.