Séminaire de doctorants - Algassimou DIALLO11h | Polytech Angers | B106 | 62 Notre Dame du Lac - 49000 Angers

Le 13 mars 2025

Sujet : Contracteur Optimal pour le Problème de Satisfaction de Contrainte Triangulaire.

Résumé

Présentation d'une méthode optimale pour contracter un problème de satisfaction de contraintes triangulaire, composé de trois contraintes de distance. Contrairement aux méthodes traditionnelles d'analyse par intervalles, cette approche prend en compte l'ensemble des trois contraintes de manière globale et se concentre sur les arêtes des boîtes du CSP, plutôt que sur leur totalité, afin de calculer les plus petites boîtes contenant la solution du CSP. Elle repose sur la propagation de contraintes, des outils d'analyse par intervalles et certaines propriétés topologiques de la frontière de la solution du CSP triangulaire. Ce contracteur peut être appliqué dans divers contextes, notamment pour améliorer la localisation en robotique.