Publications

Robotique

Temporal performance evaluation of control architecture in automation systems

Pascal Meunier, Bruno Denis, Jean-Jacques Lesage

6th EUROSIM Congress on Modelling and Simulation (EUROSIM 2007) - 2007

Mécanique

Décomposition topologique du modèle de conception des outillages de forge pour la génération de trajectoire UGV

La démarche actuelle de fabrication d'outillage de forge doit s'adapter à de nombreuses évolutions dans la préparation à l'usinage (modèles CAO, technologies de FAO et d'usinage (UGV)). L'adéquation entre la géométrie de la pièce à réaliser et le…

Laurent Tapie, Kwamiwi Mawussi

10ème Colloque National AIP-PRIMECA - 2007

Mécanique

Intégration de contraintes cinématiques pour le calcul de l'orientation optimisée de l'axe de l'outil en usinage 5 axes

Après avoir détaillé les principales difficultés liées à l'usinage 5 axes UGV, nous présentons un modèle de représentation des trajectoires 5 axes sous forme surfacique permettant de prendre en compte des contraintes géométriques et cinématiques. Ce…

Sylvain Lavernhe, Christophe Tournier, Claire Lartigue

Mechanics & Industry - 2007

Robotique

Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels

Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking. Ces vérifications, focalisées sur les propriétés extrinsèques, permettent d…

Vincent Gourcuff

Génie mécanique

Reverse-Engineering et copiage rapide de nuage de points numérisés

Dans cette communication nous nous intéressons à démontrer la faisabilité d'une démarche copiage rapide de forme vis-à-vis d'une approche classique de reproduction de forme s'appuyant sur une démarche de Reverse Engineering. Nous montrons au travers…

Mohanad Makki, François Thiébaut, Christophe Tournier, Claire Lartigue

18ème Congrès Français de Mécanique - 2007

Mécanique

Kinematical performance prediction in multi-axis machining for process planning optimization

Sylvain Lavernhe, Christophe Tournier, Claire Lartigue

International Journal of Advanced Manufacturing Technology - 2007

Mécanique

Kinematic performances in 5-axis machining

Sylvain Lavernhe, Christophe Tournier, Claire Lartigue

Electronique

Méthode de synthèse d'un contrôleur logique à partir des spécifications algébriques

Nous présentons une méthode de synthèse de la commande d'un système à événements discrets (SED). Cette méthode est une alternative à la technique de synthèse de la commande supervisée. La méthode part d'une spécification de la commande décrite en…

Antonio Medina Rodriguez

Robotique

Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par Arbre des Défaillances

La difficulté d'exprimer les propriétés formelles d'un contrôleur logique en vue de sa vérification est un des obstacles majeurs à la diffusion de ce type de techniques. L'objectif de cette thèse est donc de faciliter l'élaboration de ces propriétés…

Israel Barragan Santiago

Mécanique

Machining strategy choice: performance VIEWER

Laurent Tapie, Kwamiwi Mawussi, Bernard Anselmetti

Advances in Integrated Design and Manufacturing in Mechanical Engineering II - 2007