Publications

Robotique

Algebraic synthesis of logical controllers with optimization criteria

Hélène Leroux, Jean-Marc Roussel

6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECOS 2012 - 2012

Autre

Contribution à la modélisation réaliste et multi-échelles des systèmes bouclés temporisés

L'analyse d'une chaîne de production manufacturière complète, composée de plusieurs systèmes bouclés temporisés, en utilisant des modèles détaillés est presque impossible à cause des problèmes liés aux tailles des modèles. Une solution pour…

Matthieu Perin

Mécanique

Maximum Feedrate Interpolator for Multi-axis CNC Machining with Jerk Constraints

Xavier Beudaert, Sylvain Lavernhe, Christophe Tournier

9th International Conference on High Speed Machining - 2012

Génie civil

Modélisation et simulation du procédé de prépolissage automatique sur centre d'usinage 5 axes

La réalisation de formes complexes comme les moules ou les prothèses médicales nécessite l’utilisation d’opérations de super finition pour obtenir de faibles défauts géométriques, pouvant aller jusqu’au poli-miroir. Ces opérations de pré-polissage…

Anthony Guiot

Autre

Intégration des effets des dilatations thermiques dans le tolérancement

La cotation fonctionnelle doit garantir la montabilité et le bon fonctionnement d'un mécanisme en imposant les spécifications fonctionnelles à respecter sur les pièces. Ces spécifications sont exprimées avec les normes ISO de cotation et doivent…

Sami Benichou

Robotique

Indoor Location Tracking Based on a Discrete Event Model

Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz

International Conference on Smart Homes and Health Telematics, ICOST 2012 - 2012

Mécanique

Feedrate interpolation with axis jerk constraints on 5-axis NURBS and G1 tool path

Xavier Beudaert, Sylvain Lavernhe, Christophe Tournier

International Journal of Machine Tools & Manufacture - 2012

Robotique

Networked Conflicting Timed Event Graphs Representation in (Max,+) Algebra

Boussad Addad, Saïd Amari, Jean-Jacques Lesage

Discrete Event Dynamic Systems - 2012

Automatique

Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité

Une méthode de construction d'une machine de Mealy équivalente à un système d'équations récurrentes qui décrit le comportement d'un système logique séquentiel est présentée dans ce papier. Cette construction repose sur la manipulation symbolique d…

Anaïs Guignard, Jean-Marc Faure, Jean-Marc Roussel

Conférence Internationale Francophone d'Automatique (CIFA2012) - 2012

Mécanique

CAD-based Calibration of a 3D DIC System

Benoît Beaubier, Karine Lavernhe Taillard, Gilles Besnard, Sylvain Lavernhe, François Hild, Stéphane Roux

SEM XII International Congress & Exposition on Experimental and Applied Mechanics - 2012