RecherchearXiv cs.RO 17 septembre 2026

Activation rapide des filtres de sécurité par expansion d'atteignabilité en une étape

1 source couvre ce sujet·Source originale ↗·

Résumé IASource uniqueImpact UE

Un preprint publié sur arXiv le 17 septembre 2026 (arXiv:2609.17904v1) corrige un défaut des filtres de sécurité « least-restrictive » fondés sur la reachability de Hamilton-Jacobi, une technique qui garantit mathématiquement qu'un robot évite tout état dangereux en ne reprenant le contrôle, au détriment du contrôleur nominal, qu'à la frontière d'un ensemble interdit appelé Backward Reachable Tube (BRT). Cette garantie suppose un temps continu, alors que les robots commandent en réalité à intervalles d'échantillonnage discrets : entre deux mises à jour, le système peut sauter directement dans le BRT sans jamais toucher sa frontière, provoquant des échecs que la théorie continue jugeait pourtant évitables. La solution proposée calcule un BRT étendu d'un pas de temps, qui anticipe tous les états capables d'atteindre le véritable BRT en une seule période d'échantillonnage, et déclenche l'intervention de sécurité dès cette frontière élargie plutôt que l'originale. Ce nouvel ensemble se formule comme un problème de reachability modifié, résoluble avec les solveurs continus standards déjà utilisés, sans outil de calcul supplémentaire.

Les filtres HJ équipent déjà des systèmes critiques en robotique aérienne, conduite autonome et manipulation, où ils servent de dernier rempart contre les collisions et les états irrécupérables ; un déclenchement trop tardif, dû au simple échantillonnage discret d'un contrôleur embarqué, ouvre une brèche invisible en simulation continue mais bien réelle sur le terrain, illustration classique de l'écart entre garantie théorique et comportement en exploitation. Pour les intégrateurs et les équipes de sécurité fonctionnelle qui cadencent leurs boucles de contrôle à fréquence finie, le correctif est directement actionnable puisqu'il ne nécessite ni nouvelle architecture de filtre ni nouveau contrôleur. Le papier ne règle pas l'ensemble du fossé simulation-réel des systèmes robotiques, mais comble une faille précise dans la chaîne de garanties formelles, à un moment où la certification de sécurité devient un critère d'achat pour les robots humanoïdes et les AMR partageant leur espace avec des humains.

Ce travail prolonge la reachability de Hamilton-Jacobi, cadre mathématique popularisé notamment par les travaux de Claire Tomlin à Berkeley et devenu un outil standard de contrôle sûr pour drones, véhicules autonomes et bras robotiques, aux côtés d'approches concurrentes comme les control barrier functions. Le décalage entre temps continu et temps discret qu'il traite est connu de la communauté et jusqu'ici atténué par des marges de sécurité conservatrices, jugées ici insuffisamment rigoureuses. L'abstract ne mentionne aucune implémentation sur robot physique ni benchmark chiffré : il s'agit à ce stade d'une contribution méthodologique validée mathématiquement, pas d'un produit déployé, la suite logique étant sa validation sur des plateformes réelles fonctionnant à fréquence de contrôle limitée.

Dans nos dossiers

arXiv cs.RO

À lire aussi

1arXiv cs.RO

Sécurité en couches : renforcer l'évitement de collision autonome par filtres de sécurité CBF multi-étapes

Une équipe de recherche propose, dans une version révisée publiée sur arXiv sous la référence 2603.00338v2, un cadre de bout en bout pour construire des filtres de sécurité multicouches destinés à l'évitement dynamique de collisions chez les robots mobiles, en s'appuyant uniquement sur des données de perception locale. La méthode part d'un nuage de points centré sur le robot, à partir duquel est construite une carte d'occupation servant à générer une fonction de sécurité dite de Poisson (PSF, Poisson Safety Function). Cette PSF joue le rôle de fonction barrière de contrôle (CBF, control barrier function) dans deux étages de filtrage distincts. Le premier étage, un filtre de sécurité prédictif, calcule des trajectoires sûres optimales à partir de commandes nominales potentiellement dangereuses, sous contrainte de respecter la condition CBF sur un horizon de prédiction fini. Le second étage affine en temps réel les commandes de vitesse instantanées via un filtre CBF supplémentaire, avant leur exécution par le contrôleur bas niveau du robot. Les auteurs affirment obtenir des garanties formelles de sécurité pour le système complet, sous l'hypothèse d'un suivi précis des commandes de vitesse, et valident l'architecture par une analyse de Pareto comparant performance et robustesse face aux filtres à étage unique classiques, sur plusieurs plateformes de robots à pattes en conditions réelles. L'enjeu dépasse la simple démonstration académique : la plupart des filtres de sécurité déployés aujourd'hui reposent sur un unique étage de contrôle, ce qui oblige à arbitrer entre réactivité immédiate et anticipation à moyen terme. En superposant un filtre prédictif et un filtre instantané, cette approche cherche à combiner les deux sans sacrifier les garanties formelles de sécurité, un point critique pour tout intégrateur souhaitant déployer des robots mobiles ou à pattes dans des environnements dynamiques partagés avec des humains ou des obstacles imprévisibles. C'est un signal utile pour les équipes qui travaillent sur la navigation autonome de robots quadrupèdes ou humanoïdes en environnement industriel ou logistique, où l'évitement de collision fiable reste un frein à la certification et au déploiement à grande échelle. Ce travail s'inscrit dans la lignée des recherches sur les fonctions barrières de contrôle, un outil mathématique de plus en plus utilisé en robotique pour garantir formellement la sécurité de systèmes dynamiques, en alternative aux approches purement réactives ou basées sur l'apprentissage sans garanties théoriques. Il s'agit d'une publication de recherche en libre accès, sans annonce de produit, de partenariat industriel ni de calendrier de déploiement commercial ; les auteurs ne précisent pas dans le résumé les plateformes robotiques précises utilisées pour les essais réels.

RecherchePaper

1 source

2arXiv cs.RO

λ-Atteignabilité : équations de Bellman de sécurité à horizon géométrique pour les humanoïdes

Une équipe de chercheurs publie sur arXiv (arXiv:2606.16022, juin 2026) une nouvelle méthode d'analyse de sécurité pour robots humanoïdes à haute dimension, baptisée λ-Reachability. L'approche reformule les équations de Bellman Hamilton-Jacobi, qui permettent de délimiter le "safe set" d'un système dynamique, en remplaçant les mises à jour TD à un seul pas par un estimateur stochastique multi-pas à horizon géométrique. Un paramètre λ contrôle l'interpolation entre cohérence locale et objectifs sur horizon long, par analogie avec TD(λ) en apprentissage par renforcement. Un second paramètre δ < 1 garantit formellement que la mise à jour est une contraction, permettant l'apprentissage par différence temporelle avec convergence prouvée. Les auteurs appliquent la méthode à des humanoïdes en simulation et en conditions réelles, sur des tâches d'équilibre et d'évitement de collision, avec une amélioration significative de la classification des frontières du safe set et de l'estimation des marges de sécurité par rapport aux baselines TD à un seul pas. Le verrou que cherche à lever ce travail est central pour la commercialisation des humanoïdes : garantir formellement la sécurité d'un système à plusieurs dizaines de degrés de liberté opérant près d'humains. L'analyse Hamilton-Jacobi est mathématiquement rigoureuse mais ne passait pas à l'échelle au-delà de six ou sept dimensions. L'estimateur multi-pas à horizon géométrique améliore l'estimation de valeur de sécurité sans exploser la variance, un compromis que les méthodes à un seul pas gèrent mal sur des espaces d'état élevés. L'inclusion d'expériences sur vrai robot renforce la crédibilité des résultats, même si la nature précise du robot et les conditions expérimentales exactes ne sont pas détaillées dans le résumé du preprint. L'analyse de reachability Hamilton-Jacobi est un domaine actif depuis les années 1990, mais les toolboxes classiques (helperOC, BEACLS) butaient sur la malédiction de la dimensionnalité. Les méthodes concurrentes incluent les Control Barrier Functions (CBF), très utilisées dans les laboratoires de CMU, MIT et Berkeley, et le safe RL à contraintes Lagrangiennes. La connexion avec TD(λ) positionne ce travail à l'intersection du contrôle optimal et du deep RL, un territoire que convoitent Figure, 1X, Agility Robotics et Unitree pour obtenir des garanties de sécurité certifiables en déploiement industriel. Il s'agit d'un preprint académique sans partenariat industriel annoncé : les équipes robotique qui évaluent des approches de safety pour homologation auront intérêt à surveiller la suite de ces travaux.

UELes laboratoires européens comme le CEA-List et l'INRIA, actifs sur la vérification formelle des systèmes robotiques, pourraient intégrer cette approche à horizon géométrique dans leurs travaux de certification sécurité pour humanoïdes.

RecherchePaper

1 source

3arXiv cs.RO

Design et analyse de stabilité d'une main sous-actionnée à doigts en rotation passive

Une équipe de recherche présente dans un nouveau papier (arXiv, juillet 2026) la conception d'un doigt robotique sous-actionné à mobilité spatiale, destiné aux mains de préhension robotiques. L'innovation clé repose sur une articulation rotoïde à la base du doigt, qui permet une rotation spatiale passive facilitant les prises cylindriques et sphériques. Contrairement aux doigts articulés classiques à trois phalanges, ce design n'en utilise que deux par doigt, ce qui réduit la complexité cinématique tout en conservant la capacité de réaliser des prises de précision et des prises enveloppantes. Les chercheurs ont défini des critères de stabilité basés sur le moment de force généré à l'articulation de base par les contacts avec l'objet, afin d'éviter l'éjection de l'objet pendant la manipulation. Un mécanisme différentiel répartit un couple d'actionnement unique entre plusieurs doigts, permettant un mouvement adaptatif et coordonné. Les résultats théoriques ont été validés expérimentalement sur un prototype entièrement mécanique, capable de prises cylindriques, sphériques, parallèles et enveloppantes. Cette approche s'inscrit dans une tendance de fond de la robotique de préhension : réduire le nombre d'actionneurs et de capteurs pour diminuer coût et complexité de contrôle, tout en conservant une adaptabilité fonctionnelle grâce à la passivité mécanique. Pour les intégrateurs industriels, c'est un signal important : la course actuelle aux mains humanoïdes à haute dextérité (souvent très actionnées, coûteuses et fragiles) n'est pas la seule voie viable. Un doigt sous-actionné mécaniquement robuste, capable de s'adapter à des formes d'objets variées sans réglages fins avant la prise, répond directement aux besoins de secteurs à fort volume et budget contraint comme la logistique, l'agriculture ou le tri de déchets, où la robustesse prime sur la dextérité fine façon main humaine. La sous-actionnation des mains robotiques est un champ de recherche mature, où des architectures comme les mains SDM ou les préhenseurs différentiels ont déjà montré l'intérêt de la compliance mécanique face aux mains entièrement actionnées et coûteuses. Ce travail s'inscrit dans cette lignée en combinant sous-actionnation intra-doigt et inter-doigts via un mécanisme différentiel commun. Les auteurs annoncent que les prochaines étapes porteront sur l'automatisation de l'actionnement et l'amélioration des stratégies de contrôle, en vue d'une manipulation autonome en environnement non structuré, mais aucun calendrier de commercialisation ni de partenaire industriel n'est mentionné à ce stade : il s'agit d'un travail de recherche académique, pas d'un produit prêt au déploiement.

RecherchePaper

1 source

4arXiv cs.RO

MROPE : une stratégie coopérative multi-robots sûre combinant filtres de sécurité prédictifs et compression de contraintes par ellipses

Des chercheurs proposent MROPE (Multi-Robot Safe Cooperative Strategy via combined Predictive Safety Filters and Ellipse-based Constraint Compression), une architecture hiérarchique destinée à des essaims de drones chargés de suivre une cible mobile dans un environnement encombré d'obstacles. Le problème ciblé : en espace dense, calculer en temps réel des trajectoires collectives sûres pour plusieurs drones devient vite intraitable dès qu'il faut représenter fidèlement la géométrie de chaque obstacle pour chaque appareil. MROPE contourne ce goulot d'étranglement en agrégeant dynamiquement les obstacles complexes autour de chaque drone en une seule ellipse de sécurité, mise à jour via un schéma de consensus décentralisé. Au-dessus de cette représentation compressée, une optimisation distribuée de type aggregative gère la coordination de haut niveau de l'essaim, pendant qu'un filtre de sécurité prédictif local (PSF) prend en charge, drone par drone, l'évitement de collision en temps réel. Les auteurs valident l'approche par des expériences en simulation et sur drones réels, avec une efficacité temps réel et un passage à l'échelle rapportés comme supérieurs aux approches centralisées classiques. L'enjeu dépasse la démonstration isolée. Le suivi coopératif de cibles dynamiques par essaim de drones est un cas d'usage récurrent pour la surveillance industrielle, l'inspection d'infrastructures ou la sécurité civile, mais les méthodes centralisées qui recalculent une trajectoire globale pour tout l'essaim s'effondrent dès que le nombre de drones ou la densité d'obstacles augmente, faute de temps de calcul disponible en temps réel. En découplant la mission coopérative des contraintes de sécurité locales, et en compressant chaque obstacle en une simple ellipse, MROPE s'attaque directement au compromis habituel entre fidélité géométrique et vitesse de calcul, un point encore largement non résolu en environnement encombré réel. MROPE combine deux outils déjà établis séparément : les filtres de sécurité prédictifs, utilisés depuis plusieurs années pour garantir des contraintes dures de non-collision robot par robot, et l'optimisation aggregative distribuée, employée pour coordonner des essaims sans calcul centralisé. La contribution ici est la couche intermédiaire de compression géométrique par ellipses et le consensus décentralisé qui la maintient à jour entre drones. Publié sur arXiv fin juillet 2026, le papier ne mentionne aucun partenaire industriel ni déploiement opérationnel : il s'agit à ce stade d'une validation académique en simulation et sur banc d'essai réel restreint, pas d'un produit prêt à déployer. Les suites attendues pour ce type de travaux passent généralement par l'extension à des essaims plus nombreux, des obstacles dynamiques et des tests en environnement extérieur non contrôlé.

RecherchePaper

1 source