Converse Lyapunov theorems for infinite-dimensional nonlinear switching systems

International audienceIn this paper, we provide two converse Lyapunov theorems in the framework of nonlinear infinite-dimensional switching systems. Our results characterize uniform exponential stability with respect to the switching law through the existence of both coercive and non-coercive Lyapunov functionals. The starting point for our arguments is a generalization of the well-known Datko lemma to the case of nonlinear infinite-dimensional switching systems