Publications

Robotique

Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels

Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking. Ces vérifications, focalisées sur les propriétés extrinsèques, permettent d…

Vincent Gourcuff

Génie mécanique

Reverse-Engineering et copiage rapide de nuage de points numérisés

Dans cette communication nous nous intéressons à démontrer la faisabilité d'une démarche copiage rapide de forme vis-à-vis d'une approche classique de reproduction de forme s'appuyant sur une démarche de Reverse Engineering. Nous montrons au travers…

Mohanad Makki, François Thiébaut, Christophe Tournier, Claire Lartigue

18ème Congrès Français de Mécanique - 2007

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

Robotique

Décomposition topologiques des outillages de forge pour la Génération de trajectoires UGV

La préparation de l'usinage de pièce de formes complexes induit des temps improductifs sur les machines UGV. Ces temps improductifs sont liés aux manques de méthodologies de préparation et aux faibles connaissances du préparateur sur le processus…

Laurent Tapie

Robotique

Modèle algébrique des arbres de défaillance intégrant des contraintes sur l'ordre d'occurrence des événements

Cette communication présente un cadre formel permettant d'étendre la simplification des arbres de défaillance statiques aux arbres comportant les portes ET PRIORITAIRE et OU PRIORITAIRE. Les hypothèses de travail retenues sont les suivantes : les…

Guillaume Merle, Jean-Marc Roussel

Journées Doctorales du GDR MACS (JD-MACS'07) - 2007

Mécanique

Circular tests for HSM machine tools: Bore machining application

Laurent Tapie, Kwamiwi Mawussi, Bernard Anselmetti

International Journal of Machine Tools & Manufacture - 2007