Publications

Robotique

Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride

La vérification formelle des contrôleurs logiques a donné lieu à de nombreux travaux scientifiques cette dernière décennie. Elle permet de démontrer (obtention d'un niveau requis de sûreté de fonctionnement (SdF) des systèmes industriels, et tout…

Zulema Juarez Orozco

Robotique

Reactive control system design using the Supervisory Control Theory: evaluation of possibilities and limits

Matteo Cantarelli, Jean-Marc Roussel

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

Mécanique

Amélioration du comportement cinématique des machines par l'optimisation des trajets d'usinage 5 axes

Le couplage précision-vitesse est une problématique importante de l'usinage à 5 axes. Le respect de la précision impose à la machine de ralentir. De plus, le calcul du trajet ne prend pas en compte le comportement de la machine et induit aussi des…

Cedric Castagnetti

Robotique

Modeling and Response Time Evaluation of Ethernet-based control Architectures using Timed Event Graphs and Max-Plus Algebra

Boussad Addad, Saïd Amari

IEEE Conference on Automation Science and Engineering - 2008

Mechanical engineering

Introducing minimum energy tool path in 5-axis flank milling

This paper deals with a surface based-approach for 5-axis flank milling of complex surfaces. The surface representation of the tool trajectory allows globally minimizing the geometrical deviations between the machined surface and the designed…

Pierre-Yves Pechard, Christophe Tournier, Claire Lartigue, Jean-Pierre Lugarini

3rd CIRP International Conference on High Performance Cutting - 2008

Robotique

Algebraic Synthesis of Transition Conditions of a State Model

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

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

Systèmes embarqués

Delay Evaluation and Compensation in Ethernet-Networked Control Systems

Boussad Addad, Saïd Amari

16th International Conference on Real-Time and Network Systems (RTNS 2008) - 2008

Chimie de coordination

New Opportunities with the Duff Reaction

Emmanuel Moreau, Nicolas Masurier, Claire Lartigue, Vincent Gaumet, Jean-Michel Chezal, Annie Heitz, Jean-Claude Teulade, Olivier Chavignon

Journal of Organic Chemistry - 2008

Mécanique

NC-simulation for the prediction of surface finish in 5-axis High-Speed Machining

Sylvain Lavernhe, Yann Quinsat, Christophe Tournier, Claire Lartigue, René Mayer

3rd CIRP International Conference on High Performance Cutting, Dublin(Ireland), - 2008

Génie mécanique

Une approche pour estimer la normale sur données discrètes et bruitées issues d'une numérisation 3D par capteur laser plan

Nous proposons dans cette communication une méthode de calcul de la normale, robuste et rapide qui s'applique aux données discrètes issues de numérisation 3D par capteur optique à triangulation. Cette méthode s'appuie sur le lancé d'une sphère sur…

M Makki, C Tournier, F Thiebaut, C Lartigue

Groupe de Travail en Modélisation Géométrique – GTMG08 - 2008