RecherchearXiv cs.RO 17 juillet 2026

Risque et contrôle de croyance sous contraintes : fonctions barrières pour ensembles finis aléatoires

1 source couvre ce sujet·Source originale ↗·

Résumé IASource uniqueImpact UE

Des chercheurs publient sur arXiv (2607.15016v1) un cadre baptisé "risk-aware belief control barrier function" (BCBF) pour sécuriser le contrôle de robots évoluant dans des environnements inconnus et dynamiques, où le nombre d'objets mobiles à éviter varie dans le temps et n'est connu qu'à travers des mesures bruitées et incomplètes. L'incertitude sur cet état multi-objets est modélisée par une croyance au format random finite set (RFS), estimée par un filtre SMC-PHD (sequential Monte Carlo probability hypothesis density) qui la représente sous forme d'un nuage de particules. À partir de ces particules, les auteurs construisent directement une fonction barrière de contrôle non lisse, démontrent l'invariance de l'ensemble de sécurité sous prédiction continue, et établissent une condition explicite garantissant que les mises à jour discrètes du filtre ne compromettent pas cette sécurité. La méthode est validée en simulation puis lors d'expériences réelles en environnement sous-marin.

Ce travail s'attaque à un point de friction connu entre théorie du contrôle et déploiement réel: la plupart des control barrier functions classiques supposent un nombre d'obstacles fixe et connu, hypothèse rarement vraie hors laboratoire. En couplant directement le filtre PHD, qui gère nativement apparitions, disparitions et bruit de détection, à la barrière de sécurité, l'approche évite l'étape fragile de "suivi puis contrôle" où des erreurs d'association de données peuvent silencieusement casser les garanties de sécurité. Pour les intégrateurs de robots mobiles ou sous-marins opérant en environnement encombré et faiblement instrumenté, cela ouvre la voie à des garanties formelles même quand la perception reste imparfaite, un cas de figure encore mal couvert par les CBF probabilistes existantes, souvent limitées à la simulation.

Les control barrier functions se sont imposées depuis une dizaine d'années comme outil de référence du contrôle sûr en robotique, notamment via les travaux d'Aaron Ames à Caltech, mais leur extension à l'incertitude multi-objets reste un champ actif. Les filtres PHD, eux, dérivent des travaux de Ronald Mahler sur les ensembles finis aléatoires appliqués au suivi multi-cibles, formalisme né en défense et surveillance radar avant sa percée en robotique mobile. Aucun partenariat industriel ni calendrier de transfert n'est mentionné: il s'agit pour l'instant d'une preuve de concept en environnement sous-marin contrôlé, sa généralisation à d'autres domaines restant une piste ouverte.

Dans nos dossiers

arXiv cs.RO

À lire aussi

1arXiv cs.RO

Fonctions de barrière de contrôle robustes aux mesures, apprises pour l'évitement d'obstacles sous erreur d'estimation d'état

Un article publié sur arXiv (référence 2608.20467) présente deux nouvelles fonctions barrières de contrôle (CBF) destinées à garantir l'évitement d'obstacles quand l'estimation d'état du robot est imparfaite, une situation courante hors laboratoire. La première, DMR-CBF, ajoute à la condition CBF classique une optimisation sur le pire cas d'incertitude dans la dynamique du système, puis sert à préentraîner une seconde version, NMR-CBF, qui remplace cette optimisation par un terme appris et affiné sur des trajectoires simulées différentiables. Testées sur un double intégrateur planaire et un quadrirotor à 12 degrés de liberté, les deux méthodes évitent les collisions là où d'autres approches robustes échouent ou se montrent trop prudentes. Le NMR-CBF a ensuite été déployé sur un robot quadrupède Unitree Go2, qui a traversé un champ d'obstacles malgré des erreurs d'odométrie ayant fait percuter un filtre CBF standard. Ce travail cible un angle mort connu des filtres de sécurité: la plupart des CBF publiés supposent un état parfaitement connu, hypothèse qui s'effondre dès qu'un robot mobile ou un drone s'appuie sur une odométrie bruitée. Pour les intégrateurs qui évaluent des couches de sécurité pour robots mobiles autonomes (AMR), quadrupèdes ou drones, la démonstration sur Go2 illustre l'écart entre un filtre standard, qui percute l'obstacle sous erreur d'odométrie, et une version robuste qui l'évite avec un coût de calcul réduit grâce à l'apprentissage. Cela va dans le sens d'un secteur qui cherche à combiner garanties de sécurité formelles et budget de calcul compatible avec l'embarqué, plutôt qu'à choisir entre robustesse et temps réel. Le papier s'inscrit dans une lignée récente de travaux sur les CBF robustes à l'erreur d'estimation d'état, une extension encore jeune du cadre CBF classique utilisé pour l'évitement d'obstacles et le contrôle sûr. Les auteurs positionnent DMR-CBF et NMR-CBF face à ces méthodes robustes antérieures, jugées soit sujettes à des violations de sécurité, soit trop conservatrices, et fournissent une analyse théorique du DMR-CBF en complément des résultats empiriques. Sans calendrier de suite précisé, le passage du banc de simulation au robot Go2 en conditions réelles reste l'étape de validation la plus significative avant une éventuelle extension à d'autres plateformes mobiles.

RecherchePaper

1 source

2arXiv cs.RO

Commande à impédance adaptative à sécurité critique via fonctions barrière non lisses sous contraintes d'état et d'entrée

Des chercheurs ont publié sur arXiv (référence 2605.28367v1) un framework de contrôle d'impédance adaptatif en ligne conçu pour garantir la sécurité des manipulateurs robotiques lors d'interactions physiques avec des humains ou des environnements contraints. Le système, validé en simulation sur un manipulateur à 7 degrés de liberté (DOF), combine un filtre de sécurité basé sur un programme quadratique (QP) avec une nouvelle fonction de barrière de contrôle non lisse composée (NCBF), permettant d'imposer simultanément les contraintes de position et de vitesse articulaires via une barrière unifiée de degré relatif un. Les dynamiques inconnues sont compensées en ligne par un système de logique floue de type 2 par intervalles (IT2-FLS), les limites de couple actuateur sont gérées par des contraintes souples avec récupération exacte de solutions réalisables, et un observateur de perturbations renforce la robustesse face aux erreurs de modèle et aux forces d'interaction externes. Les simulations incluent une incertitude paramétrique sévère et des torseurs d'interaction externes appliqués simultanément. Le principal apport technique réside dans la formulation NCBF composée, qui unifie en une seule barrière de degré relatif un deux contraintes habituellement traitées séparément : position et vitesse articulaires. En pratique, les approches CBF standard nécessitent des traitements de degré relatif élevé pour les contraintes de position, ce qui complique la synthèse et réduit la robustesse. Ici, l'unification simplifie le problème QP et maintient la faisabilité même sous perturbations fortes. L'analyse Lyapunov composite prouve formellement l'invariance de l'ensemble sûr et la bornitude ultimement uniforme (UUB) de l'erreur de suivi d'impédance, deux garanties essentielles pour envisager une certification dans des contextes industriels ou médicaux. Ces résultats restent toutefois à l'étape simulation uniquement : aucune validation sur matériel réel n'est rapportée. Le contrôle d'impédance est la référence pour la manipulation compliante depuis les travaux de Hogan dans les années 1980, et les fonctions de barrière de contrôle (CBF) ont connu un essor considérable depuis les contributions d'Ames et al. dans la décennie 2010. Les approches concurrentes incluent les méthodes à tanks d'énergie, le contrôle passif basé sur la passivité, et les CBF à degré relatif élevé. Le recours à l'IT2-FLS distingue ce travail des CBF adaptatifs classiques en offrant une meilleure tolérance à l'incertitude que les systèmes flous de type 1. L'étape logique suivante sera la validation expérimentale sur plateforme réelle, notamment dans des scénarios d'assemblage ou de soins à la personne où l'interaction physique imprévue est la norme.

RecherchePaper

1 source

3arXiv cs.RO

Système Anti-Complémentarité et Fonctions Barrières de Contrôle pour un Contrôle Corporel Complet et Sûr du Robot

Une équipe de chercheurs publie une version révisée sur arXiv (2504.17647v2) d'un travail théorique qui établit, pour la première fois de façon formelle, l'équivalence mathématique entre deux outils utilisés séparément pour garantir la sécurité des robots en temps réel : les contraintes de complémentarité et les fonctions barrières de contrôle, plus connues sous l'acronyme CBF. La démonstration porte sur des systèmes du premier ordre à données échantillonnées, c'est à dire le cadre typique du contrôle numérique embarqué sur un robot réel, et couvre à la fois le cas d'une seule contrainte de sécurité et celui de contraintes multiples simultanées, comme lorsqu'un bras ou un robot à corps entier doit éviter plusieurs obstacles ou respecter plusieurs limites articulaires en même temps. Cette unification théorique a une portée pratique directe pour le contrôle dit "whole body", c'est à dire la coordination de l'ensemble des degrés de liberté d'un robot humanoïde ou d'un bras manipulateur pour garantir l'évitement de collision en réactif, sans replanification lourde. Les deux communautés, celle de l'optimisation sous contraintes de complémentarité et celle des CBF popularisées ces dernières années en robotique et en conduite autonome, avaient développé des garanties de robustesse et des méthodes algorithmiques largement indépendantes. Prouver leur équivalence permet désormais de transférer directement les avancées de l'un vers l'autre : un résultat de robustesse démontré côté complémentarité devient exploitable côté CBF, et inversement, sans repartir de zéro. Pour les équipes qui développent des contrôleurs de sécurité pour robots industriels ou humanoïdes, cela signifie un choix d'implémentation moins contraint par la littérature disponible dans chaque sous domaine. Les CBF se sont imposées depuis une dizaine d'années comme un cadre de référence pour encoder des contraintes de sécurité dans des lois de commande temps réel, tandis que les contraintes de complémentarité viennent de la tradition de l'optimisation et du contrôle optimal sous contraintes d'inégalité. Le fait que ces deux approches, nées dans des communautés distinctes, se révèlent mathématiquement équivalentes dans ce cadre précis ouvre la voie à des travaux de comparaison plus larges, notamment pour des systèmes du second ordre et des scénarios de contraintes plus complexes, que les auteurs identifient explicitement comme prochaine étape de recherche.

RecherchePaper

1 source

4arXiv cs.RO

Planification de trajectoire multimodale pour véhicules de surface via des fonctions barrières de contrôle basées sur le cercle de giration

Une équipe de recherche publie sur arXiv (référence 2608.19537v1, soumission classée "new") une méthode de planification de trajectoire pour véhicules de surface autonomes (USV) évoluant en environnement dynamique, combinant commande prédictive par modèle (MPC) et une fonction barrière de contrôle fondée sur le cercle de giration du navire, baptisée TC-CBF. Contrairement aux fonctions barrière classiques basées sur la distance euclidienne, qui jugent la sécurité uniquement à la proximité d'un obstacle, la TC-CBF intègre la cinématique non holonome et le rayon de virage fini du navire pour délimiter géométriquement des zones d'évitement réalisables, générant deux modes distincts, virage à gauche et virage à droite. Le solveur d'optimisation peut ainsi explorer des trajectoires topologiquement différentes sans nécessiter de chemin guide planifié globalement en amont, une contrainte habituelle des approches multimodales existantes. Sur des simulations impliquant plusieurs navires en mouvement et différentes densités de trafic, la méthode affiche un taux de réussite supérieur, moins de violations de sécurité et des violations résiduelles plus faibles que les approches MPC à mode unique utilisées comme référence. L'enjeu dépasse l'exercice académique: les systèmes de navigation autonome en mer butent souvent sur les mêmes limites que les robots terrestres non holonomes, à savoir le blocage dans des minima locaux ou les situations de deadlock lorsqu'un unique mode d'évitement ne suffit plus face à un trafic dense de plusieurs obstacles mobiles. En intégrant la direction d'évitement directement dans la contrainte de sécurité plutôt que dans une couche de planification globale séparée, l'approche réduit la charge de calcul, un critère décisif pour l'embarqué à bord de véhicules de surface aux ressources limitées. Pour les intégrateurs de systèmes maritimes autonomes, ports intelligents, surveillance côtière ou navigation commerciale sans équipage, cela représente une piste concrète pour fiabiliser l'évitement de collision en environnement encombré, un point encore fragile dans les démonstrations actuelles du secteur. Ce travail s'inscrit dans la lignée des fonctions barrière de contrôle, un outil désormais courant en robotique et conduite autonome pour garantir la sécurité formelle des commandes, mais ici adapté aux spécificités des véhicules marins non holonomes plutôt qu'aux robots terrestres ou drones habituellement ciblés. Il ne s'agit à ce stade que d'un pré-print, validé uniquement en simulation, sans essais en mer réels ni partenariat industriel ou nom de navire mentionné dans le résumé disponible. Aucune date de déploiement, aucun coût ni fournisseur n'est cité: la contribution reste une avancée méthodologique destinée à alimenter de futurs développements en planification de trajectoire pour l'autonomie maritime, plutôt qu'un produit prêt à être industrialisé.

RecherchePaper

1 source