Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions | IEEE Conference Publication | IEEE Xplore