A formal linearization for time-variant nonlinear systems by the cubic Hermite interpolation and its applications | IEEE Conference Publication | IEEE Xplore