Les systèmes multi-robots se multiplient dans notre quotidien, par exemple dans la robotique de service ou dans l’assistance industrielle ou agricole. Pour rendre ces systèmes autonomes et sûrs, il est indispensable d’embarquer des modules pour gérer automatiquement les pannes, c’est-à-dire la détection d’anomalies, l’évaluation des causes possibles et la décision d’une réaction appropriée (réessayer, remplacer l’action, remplacer un composant, etc). La thèse vise à développer des outils génériques pour construire un module de gestion automatique des pannes, pour analyser ce module et pour valider son comportement. La première ambition est de modéliser le système multi-robots, le raisonnement pour émettre un diagnostic et les propriétés de sûreté requises. Le travail portera ensuite sur les algorithmes pour construire le module de gestion des pannes et l’analyser. Finalement, les outils développés seront validés par l’application à différents scénarios multi-robots réels et simulés.