Publications

Robotique

Test sequence construction from SFC specification

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

2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09) - 2009

Mechanical engineering

INTEGRATION DE L'ENERGIE DE DEFORMATION MINIMUM EN USINAGE 5 AXES SUR LE FLANC

Dans cet article, une méthode de génération de trajectoire 5-axes UGV par flanc d’outil basée sur le concept de surface d’usinage est proposée. La représentation surfacique de la trajectoire permet une minimisation globale des écarts entre la…

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

11 eme colloque national AIP Primeca - 2009

Mécanique

Feed drive simulation for the prediction of the tool path follow up in High Speed Machinning

David Prévost, Sylvain Lavernhe, Claire Lartigue

Journal of Machine Engineering, High Performance Manufacturing - Machines - 2009

Autre

Contribution à l'amélioration de la qualité des surfaces fabriquées sur centre d'usinage à 5 axes

Le thème abordé est celui de la fabrication de pièces de formes complexes sur centre d'usinage à 5 axes et plus particulièrement le point de vue de la génération de trajectoires et de leurs exécutions sur les machines. Quatre thèmes distincts seront…

Christophe Tournier

Robotique

Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees

Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Andrea Bobbio

2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09) - 2009

Mécanique

Automatic polishing process of plastic injection molds on a 5-axis milling center

Xavier Pessoles, Christophe Tournier

Journal of Materials Processing Technology - 2009

Robotique

Distributed identification of concurrent discrete event systems for fault detection purposes

Matthias Roth, Jean-Jacques Lesage, Lothar Litz

European Control Conference 2009 (ECC 2009) - 2009

Robotique

A residual inspired approach for fault localization in DES

Matthias Roth, Jean-Jacques Lesage, Lothar Litz

2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09) - 2009

Robotique

Construction d'une séquence de test minimale à partir d'une spécification GRAFCET

Cette communication est relative au test de conformité de systèmes électroniques micro-programmés spécifiés en Grafcet. La méthode proposée permet de construire automatiquement une séquence de test de longueur minimale permettant d'effectuer le test…

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

3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09) - 2009

Robotique

Évaluation des bornes des performances temporelles des Architectures d'Automatisation en Réseau par preuves itératives de propriétés logiques

Ce mémoire de thèse propose une approche pour l'obtention des bornes des performances temporelles d'une Architecture d'Automatisation en Réseau par preuves itératives de propriétés d'atteignabilité sur un modèle formel de l'architecture. Ces…

Silvain Ruel