Application des méthodes formelles à la robotique modulaire

Lom Messan Hillah (1) , Fabrice Kordon (1) , Laure Petrucci

1 MoVe - Modélisation et Vérification

Cet article se propose de montrer l'intérêt de l'application des méthodes formelles à la spécification et l'analyse des systèmes robotiques modulaires. Après avoir introduit le problème de la robotique modulaire et le modèle des réseaux symétriques, nous détaillons une étude de cas.

Domaines: Informatique [cs]

Lom Messan Hillah, Fabrice Kordon, Laure Petrucci. Application des méthodes formelles à la robotique modulaire. Journal Européen des Systèmes Automatisés (JESA), 2008, 42 (4), pp.459-478. ⟨10.3166/jesa.42.459-478⟩. ⟨hal-01175915⟩