We develop tools for investigation of input-to-state stability (ISS) of infinite-dimensional control systems. We show that for certain classes of admissible inputs the existence of an ISS-Lyapunov function implies the inputto-state stability of a system. Then for the case of the systems described by abstract equations in Banach spaces we develop two methods of construction of local and global I...

The analysis and design of nonlinear feedback systems has recently undergone an exceptionally rich period of progress and maturation, fueled, to a great extent, by (1) the discovery of certain basic conceptual notions, and (2) the identification of classes of systems for which systematic decomposition approaches can result in effective and easily computable control laws. These two aspects are c...

We prove characterizations of input-to-state stability (ISS) for a large class of infinite-dimensional control systems, including some classes of evolution equations over Banach spaces, time-delay systems, ordinary differential equations (ODE), switched systems. These characterizations generalize wellknown criteria of ISS, proved by Sontag and Wang for ODE systems. For the special case of diffe...

This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary differential equationsmost of the time, but occasionally exhibit discontinuities (or impulses). We provide a set of Lyapunov-based sufficient conditions for establishing these ISS properties. When the continuous dynamics a...