Input-to-state stability of infinite-dimensional control systems

We define the notion of local ISS-Lyapunov function and prove, that existence of a local ISS-Lyapunov function implies local ISS (LISS) of the system. Then we consider infinite-dimensional systems generated by differential equations in Banach spaces. We prove, that an interconnection of such systems is ISS if all the subsystems are ISS and the small-gain condition holds. Next we show that a system is LISS provided its linearization is ISS. In the second part of the thesis we deal with infinite-dimensional impulsive systems. We prove, that existence of an ISS Lyapunov function (not necessarily exponential) for an impulsive system implies ISS of the system over impulsive sequences satisfying nonlinear fixed dwell-time condition. Also we prove, that an impulsive system, which possesses an exponential ISS Lyapunov function is uniform ISS over impulse time sequences, satisfying the generalized average dwell-time condition. Then we generalize small-gain theorems to the case of impulsive systems.