Karush-Kuhn-Tucker conditions to build efficient contractors; Application to TDoA localization

This paper proposes an efficient contractor for the TDoA (Time Differential of Arrival) equation. The contractor is based on a minimal inclusion test which is built using the Karush-Kuhn-Tucker (KKT) conditions. An application related to the localization of sound sources using a TDoA technique is proposed.