Outils d'aide à la synthèse de programmes de robot : Approche basée sur le formalisme du langage Z

par Nasser Benameur

Thèse de doctorat en Informatique

Sous la direction de Khadir Ouriachi.

Soutenue en 1991

à Valenciennes .

    mots clés mots clés


  • Résumé

    Le processus d'exécution des tâches opératoires est souvent imprédictible; en effet, il obéit rarement à un schéma algorithmique préétabli. Face à cette complexité d'ordre algorithmique, l'une des voies explorées consiste à adopter une démarche systématique visant à introduire davantage de rigueur dans la construction des programmes du robot. Aussi, la contribution de la présente thèse s'attache à proposer les outils de base d'un système d'aide à la synthèse de programmes. Dans la démarche proposée, on distingue conceptuellement deux étapes fondamentales: la spécification, qui est une étape descriptive, dont l'objectif est de fournir, pour une tâche opératoire donnée, une expression abstraite du programme indépendante des contraintes d'implantation, et une étape constructive, qui aboutit à une expression concrète du programme à synthétiser. La première étape effectue, au préalable, l'analyse de l'énoncé d'une tâche selon une méthode basée sur l'approche d'Abbot: son objectif est de définir les différentes entités de base: types, objets, operateurs,. . . Celles-ci sont spécifiées sous formes de clauses dans le formalisme du langage z d'Abrial. La seconde étape s'attache à la construction des modules abstractions a partir des clauses z et la construction proprement dite du programme en utilisant des schémas de programmes. L'intégration de ces différents outils mettant en œuvre l'approche Z a été validée sur des applications du domaine de la robotique d'assemblage

  • Titre traduit

    Tools for robot program synthesis: approach based on the language z formalism


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (207 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f.188-198. Annexes

Où se trouve cette thèse ?

  • Bibliothèque : Université de Valenciennes et du Hainaut-Cambrésis. Service commun de la documentation. Site du Mont Houy.
  • Disponible pour le PEB
  • Cote : 904619 TH
  • Bibliothèque : Université de Valenciennes et du Hainaut-Cambrésis. Service commun de la documentation. Site du Mont Houy.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : 904620 TH
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.