Publications

Robotique

Evaluation 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

Conférence Internationale Francophone d'Automatique, CIFA 2006, Bordeaux (France) - 2006

Electronique

Évaluation de performance d'architectures de commande de systèmes automatisés industriels

Les performances temporelles d'une architecture de contrôle-commande conditionnent fortement celles du système automatisé de production commandé. Pour maîtriser ces performances temporelles, l'architecte automaticien doit pouvoir les évaluer à…

Pascal Meunier

Robotique

Designing dependable logic controllers using algebraic specifications

Jean-Marc Roussel, Jean-Marc Faure

Control Engineering Practice - 2006

Robotique

A generic approach to build plant models for DES verification purposes

José Machado, Bruno Denis, Jean-Jacques Lesage

8th International Workshop on Discrete Event Systems, WODES'06 - 2006

Robotique

OBTAINING TEMPORAL AND TIMED PROPERTIES OF LOGIC CONTROLLERS FROM FAULT TREE ANALYSIS

Israel Santiago Barragan, Matthias Roth, Jean-Marc Faure

12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006 - 2006

Robotique

Détermination de l'équivalence comportementale d'algorithmes de contrôle - commande

La norme IEC 61508 sur la sécurité fonctionnelle des systèmes critiques préconise l'utilisation de méthodes formelles pour les logiciels de niveau SIL (Safety Integrated Level) 3 et 4. Cependant aucune précision sur l'utilisation de ces méthodes…

Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure

Conference Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06) - 2006

Mécanique

Decomposition of forging dies for machining planning

Laurent Tapie, Kwamiwi Mawussi, Bernard Anselmetti

15th International Conference on Manufacturing Systems – ICMaS - 2006

Mécanique

Numérisation 3D intelligente d'objets de formes inconnues basée sur des critères de qualité

Cette thèse traite de la numérisation 3D d'objets de formes inconnues par capteur laser plan sans contact. Objectif : accroître la qualité du résultat par la génération de trajectoire intelligente (TI) de numérisation. Les paramètres du…

Charyar Mehdi-Souzani

Génie mécanique

A FIRST APPROACH FOR RAPID COPYING OF FREE-FORM SURFACES IN 5-AXIS MACHINING

Pierre Breteau, François Thiébaut, Pierre Bourdet, Claire Lartigue

Conference on Integrated Design and Manufacturing in Mechanical Engineering (IDMME) - 2006

Mécanique

TOOL PATH GENERATION AND POST-PROCESSOR ISSUES IN FIVE-AXIS HIGH SPEED MACHINING OF HYDRO TURBINE BLADES

Christophe Tournier, Cedric Castagnetti, Sylvain Lavernhe, François Avellan

Fifth International Conference on High Speed Machining - 2006