Publications

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

Mécanique

Decomposition of forging die for high speed machining

Laurent Tapie, Kwamiwi Mawussi

IDMME - Virtual Concept 2008 - 2008

Robotique

Improving large-sized PLC programs verification using abstractions

Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure

17th IFAC World Congress, Seoul (Korea) - 2008

Mécanique

Analyses de difficultés d'usinage pour les pièces de formes complexes : concept de viewer

L'adéquation entre la géométrie à réaliser et le processus UGV est au cœur de la démarche de préparation à l'usinage des pièces de formes complexes. Dans cet article nous proposons un outil basé sur le concept de « viewer » permettant d'intégrer les…

Laurent Tapie, Kwamiwi Mawussi

5ème Assises MUGV - 2008

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 - 2008

Robotique

Analyse prévisionnelle des fautes des systèmes embarqués discrets par vérification model-based

Les méthodes usuelles d'analyse prévisionnelle des fautes s'intéressent principalement aux fautes aléatoires de composants physiques. Dans le cas des systèmes embarqués, qui comportent de nombreuses boucles de commande, il importe de vérifier…

Matthieu Perin, Jean-Marc Faure

Conférence Internationale Francophone d'Automatique (CIFA) 2008 - 2008