Publications

Robotique

OBTAINING TEMPORAL AND TIMED PROPERTIES OF LOGIC CONTROLLERS FROM FAULT TREE ANALYSIS

Israel Santiago Barragan, Matthias Roth, Jean-Marc Faure

12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006 - 2006

Robotique

Détermination de l'équivalence comportementale d'algorithmes de contrôle - commande

La norme IEC 61508 sur la sécurité fonctionnelle des systèmes critiques préconise l'utilisation de méthodes formelles pour les logiciels de niveau SIL (Safety Integrated Level) 3 et 4. Cependant aucune précision sur l'utilisation de ces méthodes…

Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure

Conference Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06) - 2006

Mécanique

Decomposition of forging dies for machining planning

Laurent Tapie, Kwamiwi Mawussi, Bernard Anselmetti

15th International Conference on Manufacturing Systems – ICMaS - 2006

Mécanique

Numérisation 3D intelligente d'objets de formes inconnues basée sur des critères de qualité

Cette thèse traite de la numérisation 3D d'objets de formes inconnues par capteur laser plan sans contact. Objectif : accroître la qualité du résultat par la génération de trajectoire intelligente (TI) de numérisation. Les paramètres du…

Charyar Mehdi-Souzani

Génie mécanique

A FIRST APPROACH FOR RAPID COPYING OF FREE-FORM SURFACES IN 5-AXIS MACHINING

Pierre Breteau, François Thiébaut, Pierre Bourdet, Claire Lartigue

Conference on Integrated Design and Manufacturing in Mechanical Engineering (IDMME) - 2006

Mécanique

TOOL PATH GENERATION AND POST-PROCESSOR ISSUES IN FIVE-AXIS HIGH SPEED MACHINING OF HYDRO TURBINE BLADES

Christophe Tournier, Cedric Castagnetti, Sylvain Lavernhe, François Avellan

Fifth International Conference on High Speed Machining - 2006

Robotique

LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL

José Machado, Bruno Denis, Jean-Jacques Lesage, Jean-Marc Faure, Jaime Fereira

3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna (Poland), 26-28 September 2006 - 2006

Sciences de l'ingénieur

Numérisation 3D intelligente d'objets de formes inconnues basée sur des critères de qualité

Les travaux de recherche exposés dans cette thèse sont consacrés à la numérisation 3D d’objets de formes inconnues à l’aide de capteur laser plan sans contact. Il est en particulier question d’accroître la qualité du nuage de points issu d’une…

Charyar Mehdi-Souzani

Robotique

PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING

Daniel Witsch, Birgit Vogel-Heuser, Jean-Marc Faure, Gaëlle Marsal

12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, Saint-Etienne (France), May 2006 - 2006

Mechanical engineering

Modèles géométriques polynomiaux pour la fabrication

La qualité de réalisation des moules et matrices de formes complexes dépend de l'aptitude de chacune des activités du processus de conception et de fabrication à modéliser ou produire la géométrie attendue. Il est difficile d'atteindre le niveau de…

Christophe Tournier, François Thiebaut, Claire Lartigue

Groupe de Travail en Modélisation Géométrique - GTMG06 - 2006