Publications

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

Robotique

Manufacturing plant control challenges and issues

Gérard Morel, Paul Valckenaers, Jean-Marc Faure, Carlos Eduardo Pereira, Christian Diedrich

Control Engineering Practice - 2007

Robotique

Outil d'aide à l'élaboration de modèles hybrides de simulation pour les systèmes manufacturiers

La simulation hors ligne des systèmes automatisés de production pilotés par des automates programmables industriels permet de tester une commande sans utiliser la partie opérative. Les avantages de l'utilisation de tels modèles sont multiples :…

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

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

Génie mécanique

Assembly Simulation of Flexible Parts through the fitting of Linkage Devices

Breteau Pierre, François Thiebaut, Lartigue Claire, Fricéro Benoit, Falgarone Hugo, Moufle Georges Eric, François Thiebaut

10th CIRP conference on Computer Aided Tolerancing - 2007

Mechanical engineering

Intégration d'un critère de fluidité en génération de trajectoires 5 axes par flanc d'outil

La réalisation des pièces en usinage sur le flanc s'avère d'une très grande rentabilité par rapport à l'usinage en bout par balayage des formes complexes. C'est pourquoi les industriels se tournent de plus en plus vers ce procédé pour gagner des…

Pierre-Yves Pechard, Julien Chaves-Jacob, Christophe Tournier, Claire Lartigue

Conception et Production Intégrée 2007 - 2007