
L'apprentissage par démonstration rencontre le contrôle symbolique : une architecture de contrôle supervisé pour certifier formellement les mouvements appris
Des chercheurs proposent, dans un preprint arXiv (2610.19815v1), une architecture de contrôle supervisé symbolique destinée à certifier formellement des mouvements robotiques appris par démonstration. Le principe est de laisser un contrôleur nominal suivre un système dynamique (DS) appris, tandis qu'un contrôleur superviseur surveille en parallèle la sécurité et la convergence vers la cible. Ce superviseur génère automatiquement un plan de repli à sécurité intégrée. Il certifie la sécurité, l'atteignabilité et la faisabilité pour les actionneurs directement à partir de la dynamique du robot, indépendamment du DS appris. Il n'intervient que si le contrôleur nominal viole une contrainte nécessaire. Les essais couvrent des simulations et un déploiement sur robot réel, avec des jeux de données 2D et 3D, notamment des tracés d'écriture manuscrite, dans des environnements complexes et dynamiques. Le résumé ne donne ni taux de réussite, ni temps de calcul, ni modèle de robot, ni charge utile.
L'enjeu est la certification de l'apprentissage par démonstration, un point bloquant pour l'industrialisation. Les approches actuelles à base de DS obtiennent leurs garanties en générant des certificats (fonctions de Lyapunov ou de barrière) contraints par la forme du modèle appris. Cela limite l'expressivité, ou impose de recalculer le certificat à chaque nouvelle démonstration. Ici, la garantie vient de la dynamique du robot et non de la politique apprise. On pourrait donc changer de méthode d'apprentissage sans refaire la preuve, et un intégrateur pourrait traiter la politique comme une boîte noire encadrée par un filet de sécurité vérifiable. Cette logique pourrait aussi s'appliquer aux politiques VLA, dont aucune garantie formelle n'existe aujourd'hui. Les limites sont à garder en tête : les tests sont de faible dimension (2D et 3D), loin d'un manipulateur à sept articulations ou d'une main dextre. Les méthodes de contrôle symbolique reposent en général sur une discrétisation de l'espace d'état, dont le coût croît vite avec la dimension. Rien n'indique encore que l'approche passe à l'échelle.
Ce travail s'inscrit dans une lignée de méthodes de DS stables, issues de l'apprentissage par démonstration. Elles sont souvent évaluées sur le jeu d'écriture LASA et garantissent la stabilité par contraintes de Lyapunov, au prix de la fidélité aux démonstrations. Le contrôle symbolique, lui, vient de la synthèse de contrôleurs formels pour systèmes cyber-physiques. Du côté industriel, la sécurité des politiques apprises est traitée surtout de façon empirique, par la scalabilité des données et les tests, chez Physical Intelligence (Pi-0), NVIDIA (GR00T) ou Figure (Helix). La voie formelle reste donc académique. Les prochaines étapes à suivre sont une version revue par les pairs, des chiffres de performance, et surtout des tests en dimension plus élevée sur des bras manipulateurs avec obstacles mobiles.
Pas d\'impact direct sur la France/UE
Dans nos dossiers




