Computational approach to input-to-state stability analysis of a class of nonlinear systems

Numerically tractable conditions for input-to-state stability (ISS) analysis are given for a class of nonlinear systems. These conditions originate from ISS inequalities for the cascade connection of the systems and the feedback interconnected system. If class of the systems is restricted such as polynomial ones, then it is possible to avail recent developed sum of squares relaxation of positive polynomials for ISS analysis. One of the keys of these formulations is to realize class K_infin functions, which has inverse map on real nonnegative region, by polynomials.