Skip to Main content Skip to Navigation
Journal articles

Application des méthodes formelles à la robotique modulaire

Lom Messan Hillah 1 Fabrice Kordon 1 Laure Petrucci
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Résumé : 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.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01175915
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Monday, July 13, 2015 - 3:06:52 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM

Links full text

Identifiers

Citation

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

Share

Metrics

Les métriques sont temporairement indisponibles