A computation method of formal linearization for time-variant nonlinear systems via Chebyshev interpolation | IEEE Conference Publication | IEEE Xplore