Ce projet propose des algorithmes d'approximation interne pour les systèmes linéaires d'équations par intervalles, appliqués à l'analyse des capacités des robots. Il permet de calculer des polytopes, des boules ou des cubes inscrits dans des ensembles définis, afin d'évaluer de manière fiable les performances et les limites opérationnelles des systèmes robotiques.