Publications

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

Mécanique

A Knowledge base model for complex forging die machining

Kwamiwi Mawussi, Laurent Tapie

Computers & Industrial Engineering - 2011

Robotique

Using a meta-model to build operational architectures of automation systems for critical processes

Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün

16th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'2011 - 2011

Autre

Contribution au tolérancement fonctionnel 3D des mécanismes complexes : synthèse des spécifications et analyse de tolérances

L’étude est dédiée à la conception d’un système expert d’aide au tolérancement assurant la gestion multi-utilisateurs, multi-produits et temporelle des tolérances et des dimensions nominales de pièces pour des mécanismes complexes. Ce travail rentre…

Robin Chavanne

Robotique

Aide à la conception d'architectures opérationnelles de commande de systèmes critiques par analyse d'atteignabilité

Ce papier présente une méthode qui facilite la conception de l'architecture opérationnelle d'un système de commande en proposant, à partir de la connaissance des caractéristiques des fonctions que doit assurer ce système et des contrôleurs choisis…

Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün

4èmes Journées Doctorales / Journées Nationales MACS, JD-JN-MACS - 2011

Robotique

Algebraic Determination of the Structure Function of Dynamic Fault Trees

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

Reliability Engineering and System Safety - 2011

Robotique

Stepwise Identification of Automated Discrete Manufacturing Systems

Ana-Paula Estrada-Vargas, Jean-Jacques Lesage, Ernesto López-Mellado

16th IEEE International Conference on Emerging Technologies and Factory Automation - 2011

Autre

Evaluation analytique du temps de réponse des systèmes de commande en réseau en utilisant l’algèbre (max,+)

Les systèmes de commande en réseau (SCR) sont de plus en plus répandus dans le milieu industriel. Ils procurent en effet de nombreux avantages en termes de coût, de flexibilité, de maintenance, etc. Cependant,l’introduction d’un réseau, qui par…

Boussad Addad