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

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

Measuring the impact of vertical integration on response times in Ethernet fieldbuses

Bruno Denis, Silvain Ruel, Jean-Marc Faure, Gaëlle Marsal, Georg Frey

12th IEEE Conference on Emerging Technologies and Factory Automation, ETFA'07, Patras (Greece), 25-28 September, 2007 - 2007

Génie mécanique

Chapitre 1. Les problématiques actuelles de recherche en tolérancement et les apports du GRT

Cet ouvrage représente une première étape concrète de la volonté commune des membres du GRT de mettre en commun et de débattre en profondeur des problématiques scientifiques du tolérancement pour en présenter les enjeux auprès de la communauté…

Luc Mathieu, François Villeneuve

Luc Mathieu et François Villeneuve - 2007