Publications

Mechanical engineering

Direct duplication of physical models in discrete 5-axis machining

This paper deals with the feasibility of direct duplication of physical objects as regards a classical approach based on Reverse Engineering. The object surface acquisition is performed using optical devices. Algorithms for tool path generation…

Almohanad Makki, Claire Lartigue, Christophe Tournier, François Thiebaut

Virtual and Physical Prototyping - 2008

Robotique

Calcul des conditions de transition d'un Réseau de Petri par synthèse algébrique

La méthode de synthèse présentée dans cette communication a été développée pour concevoir automatiquement des contrôleurs logiques. Nous montrons comment utiliser cette approche dans le cas particulier où un concepteur cherche à obtenir un…

Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage

Conférence Internationale Francophone d'Automatique, CIFA 2008 - 2008

Robotique

Algebraic synthesis of dependable logic controllers

Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage

17th IFAC World Congress - 2008

Robotique

Building effective formal models to prove time properties of networked automation systems

Silvain Ruel, Olivier de Smet, Jean-Marc Faure

9th International Workshop On Discrete Event Systems, WODES'08 - 2008

Automatic

Évaluation des performances temporelles d’Ethernet industriel

Bruno Denis

Journées Techniques AIP-PRIMECA, Ethernet Industriel : Quelle place pour le développement des applications d’automatisme ? - 2007

Automatic

Évaluation des délais de réactivité des architectures de commande distribuées sur réseau Ethernet

L'idée d'avoir un média universel comme bus de terrain est séduisante. Ainsi, le développement de composants d'automatisation communicant sur un réseau Ethernet commuté utilisant des protocoles de communication standards et ouverts est d'actualité…

Gaëlle Marsal, Bruno Denis, Jean-Marc Faure

e-revue des Sciences et Technologies de l'Automatique - 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