Consistency techniques for the localization of a satellite

Luc Jaulin (1, 2, 3)

1 STIC - Département STIC [Brest]
2 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 LISA - Laboratoire d'Ingéniérie des Systèmes Automatisés

This paper recalls that the problem of estimating the state vector of a nonlinear dynamic system can be interpreted as a constraint satisfaction problem over continuous domains with a large number (several thousands) of variables and constraints. Consistency techniques are then shown to be particularly efficient to contract the domains for the variables involved. This is probably due to the large number of redundancies naturally involved in the constraints of the problem. The approach is illustrated on the estimation of the position of a satellite in orbit around the earth.

Domaines: Sciences de l'ingénieur [physics]

Luc Jaulin. Consistency techniques for the localization of a satellite. 1st International Workshop on Global Constrained Optimization and Constraint Satisfaction (Cocos'02), Oct 2002, Valbonne-Sophia Antipolis, France. ⟨hal-00845714⟩