Publications

Chimie de coordination

Short and efficient access to imidazo[1,2-a]pyrrolo[3,2-c]pyridine derivatives

Emmanuel Moreau, Vincent Gaumet, Abbass Taleb, Fernand Leal, Johan Neyts, Jan Paeshuyse, Claire Lartigue, Olivier Chavignon, Alain Gueiffier, Jean-Claude Teulade, Jacques Métin, Jean-Michel Chezal

Tetrahedron Letters - 2010

Robotique

Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gate FDEP as Static

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

European Safety and Reliability Conference (ESREL 2010) - 2010

Sciences de l'ingénieur

Étude de la capabilité de la photogrammétrie sans cibles pour la mesure de tuyauteries

Dans le contexte du contrôle tridimensionnel des pièces mécaniques, nous nous intéressons aux méthodes de mesure par photogrammétrie. Les travaux proposés ont pour but d'étudier la faisabilité de la photogrammétrie passive sans cibles pour la mesure…

Labib Daoud

Automatique

Analytic Calculus of Response Time in Networked Automation Systems

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

IEEE Transactions on Automation Science and Engineering - 2010

Mécanique

Product Lifecycle Management, Geometric variations

Max Giordano, Luc Mathieu, François Villeneuve

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

Robotique

Building Meaningful Timed Plant Models for Verification Purposes

Matthieu Perin, Jean-Marc Faure

13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009) - 2009