Converse Lyapunov theorems for infinite-dimensional nonlinear switching systems | IEEE Conference Publication | IEEE Xplore