Asymptotically exact input-output linearization using Carleman linearization | IEEE Conference Publication | IEEE Xplore