Publications

Mécanique

Kinematical performance prediction in multi-axis machining for process planning optimization

Sylvain Lavernhe, Christophe Tournier, Claire Lartigue

International Journal of Advanced Manufacturing Technology - 2007

Mécanique

Kinematic performances in 5-axis machining

Sylvain Lavernhe, Christophe Tournier, Claire Lartigue

Electronique

Méthode de synthèse d'un contrôleur logique à partir des spécifications algébriques

Nous présentons une méthode de synthèse de la commande d'un système à événements discrets (SED). Cette méthode est une alternative à la technique de synthèse de la commande supervisée. La méthode part d'une spécification de la commande décrite en…

Antonio Medina Rodriguez

Robotique

Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par Arbre des Défaillances

La difficulté d'exprimer les propriétés formelles d'un contrôleur logique en vue de sa vérification est un des obstacles majeurs à la diffusion de ce type de techniques. L'objectif de cette thèse est donc de faciliter l'élaboration de ces propriétés…

Israel Barragan Santiago

Mécanique

Machining strategy choice: performance VIEWER

Laurent Tapie, Kwamiwi Mawussi, Bernard Anselmetti

Advances in Integrated Design and Manufacturing in Mechanical Engineering II - 2007

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

Apprentissage

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

Ryad Zemouri, Jean-Marc Faure

IFAC Proceedings Volumes - 2006