Pour le prochain séminaire de l'équipe Cosynus, nous aurons le plaisir d'accueillir Indranil Saha, qui nous parlera de Developing Autonomous Multi-Robot Systems for Complex Missions.
Résumé: Autonomous multi-robot systems have tremendous potential to be useful in various applications, including search and rescue, surveillance, law enforcement, precision agriculture, and warehouse management. Given a high-level mission specification for a multi-robot system, it is technically challenging to determine the responsibilities of the individual robots and a plan for them to execute their tasks safely in such a way that the mission becomes successful. In this talk, I will present a framework for developing multi-robot systems where the mission specification is provided using a set of linear temporal logic (LTL) properties, and the dynamics of the robots are captured in the form of a set of motion primitives. We formulate the planning problem as an SMT solving problem and use an off-the-shelf SMT solver to generate safe trajectories for the robots. I will discuss various challenges that we face in scaling up our solution to large-scale multi-robot systems and describe how we address some of those challenges. As an extension, I will present how the multi-robot coverage problem can be effectively solved in our framework.
Le séminaire suivant aura lieu le lundi 01 juillet 2019 à 11h00 par Éric Goubault : Directed topological complexity.
La liste des prochains séminaires se trouve ici : http://www.lix.polytechnique.fr/cosynus/seminar/
Le calendrier des séminaires : http://www.lix.polytechnique.fr/cosynus/seminar/calendar.ics