Publications

Génie mécanique

Identification de la géométrie de machines CN par mesure d'artefacts

M Makki, S Lavernhe, F Thiébaut, C Tournier, C Lartigue

1er Congrès International Francophone de Mécanique Avancée - 2006

Génie mécanique

Optimal selection of machining direction for three-axis milling of sculptured parts

Yann Quinsat, Laurent Sabourin

International Journal of Advanced Manufacturing Technology - 2006

Robotique

Evaluation des performances temporelles d'architectures d'automatisation distribuées sur Ethernet par simulation d'un modèle eb réseau de Petri de haut niveau.

Nous évaluons dans cette thèse deux performances temporelles des architectures d automatisation distribuées sur Ethernet commuté et utilisant un modèle de coopération client/serveur : Le temps de réponse entre une occurrence d un événement d entrée…

Gaëlle Marsal, Gaëlle Poulard (épouse Marsal)

Robotique

INCLUDING SYSTEMATIC FAULTS INTO FAULT TREE ANALYSIS

Jean-Marc Faure, Israel Santiago Barragan, Yiannis Papadopoulos

SAFEPROCESS 06 - 2006

Robotique

A methodology to design and check a plant model

Benoit Rohée, Bernard Riera, Véronique Carré-Ménétrier, Jean-Marc Roussel

3rd IFAC Workshop on Discrete-Event System Design (DESDes'06) - 2006

Mécanique

MACHINING STRATEGY CHOICE: PERFORMANCE VIEWER.

Laurent Tapie, Kwamiwi Mawussi, Bernard Anselmetti

6th IDMME - INTERNATIONAL CONFERENCE ON INTEGRATED DESIGN AND MANUFACTURING IN MECHANICAL ENGINEERING - 2006

Mécanique

5-axis High Speed Milling Optimisation

Christophe Tournier, Sylvain Lavernhe, Claire Lartigue

Revue Internationale d'Ingenierie Numerique - 2006

Automatic

Evaluation of Real-Time Capabilities of Ethernet-based Automation Systems using Formal Verification and Simulation

Two main time features are identified in distributed automation systems, the update rate of Input and Output values and the end-to-end delay between a process event and its consequence. For the first feature, only the upper bound is needed, while…

Gaëlle Marsal, Daniel Witsch, Bruno Denis, Jean-Marc Faure, Georg Frey

1ères Rencontres Jeunes Chercheurs en Informatique Temps Réel (RJCITR'05) - 2005

Robotique

FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS

Israel Santiago Barragan, Jean-Marc Faure

16th IFAC World Congress - 2005

Robotique

Control of Linear Min-plus Systems under Temporal Constraints

Saïd Amari, Isabel Demongodin, Jean Jacques Loiseau

44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2005) - 2005