Template complex zonotopes for stability and invariant verification | IEEE Conference Publication | IEEE Xplore