A minimal contractor for the polar equation: Application to robot localization. (October 2016)

• Record Type: Journal Article
• Authors: Desrochers, B.; Jaulin, L.
• Is Part Of: Engineering applications of artificial intelligence. Volume 55(2016:Jul.)
• Page Start: 83
• Page End: 92
• Publication Date: 2016-10
• Subjects: Set theory -- Interval analysis -- Constraint programming -- Localization -- Robotics; Engineering -- Data processing -- Periodicals; Artificial intelligence -- Periodicals; Expert systems (Computer science) -- Periodicals; Ingénierie -- Informatique -- Périodiques; Intelligence artificielle -- Périodiques; Systèmes experts (Informatique) -- Périodiques; Artificial intelligence; Engineering -- Data processing; Expert systems (Computer science); Periodicals; 620.00285
• DOI: 10.1016/j.engappai.2016.06.005
• Languages: English
• ISSNs: 0952-1976

Abstract

Abstract: Contractor programming relies on a catalog on elementary contractors which need to be as efficient as possible. In this paper, we introduce a new theorem that can be used to build minimal contractors consistent with equations, and another new theorem to derive an optimal separator from a minimal contractor. As an application, we focus on the channeling polar constraint associated to the change between Cartesian coordinates and Polar coordinates. We illustrate our method on the localization problem of an actual underwater robot where both range and goniometric measurements of landmarks are collected.