Analysis of input-to-state stability for discrete time nonlinear systems via dynamic programming

The input-to-state stability (ISS) property for systems with disturbances has received considerable attention over the past decade or so, with many applications and characterizations reported in the literature. The main purpose of this paper is to present analysis results for ISS that utilize dynamic programming techniques to characterize minimal ISS gains and transient bounds. These characterizations naturally lead to computable necessary and sufficient conditions for ISS. Our results make a connection between ISS and optimization problems in nonlinear dissipative systems theory (including L2-gain analysis and nonlinear H∞ theory). As such, the results presented address an obvious gap in the literature.