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

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

Apprentissage

Diagnosis of discrete event system by stochastic timed automata

Ryad Zemouri, Jean Marc Faure

2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - 2006

Robotique

Efficient representation for formal verification of PLC programs

Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure

8th International Workshop On Discrete Event Systems (WODES'06) - 2006