Vers une estimation d'état certifiable en cas de dégénérescence de l'observabilité

Des chercheurs publient sur arXiv (2610.20490, première version) un cadre de certification duale pour l'estimation d'état en robotique lorsque les capteurs ne rendent pas tous les degrés de liberté observables. Les méthodes certifiables reposent sur des relaxations semi-définies (SDP) convexes d'un problème non convexe, résolues par points intérieurs, et fournissent une garantie d'optimalité globale. Sous dégénérescence d'observabilité, la solution de la relaxation voit son rang augmenter. L'extraction directe de la solution par arrondi spectral n'est alors plus valide. Les auteurs montrent d'abord que la dégénérescence étend l'ensemble primal optimal en une face de coût constant, sans altérer l'exactitude du coût ni la récupération des multiplicateurs. La vérification globale devient donc possible sans résoudre le SDP. Ils proposent ensuite une recherche locale tenant compte de l'observabilité, avec remappage de la solution, et une formule fermée pour les multiplicateurs duaux, annoncée en latence sub-microseconde. Enfin, un seuil de sécurité duale adaptatif, fondé sur la plus petite valeur propre non nulle du Hessien observable et sur les résidus non éliminés, évite de rejeter à tort des candidats optimaux. La validation porte sur le recalage robuste avec mesures dégénérées.

L'intérêt pratique est de lever un verrou connu de la certification. Dans les scénarios réels (couloirs géométriquement pauvres, nuages de points planaires, capteurs peu contraignants), la dégénérescence est fréquente, et c'est précisément là que les garanties comptent le plus pour un système autonome. Si les résultats tiennent, un solveur pourrait vérifier un candidat en quelques microsecondes, sans payer le coût d'un SDP complet, ce qui rapproche la certification du temps réel embarqué. Une réserve s'impose : le résumé ne donne aucun chiffre comparatif, ni jeu de données, ni taux de réussite. La latence sub-microseconde concerne la seule récupération des multiplicateurs, pas la chaîne complète.

Ce travail prolonge la lignée des estimateurs certifiables apparus ces dernières années, comme SE-Sync pour la SLAM par graphe de poses ou TEASER++ pour le recalage robuste, qui supposent en général des mesures suffisamment informatives. Il s'agit d'un préprint non évalué par les pairs, sans code ni déploiement annoncé dans le résumé. Les suites logiques seraient une implémentation ouverte, des tests sur des robots réels et une comparaison avec les solveurs certifiables existants.