State estimation by interval analysis for a nonlinear differential aerospace model

This paper deals with guaranteed state estimation in a bounded-error context for an aerospace model. Perturbations are assumed bounded but otherwise unknown. The main tools to solve this problem are the guaranteed techniques for ordinary differential equation integration and set inversion. The obtained results show the efficiency of the method.