RecherchearXiv cs.RO 16 septembre 2026

RobResilience : mise en œuvre et évaluation d'un cadre de résilience pour les systèmes cyberphysiques incarnés

1 source couvre ce sujet·Source originale ↗·

Résumé IASource uniqueImpact UE

Des chercheurs présentent RobResilience, une implémentation d'un cadre formel de résilience pour les systèmes cyber-physiques incarnés, publiée sur arXiv sous la référence 2609.17349v1 en septembre 2026. Le framework est testé dans l'environnement de simulation Webots, sur un robot PR2 piloté sous ROS2. Il évalue en temps réel trois prédicats formels : la tolérance à la perturbation (delta), la tolérance à la dégradation de performance (gamma) et la faisabilité d'une mitigation (mu), calculés sur un ensemble d'appareils compromis identifiés à partir des scores de confiance d'un système de détection d'intrusion (IDS). Quand la résilience est jugée perdue, le framework déclenche automatiquement les stratégies de mitigation disponibles. Les auteurs valident l'implémentation via huit scénarios d'attaque couvrant systématiquement toutes les combinaisons possibles de l'espace des états des trois prédicats, en faisant varier les cibles, la vitesse de dégradation et la disponibilité des mitigations. Les résultats montrent une cohérence entre le comportement runtime observé et les définitions théoriques du cadre.

Ce travail s'attaque à un angle mort connu de la sécurité robotique : la détection d'intrusion seule ne dit rien de la gravité opérationnelle d'une attaque en cours. Un robot capable de détecter une cyberattaque mais incapable de juger si sa dégradation reste dans des bornes sûres risque la "paralysie de dégradation gracieuse", où il s'arrête par excès de prudence alors qu'il pourrait poursuivre sa tâche en mode dégradé sans danger. Pour les intégrateurs et opérateurs de flottes de robots mobiles ou humanoïdes en usine ou en environnement partagé avec des humains, cette distinction runtime entre état dégradé tolérable et danger catastrophique conditionne à la fois la disponibilité opérationnelle et la sécurité physique. Le papier illustre un déplacement du centre de gravité de la cybersécurité des systèmes cyber-physiques, de la simple détection vers une gestion active et quantifiée de la résilience pendant l'attaque.

RobResilience se présente comme une première implémentation runtime concrète d'un cadre de résilience formel, plutôt qu'une simple formalisation théorique. Le choix du PR2, plateforme robotique de recherche standard sous ROS, et de Webots comme simulateur, situe ce travail en phase de validation laboratoire, non sur du matériel déployé en production. L'article ne mentionne ni partenariat industriel ni calendrier de transfert vers du matériel réel ; les suites logiques attendues incluent un test sur robot physique, une extension à d'autres architectures (bras manipulateurs, AMR industriels, humanoïdes) et une intégration avec des IDS de production plutôt que des scores de confiance simulés.

Dans nos dossiers

arXiv cs.RO

À lire aussi

1arXiv cs.RO

La résilience compte pour les systèmes d'agents incarnés : nouvelles métriques, évaluation systématique et optimisation

En août 2026, une équipe de recherche publie sur arXiv (2608.23839) un article intitulé « Resilience Matters for Embodied Agents System », proposant un cadre d'évaluation de la résilience des systèmes d'agents incarnés (Embodied Agents Systems, EAS) en environnement physique ouvert. Trois métriques inédites sont définies : le Rebound, la capacité de récupération après perturbation, la Stability, la stabilité d'exécution, et la Graceful Extensibility, la capacité à s'étendre à de nouvelles situations sans rupture. Le cadre est testé sur 400 tâches domestiques réparties sur 10 systèmes EAS, avec pour résultat clé un écart de coût de récupération de ΔC_rec = 25,2 entre épisodes pourtant classés comme des succès, ainsi qu'une instabilité accrue et une dégradation selon les familles de tâches. Les optimisations guidées par ces métriques réduisent ensuite ce coût et améliorent la stabilité et l'extensibilité gracieuse. Le constat est méthodologique : les métriques usuelles de taux de succès ou de score de sécurité écrasent des trajectoires d'exécution différentes en un seul chiffre, masquant comment un agent se rétablit face à un aléa, objet manqué, capteur bruité ou obstacle imprévu. Pour les intégrateurs qui évaluent des piles VLA (vision-language-action) avant un déploiement industriel, l'étude implique qu'un taux de succès élevé peut cacher un coût de récupération très variable, donc un risque opérationnel invisible dans les benchmarks habituels. Elle nuance l'idée reçue selon laquelle la généralisation des VLA serait globalement acquise dès qu'un score de réussite progresse : deux systèmes à score identique peuvent afficher une fiabilité réelle très différente. Le papier révèle aussi un compromis entre les trois axes de résilience, chaque EAS devant être configuré selon les contraintes du déploiement visé plutôt qu'optimisé sur un seul indicateur. Ce travail prolonge une recherche en robotique et en IA incarnée visant à dépasser les benchmarks agrégés hérités du deep learning classique, à mesure que les agents VLA quittent le laboratoire pour des environnements ouverts où les perturbations sont la norme. L'approche emprunte explicitement à l'ingénierie de la résilience, un champ jusque-là plus associé aux systèmes critiques comme l'aéronautique ou l'énergie qu'à la robotique mobile. Aucun acteur industriel connu, ni Figure, ni Tesla, ni Physical Intelligence, ni NVIDIA, n'apparaît parmi les 10 systèmes EAS testés : il s'agit d'un travail académique de benchmarking, non d'une comparaison de produits commerciaux. Les auteurs présentent leur couche d'évaluation comme un outil de diagnostic générique, applicable à tout EAS existant, ouvrant la voie à son adoption par les laboratoires développant des piles VLA.

RecherchePaper

1 source

2arXiv cs.RO

Cadre formel de résilience des systèmes cyber-physiques incarnés face aux cyberattaques sur équipements

Des chercheurs ont déposé sur arXiv (identifiant 2606.16467) un article proposant un cadre formel de résilience pour les systèmes cyber-physiques "embodied" (CPS incarnés) exposés à des cyberattaques ciblant leurs composants matériels. Contrairement aux pannes classiques, qui se manifestent par une dérive progressive ou une défaillance franche des capteurs et actionneurs, les cyberattaques peuvent recourir à des stratégies subtiles (manipulation de données, injection de faux états, dégradation lente) que les mécanismes traditionnels de tolérance aux fautes peinent à détecter. Le papier introduit un formalisme qui intègre les informations produites par un système de détection d'intrusion (IDS) dans des prédicats d'évaluation de résilience, permettant de raisonner structurellement sur deux dimensions : la tolérance à la perturbation de l'exécution des tâches, et la préservation de l'intégrité physique du système (ce que les auteurs nomment "embodiment preservation"). L'enjeu est direct pour les intégrateurs de robots autonomes, de drones ou de systèmes de contrôle industriel (OT/ICS) : dans un CPS incarné, le matériel n'est pas seulement un support de calcul, il constitue lui-même une surface d'attaque dont la compromission peut entraîner des dommages physiques irréversibles. Le cadre proposé vise à fournir une base théorique pour décider, de manière proactive, si des stratégies de mitigation doivent être déclenchées avant qu'une attaque n'ait causé de dégâts structurels. C'est une rupture avec l'approche réactive dominante : au lieu d'attendre une anomalie observable, le système raisonne à partir de l'état de l'IDS pour anticiper la menace. Pour un COO industriel gérant des lignes robotisées, cette distinction entre détection et prévention d'endommagement physique est non triviale. Il faut néanmoins situer cette contribution à son juste niveau : il s'agit d'un preprint arXiv non encore évalué par les pairs, fondé sur des exemples analytiques et non sur des expérimentations en conditions réelles. Le domaine de la dependability formelle des CPS est actif depuis les travaux fondateurs d'Avizienis et Laprie (IFIP, 2004), et plusieurs équipes européennes travaillent sur la convergence entre sécurité fonctionnelle et cybersécurité dans les systèmes embarqués. La question de l'intégration des IDS dans des boucles de contrôle temps-réel reste un problème ouvert, notamment sur les contraintes de latence incompatibles avec certains environnements industriels. Les prochaines étapes logiques seraient une validation expérimentale sur un système robotique ou un banc de test OT représentatif.

UEPlusieurs équipes européennes actives sur la convergence sécurité fonctionnelle/cybersécurité dans les systèmes embarqués pourraient s'appuyer sur ce cadre formel, mais l'absence de validation expérimentale et d'acteur européen identifié limite l'impact immédiat.

RecherchePaper

1 source

3arXiv cs.RO

FUSE : un cadre unifié pour l'estimation d'état dans les systèmes SLAM robotiques

Une équipe de chercheurs a publié sur arXiv (référence 2605.18047) FUSE, un cadre logiciel pour l'estimation d'état unifiée dans les systèmes SLAM robotiques. Le problème adressé est structurel : les architectures SLAM à couplage serré lient dans un même bloc monolithique le traitement temporel, l'association géométrique locale, la formulation de l'estimateur et la politique de mise à jour de carte, rendant toute modification d'un composant coûteuse. FUSE propose quatre interfaces standardisées (ingestion d'observations, propagation, mise à jour, requête d'état) pour séparer ces responsabilités. L'instanciation LiDAR-IMU a été évaluée sur une séquence corridor bouclée de 418 m et produit une erreur de trajectoire de 1,626 m bout en bout, soit une réduction relative de 7,9 % par rapport à Faster-LIO, meilleure référence sur cette séquence. Le gain de 7,9 % reste modeste, mais l'intérêt principal de FUSE est architectural. Découpler proprement les choix de conception dans un pipeline SLAM permet de changer l'estimateur, adapter la cadence de mise à jour ou intégrer un nouveau type de capteur sans réarchitecturer l'ensemble du système. Pour les intégrateurs d'AMR ou les équipes de navigation industrielle, cela réduit significativement le coût de portage entre plateformes. La gestion explicite de la dégénérescence directionnelle constitue un point technique concret : en environnement corridor, le LiDAR ne perçoit pas de contraintes suffisantes dans l'axe latéral, rendant l'estimation instable. FUSE intègre un mécanisme de correction adaptatif ciblant ces directions faiblement observables, un problème rarement traité proprement dans les frameworks publics existants. Le SLAM LiDAR-IMU est un domaine très concurrentiel. Les références académiques dominantes incluent FAST-LIO2 et Faster-LIO (équipe Cai, HKUST) ainsi que LIO-SAM (Shan et al., MIT). Dans l'industrie, des fournisseurs comme Exotec (France) ou MiR intègrent des stacks de localisation dérivées de ces travaux dans leurs flottes d'AMR. FUSE ne cherche pas à battre ces systèmes sur les benchmarks de performance pure, mais à proposer une abstraction permettant de composer des composants algorithmiques de façon indépendante. Il s'agit d'une prépublication arXiv sans code public annoncé à ce stade, ce qui en fait pour l'instant une contribution académique à valider plutôt qu'un outil industriel prêt à l'emploi. La suite logique serait une mise à disposition open-source permettant de tester des instanciations alternatives, radar ou RGB-D, à travers les mêmes interfaces standardisées.

UEExotec (France) est cité comme exemple d'intégrateur AMR susceptible de bénéficier de l'abstraction architecturale proposée ; une mise à disposition open-source de FUSE réduirait le coût de portage SLAM pour les équipes de navigation industrielle européennes.

RecherchePaper

1 source

4arXiv cs.RO

Au-delà de la récupération d'erreur : un cadre de contrôle humain adaptatif pour les systèmes robotiques

Des chercheurs ont publié sur arXiv en juin 2026 (arXiv:2606.18189) une méthode appelée E-MPC (Engagement-aware Model Predictive Control), conçue pour repenser le rôle de l'humain dans la supervision des robots d'assistance. L'approche a été validée en simulation puis dans une étude utilisateur réelle, sur un système robotique d'aide à l'alimentation (bite acquisition), avec des participants simulant des limitations de mobilité. Le principe central : plutôt que de solliciter l'opérateur uniquement lorsqu'un robot échoue ou est en incertitude, le système planifie proactivement des moments d'interaction pour maintenir un niveau d'engagement choisi par l'utilisateur, tout en respectant une contrainte de charge cognitive maximale. E-MPC intègre un modèle de dynamique d'interaction utilisateur qui prédit comment l'engagement évolue en fonction de la fréquence et du type d'intervention demandée. Ce travail remet en cause un postulat dominant dans la robotique d'assistance : que l'autonomie maximale est toujours préférable pour l'utilisateur. Dans des contextes de caregiving physique, les personnes à mobilité réduite risquent de devenir de simples observateurs passifs d'un robot qui agit entièrement seul, ce qui dégrade l'expérience et potentiellement l'adhésion au système. E-MPC déplace le curseur : l'interaction n'est plus un signal d'échec, mais un levier de conception du workflow. Cela a des implications concrètes pour les intégrateurs de systèmes d'assistance à domicile ou en EHPAD, où le consentement continu et le sentiment de contrôle de l'utilisateur sont des critères de certification et d'acceptabilité. La robotique d'assistance humanoïde et collaborative accumule depuis plusieurs années des travaux sur le human-in-the-loop, mais ceux-ci se concentrent presque exclusivement sur la robustesse (détection de pannes, out-of-distribution handling). E-MPC s'inscrit dans une tendance plus récente qui emprunte aux travaux sur l'interaction adaptative et la téléopération partagée, avec des connexions aux recherches sur le shared autonomy (Javdani, Srinivasa et al.). Les auteurs n'annoncent pas de commercialisation ni de partenariat industriel à ce stade : il s'agit d'un prototype de recherche avec étude utilisateur, pas d'un produit déployé. Les suites naturelles incluent des essais avec de vraies populations en situation de handicap et l'extension à des tâches multi-étapes plus complexes que l'alimentation.

UELes implications pour la certification des robots d'assistance à domicile et en EHPAD (consentement continu, sentiment de contrôle utilisateur) sont directement pertinentes pour les intégrateurs français et la réglementation médicosociale en France.

RecherchePaper

1 source