Publications

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

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

Automatic

Procédé pour la conception et la fabrication d'une chaine de composants en réseau et réseau obtenu par un tel procédé

L'invention concerne un procédé pour la conception et la fabrication d'une chaîne de composants en réseau selon une contrainte S, lequel procédé comprend les étapes consistant à : a. obtenir un niveau de fiabilité f visé ; b. construire une…

Benoit Dantin, Nicolas Chevassus, Bruno Denis, Jean-Marc Faure, Damien Aza-Vallina

Robotique

Networked Conflicting Timed Event Graphs Representation in (Max,+) Algebra

Boussad Addad, Saïd Amari, Jean-Jacques Lesage

Discrete Event Dynamic Systems - 2012

Automatique

Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité

Une méthode de construction d'une machine de Mealy équivalente à un système d'équations récurrentes qui décrit le comportement d'un système logique séquentiel est présentée dans ce papier. Cette construction repose sur la manipulation symbolique d…

Anaïs Guignard, Jean-Marc Faure, Jean-Marc Roussel

Conférence Internationale Francophone d'Automatique (CIFA2012) - 2012

Mécanique

CAD-based Calibration of a 3D DIC System

Benoît Beaubier, Karine Lavernhe Taillard, Gilles Besnard, Sylvain Lavernhe, François Hild, Stéphane Roux

SEM XII International Congress & Exposition on Experimental and Applied Mechanics - 2012

Sciences de l'ingénieur

Functional tolerancing: Virtual material condition on complex junctions

Robin Chavanne, Bernard Anselmetti

Computers in Industry - 2012