Publications

Mécanique

New Trends in tolerancing, the GD&T French Research Group point of view

Luc Mathieu, François Villeneuve

11th CIRP International Seminar on Computer Aided Tolerancing (CIRP CAT 2009) - 2009

Robotique

Test exhaustif de contrôleurs logiques spécifiés en Grafcet : apports et limites d'une modélisation par machines de Mealy

Utilisés pour la commande des systèmes critiques, les contrôleurs logiques doivent faire l'objet de tests rigoureux pour garantir le respect du fonctionnement attendu. Dans ce but, nous proposons une méthode spécifique permettant un test de…

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure

7ème colloque francophone sur la Modélisation des Systèmes Réactifs - 2009

Mécanique

Copiage rapide de formes sur machine outil à commande numérique en fraisage 5 axes positionné

Les travaux de recherche exposés dans cette thèse sont consacrés à la mise au point d'une chaîne opérationnelle de copiage direct d'objet de formes complexes permettant, à partir de la numérisation 3D de l'objet par un capteur laser plan, d'obtenir…

Almohanad Makki

Robotique

Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques

Les travaux présentés dans ce mémoire sont relatifs à l'élaboration formelle de la commande d'un Système à Évènements Discrets (SED) logique à partir des exigences exprimées dans le cahier des charges. La méthode proposée est basée sur la résolution…

Yann Hietter

Mécanique

Geometrical deviations versus smoothness in 5-axis high-speed flank milling

Pierre-Yves Péchard, Christophe Tournier, Claire Lartigue, Jean-Pierre Lugarini

International Journal of Machine Tools & Manufacture - 2009

Robotique

Conception et réalisation de pièces prototypes fonctionnelles en usinage sur machines-outils à commande numérique 5 axes

A ce jour, les pièces prototypes réalisées à partir de poudre ou de liquide n'ont pas forcement des propriétés mécaniques suffisantes ni la précision requise pour être placées dans des mécanismes fonctionnels. L'objectif de ce travail est de…

Tammam Salloum

Mécanique

Simulation et quantification tridimensionnelledes défauts générés par un processus de fabrication

La cotation de fabrication a pour but de déterminer l'état géométrique et dimensionnel intermédiaire de la pièce tout au long de son processus de fabrication. Pour respecter, d'une part, les exigences fonctionnelles données par le dessin de…

Badreddine Ayadi

Mécanique

Modélisation d'axe de machine outil pour la simulation du suivi de trajectoires en UGV

Le processus de réalisation des pièces de formes complexes par Usinage Grande Vitesse (UGV) est constitué de différentes étapes telles que la génération de trajectoires, leur exécution et suivi sur machine outil, la coupe, etc. Les écarts ou…

David Prévost, Sylvain Lavernhe, Claire Lartigue

11ème colloque National AIP PRIMECA La Plagne - 2009

Sciences de l'ingénieur

Architectures de contrôle-commande redondantes à base d'Ethernet Industriel‎ : ‎modélisation et validation par model-checking temporisé

Les travaux présentés dans ce mémoire s'intéressent aux mécanismes de redondance spécifiés par un protocole de réseau de terrain sur Ethernet. L'objectif est de valider la spécification par rapport à des exigences de disponibilité. Le contexte…

Steve Limal

Robotique

Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour

Ana Paula Estrada-Vargas, E. López-Mellado, Jean-Jacques Lesage

IEEE 2009 International Conference on Systems, Man, and Cybernetics - 2009