Symbolic analysis of large signals in nonlinear systems | IEEE Conference Publication | IEEE Xplore