Publications

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

Sciences de l'ingénieur

Prise en compte des contraintes associées au couple MO-CN en génération de trajectoires 5 axes UGV

Les pièces de formes complexes des domaines aéronautique et automobile sont fabriquées par usinage 5 axes UGV pour accroître leur qualité ou la productivité. Cependant, la gestion combinée du multi-axe et des vitesses élevées posent divers problèmes…

Sylvain Lavernhe

Apprentissage

Comparative Study Between the Timed Automata and the Recurrent Radial Basis Function for Discrete Event System Diagnosis

Ryad Zemouri, Jean-Marc Faure

6th IFAC Symposium, SAFEPROCESS 2006 - 2006

Automatic

Performance verification of discrete event systems using hybrid model-checking

The results generated over the past few years on the formal verification of both Discrete Event Systems (DES) and Hybrid Dynamic Systems (HDS) are quite substantial, especially as regards the controller's properties of liveness and safety. In this…

Bruno Denis, Jean-Jacques Lesage, Zulema Juarez Orozco

2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'06 - 2006

Robotique

Component Failure Behaviour: Patterns and Reuse in Automated System Safety Analysis

Yannis Papadopoulos, Audrey Tran, Jean-Marc Faure, Christian Grante

SAE 2006 World Congress - 2006