GbO — Guaranteed by Optimization


Le but du projet est d’avancer l’état de l’art dans la conception par optimisation en robotique. Les chercheurs développeront et étudieront une méthode originale pour générer automatiquement du logiciel de contrôle qui garantisse certaines propriétés dynamiques comme par exemple la stabilité, la satisfaction des contraintes, l'adaptabilité et la robustesse.  

Cette méthode permettra à un concepteur d'injecter dans le processus d'optimisation ses connaissances préalables sur la manière dont les propriétés souhaitées peuvent être garanties / vérifiées.

Dans ses recherches, l’équipe s’inspirera de la conception automatique, de la théorie du contrôle et de la vérification. Les chercheurs appliqueront leurs idées à différents types de robots, notamment des robots terrestres, aquatiques, et volants ainsi que des manipulateurs.

Ils considéreront des classes de systèmes robotiques différentes, chacune posant des défis de conception spécifiques: robots uniques, systèmes multi-robots (équipes de robots dont les interactions mutuelles peuvent être définies au moment de la conception), et essaims de robots (grands groupes de robots où les interactions se définissent seulement au moment de l'exécution).

Ils valideront leurs résultats théoriques via des expériences réalisées à l'aide de simulations et avec des robots.


Coordinateur : Mauro Birratari, IRIDIA, Ecole Polytechnique de Bruxelles
Partenaire : Emmanuele Garone, SAAS


 
Dates
Créé le 3 septembre 2020