Publications

Calcul parallèle, distribué et partagé

Performance Evaluation of CUDA programming for machining simulation

Felix Abecassis, Sylvain Lavernhe, Christophe Tournier, Pierre-Alain Boucard

International Conference on Graphics Engineering - 2013

Robotique

Automated Modelling of Reactive Discrete Event Systems from External Behavioural Data

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

23rd Int. Conf. on Electronics, Communications and Computing "CONIELECOMP 2013" - 2013

photonique

Métrologie 3D de pièces de formes complexes par moyens optiques : Une application à l'équilibrage de vilebrequins

Les travaux de thèse ont pour objectif de proposer une méthode flexible de mesure de balourds des vilebrequins. A l'heure actuelle, la mesure des balourds des vilebrequins est réalisée à l'aide de machines d'équilibrage, qui sont très dépendantes de…

Alexandre Zuquete Guarato

Robotique

Enforcing I/O sequences for PLC validation purposes

Anaïs Guignard, Jean-Marc Faure

Emerging Technologies and Factory Automation ETFA13 - 2013

Robotique

Comparing detailed and abstract timed models of automated discrete manufacturing systems

Matthieu Perin, Jean-Marc Faure

9th annual IEEE International Conference on Automation Science and Engineering (CASE 2013) - 2013

Fluids mechanics

Integration Of Machining Constraints In Design Optimization Of A Guide Vane Cascade

Introduction In hydraulic turbomachinery, design optimization of blades to improve performances is an important issue. The conventional blade design and production process could be described in three steps. First, a Computer-Aided Design (CAD)…

Julien Monge, Christian Vessaz, François Avellan, Christophe Tournier

10th International Conference on Computer Aided Design - 2013

Autre

Black-Box identification of automated discrete event systems

Cette thèse traite de l'identification des systèmes à événements discrets (SED) automatisés dans un contexte industriel. En particulier, le travail aborde les systèmes formés par un processus et un automate programmable (AP) fonctionnant en boucle…

Ana Paula Estrada Vargas

Matériaux

Measurement of the volume expansion of SiC refractories induced by molten salt corrosion

Emmanuel de Bilbao, Pascal Prigent, Charyar Mehdi-Souzani, M. Bouchetou, Nicolas Schmitt, Jacques Poirier, Eric Blond

Journal of Ceramic Science and Technology - 2013

Mécanique des matériaux

Measurement of the volume expansion of SiC refractories induced by molten salt corrosion

Emmanuel de Bilbao, Pascal Prigent, Charyar Mehdi-Souzani, Marie-Laure Bouchetou, Nicolas Schmitt, Poirier Jacques, Eric Blond

Unified International Technical Conference on Refractories (UNITECR 2013) - 2013

Automatique

Construction de modèles formels de contrôleurs logiques pour le test de conformité

Ce papier s'intéresse à la construction du modèle formel servant de référence pour le test de conformité d'un contrôleur logique, en supposant que ce contrôleur exécute une spécification Grafcet. Deux algorithmes pour construire ce modèle sont…

Anaïs Guignard, Jean-Marc Faure

5èmes Journées Doctorales / Journées Nationales MACS - 2013