Publications

Mécanique

Product Lifecycle Management, Geometric variations

Max Giordano, Luc Mathieu, François Villeneuve

Automatique

Translating Grafcet specifications into Mealy machines for conformance test purposes

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

Control Engineering Practice - 2010

Mécanique

Modular design for complex systems

Mons Pierre, Laurent Tapie, Dantin Benoit, Chevassus Nicolas, Mathieu Luc

IDMME-VIRTUAL CONCEPT 2010 - 2010

Robotique

Conformance test of logic controllers of critical systems from industrial specifications

François Chériaux, Laurence Picci, Julien Provost, Jean-Marc Faure

European Conference on Safety and Reliability - ESREL 2010 - 2010

Mécanique

5-axis Direct Machining of Rough Clouds of Points

Almohanad Makki, Christophe Tournier, François Thiebaut, Claire Lartigue, Charyar Mehdi-Souzani

CAD'10 - 2010

Robotique

Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events

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

IEEE Transactions on Reliability - 2010

Mécanique

Current and future Issues in Tolerancing: the GD&T French Research Group Contribution

Luc Mathieu, François Villeneuve

geometric tolerancing of products - 2010

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

Automatique

Modelisation et évaluation temporelle des architectures de commande en réseau

Ce papier présente une nouvelle méthode d'évaluation du temps de réponse dans les architectures de commande sur réseau Ethernet commuté. Elle se base sur la modélisation du système avec tous ses constituants à l'aide des graphes d'événements…

Boussad Addad, Saïd Amari

3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09), papier N°25, 6p., Angers, France, 17-18 mars 2009 - 2009