Input-Output Linearization of a Thermoelectric Cooler for an Ice Clamping System Using a Dual Extended Kalman Filter | IEEE Conference Publication | IEEE Xplore