ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 42/4 - 2008  - pp.459-478  - doi:10.3166/jesa.42.459-478
TITRE
Application des méthodes formelles à la robotique modulaire. Méthodes formelles pour l'analyse des robots autonomes et modulaires

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.


ABSTRACT
This paper aims at highlighting the advantages of applying formal methods to the specification and analysis of modular robotics. After introducing the modular robotics problem and the symmetric nets model, we detail a case study.


AUTEUR(S)
Lom Messan HILLAH, Fabrice KORDON, Laure PETRUCCI

MOTS-CLÉS
robotique modulaire, méthodes formelles, vérification.

KEYWORDS
self-reconfiguring modular robotics, formal methods, verification.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (395 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier