Publications

Robotique

Testing Programmable Logic Controllers from Finite State Machines specification

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

3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011 - 2011

Mécanique

5-Axis Flank Milling Tool Path Smoothing Based on Kinematical Behaviour Analysis

Xavier Beudaert, Pierre-Yves Pechard, Christophe Tournier

13th CIRP Conference on Modeling of Machining Operations - 2011

Robotique

Control of Discrete Event Systems with Respect to Strict Duration: Supervision of an Industrial Manufacturing Plant

Abdourrahmane Atto, Claude Martinez, Said Amari

Computers & Industrial Engineering - 2011

Robotique

Qualitative analysis of a BDMP by finite automata

Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage, Gilles Deleuze, Marc Bouissou

20th European Safety & Reliability Conf. (ESREL'11) - 2011

Mécanique

Modélisation avancée du couple Machine Outil / Commande Numérique dans un contexte UGV pour l'optimisation du calcul de trajectoires multi axes

Les différentes étapes du processus d'élaboration de pièces de formes complexes sont encore aujourd'hui le siège d'erreurs et de cloisonnement entre activités qui engendrent une perte de qualité du produit réalisé et un manque de productivité. La…

David Prévost

Robotique

Prise en compte de différents modes de défaillance des composants réseau dans l'évaluation de la fiabilité des transmissions

Ce papier présente une méthode originale pour obtenir une expression analytique de la fiabilité d'une transmission de données entre deux terminaux d'un système en réseau dans lequel les composants peuvent comporter plusieurs modes de défaillance et…

Damien Aza-Vallina, Bruno Denis, Jean-Marc Faure

4èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'11) - 2011

Mécanique

Adaptive Monte Carlo applied to uncertainty estimation in a five axis machine tool link errors identification

Loïc Andolfatto, René Mayer, Sylvain Lavernhe

International Journal of Machine Tools and Manufacture - 2011

Robotique

The concept of residuals for fault localization in discrete event systems

Matthias Roth, Jean-Jacques Lesage, Lothar Litz

Control Engineering Practice - 2011

Autre

Test de conformité de contrôleurs logiques spécifiés en grafcet

Les travaux présentés dans ce mémoire de thèse s'intéressent à la génération et à la mise en œuvre de séquences de test pour le test de conformité de contrôleurs logiques. Dans le cadre de ces travaux, le Grafcet (IEC 60848 (2002)), langage de…

Julien Provost

Robotique

Diagnostic des SED basé sur un modèle : trois approches évaluées sur une même étude de cas

Dans ce papier, trois méthodes de diagnostic des Systèmes à Événements Discrets sont évaluées. Les approches considérées sont toutes basées sur des modèles : l'approche par diagnostiqueur, l'approche par templates et l'approche par résidus. En…

Mickaël Danancher, Matthias Roth, Jean-Jacques Lesage, Lothar Litz

4èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'11) - 2011