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 metadatas

https://hal.archives-ouvertes.fr/hal-01175915
Contributor : Lip6 Publications <>
Submitted on : Monday, July 13, 2015 - 3:06:52 PM
Last modification on : Friday, May 24, 2019 - 5:20:32 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

Record views

83