Publications

Robotique

Verification of a timed multitask system with UPPAAL

Houda Bel Mokadem, Béatrice Berard, Vincent Gourcuff, Jean-Marc Roussel, Olivier de Smet

10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05) - 2005

Génie mécanique

Iso-scallop tool path generation in 5-axis milling

Christophe Tournier, Emmanuel Duc

International Journal of Advanced Manufacturing Technology - 2005

Automatique

Fault detection of Discrete Event Systems using an identification approach

Stéphane Klein, Lothar Litz, Jean-Jacques Lesage

16th IFAC world Congress - 2005

Robotique

FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS

Israel Santiago Barragan, Jean-Marc Faure

16th IFAC World Congress - 2005

Robotique

Control of Linear Min-plus Systems under Temporal Constraints

Saïd Amari, Isabel Demongodin, Jean Jacques Loiseau

44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2005) - 2005

Robotique

Designing dependable logic controllers using the supervisory control theory

Jean-Marc Roussel, Alessandro Giua

Proceedings of the 16th IFAC World Congress - 2005

Robotique

Réglage du routeur d'un sous réseau dédié au contrôle commande temps réel : Approche expérimentale avec apprentissage par réseau de neurones

En dépit de leur qualité de déterminisme dédié au contrôle commande, les protocoles traditionnels de réseaux de terrains (tels que FIP ou PROFIBUS) se voient menacés par l'arrivée de solutions utilisant Ethernet. Cet article propose une démarche…

Steve Limal, Bruno Denis, Ryad Zemouri, Jean-Jacques Lesage

3ème Conférence Internationale sur la Productique (CIP'05) - 2005

Mécanique

Définition d'une pièce test pour la caractérisation d'une machine UGV

Kwamiwi Mawussi, Laurent Tapie

1er Conrgès International Conception et Modélisation des Systèmes Mécaniques, CMSM\'05 - 2005

Génie mécanique

Optimisation en fraisage 5 axes grande vitesse

La réalisation des pièces de formes complexes passe par la génération de trajectoires d'usinage, basée sur un modèle CAO, une stratégie d'usinage et une machine outil à commande numérique donnée. Afin d'assurer les meilleures performances possibles…

Christophe Tournier, Sylvain Lavernhe, Claire Lartigue

4th International conference on Integrated Design and Production - 2005

Génie mécanique

DIMENSIONAL METROLOGY OF FLEXIBLE PARTS: IDENTIFICATION OF GEOMETRICAL DEVIATIONS FROM OPTICAL MEASUREMENTS

Claire Lartigue, François Thiebaut, Pierre Bourdet, Nabil Anwer

Advanced Mathematical and Computational Tools in Metrology VII - 2005