Conception de lois de commandes sûres pour la locomotion des robots bipèdes

français

14/12/2018 - 10:00 Mr Nestor Bohorquez Grand Amphi de l'INRIA Rhône-Alpes, Montbonnot

Un robot bipède doit pouvoir marcher en toute sécurité dans une foule. Pour cela, il faut prendre en compte deux aspects : l'équilibre et l'évitement des collisions. Maintenir l'équilibre implique d'éviter les défaillances dynamiques et cinématiques de la dynamique instable du robot. Pour ce qui est de l'évitement des collisions, il s'agit d'éviter le contact entre le robot et des individus. Nous voulons être capables de satisfaire ces deux contraintes simultanément, à l'instant présent mais aussi dans le futur. Nous pouvons assurer l'équilibre du robot indéfiniment en le faisant entrer dans un cycle limite de marche ou en le faisant s'arrêter après quelques pas. Néanmoins, une telle garantie pour l'évitement d'obstacle n'est pas possible pour plusieurs raisons : impossibilité de connaître de manière absolue la direction vers laquelle les individus se dirigent, limitations cinématiques et dynamiques du robot, mouvement adverse de la foule, etc. Nous traitons ces limitations avec une stratégie standard de navigation dans une foule, appelée passive safety, qui nous permet de formuler une loi de commande prédictive avec laquelle nous assurons l'équilibre et l'évitement des collisions, de manière unifiée, en faisant s'arrêter le robot de manière sécurisée et en temps fini. De plus, nous définissons une nouvelle stratégie de navigation sûre basée sur le principe d'évitement des collisions aussi longtemps que possible, qui a la propriété de minimiser leur apparition et sévérité. Nous proposons une formulation lexicographique qui synthétise des mouvements conformes à ce principe.
Nous augmentons les degrés de liberté de la locomotion d'un robot bipède en permettant la variation de l'orientation et de la durée des pas en ligne. Cependant, cela introduit des non-linéarités dans les contraintes de nos problèmes d'optimisation. Nous faisons des approximations de ces contraintes non-linéaires avec des contraintes linéaires sûres de sorte que la satisfaction des secondes implique la satisfaction des premières. Nous proposons une nouvelle méthode de résolution des problèmes non-linéaires (Optimisation Quadratique Successive Sûre) qui assure la faisabilité des itérations de Newton en utilisant cette redéfinition des contraintes.

Nous simulons la marche d'un robot bipède dans une foule pour évaluer la performance de nos lois des commandes. D'une part, nous réussissons à réduire (statistiquement) la quantité et la sévérité des collisions en comparaison avec la méthode de passive safety, spécialement dans les conditions d'incertitude de la marche du robot dans une foule. D'autre part, nous montrons des exemples de comportements typiques du robot, qui découlent de la liberté de choisir l'orientation et la durée des pas. Nous rapportons le coût de calcul de notre méthode de résolution des problèmes non-linéaires en comparaison avec une méthode standard. Nous montrons qu'une seule itération de Newton est nécessaire pour arriver à une solution faisable, mais que le coût de calcul dépend du nombre de factorisations de l'active set dont nous avons besoin pour arriver à l'active set optimal.

Directors:

  • Mr Bernard Brogliato (Diecteur de recherche - INRIA )
  • Mr Pierre Brice Wieber (Chargé de recherche - INRIA )

Raporteurs:

  • Mr Nacim Ramdi (Professeur - Université d'Orléans )
  • Mr Olivier Stasse (Directeur de recherce - LAAS Toulouse )

Examinators:

  • Mr Julien Pettré (Chargé de recherche - Inria Rennes )