Application des methodes formelles a la robotique modulaire - Methodes formelles pour l'analyse des robots autonomes et modulaires

摘要

Cet article se propose de montrer l'interet de l'application des methodes formelles a la specification et l'analyse des systemes robotiques modulaires. Apres avoir introduit le probleme de la robotique modulaire et le modele des reseaux symetriques, nous detaillons une etude de cas.