Publications

Automatique

Validation of logic controllers from events observation in a closed-loop system

Anaïs Guignard, Jean-Marc Faure

19th Emerging Technologies and Factory Automation (ETFA'14), International Conference on - 2014

Robotique

Aide à la décision pour l'intégration de la sécurité au plus tôt en phase de conception : approche innovante de reconception de machines agricoles

Les travaux de recherche exposés dans ce mémoire se positionnent dans le domaine de la conception sécuritaire. Cette thèse s’intéresse plus particulièrement à rendre opérationnelle la méthode IRAD (Innovative Risk Assessment Design), qui intègre la…

Leyla Sadeghi

Robotique

Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

Jean-Marc Roussel, Jean-Jacques Lesage

Mathematical Problems in Engineering - 2014

Génie mécanique

Comparison of analysis line and polytopes methods to determine the result of a tolerance chain

Laurent Pierre, Bernard Anselmetti

13th CIRP International Seminar on Computer Aided Tolerancing - 2014

Génie mécanique

Quality- and cost-driven assembly technique selection and geometrical tolerance allocation for mechanical structure assembly

Loïc Andolfatto, François Thiébaut, Claire Lartigue, Marc Douilly

Journal of Manufacturing Systems - 2014

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

Génie mécanique

A potential field approach for collision avoidance in 5-axis milling

Virgile Lacharnay, Christophe Tournier, Pierre-Yves Pechard, Claire Lartigue

10th International Conference on Computer Aided Design - 2013

Automatique

Formal models for conformance test of programmable logic controllers

Anaïs Guignard, Jean-Marc Faure

Journal Européen des Systèmes Automatisés (JESA) - 2013