Publications

Robotique

Systematic extraction of Minimal Cut Sequences from a BDMP model

Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage, Gilles Deleuze, Marc Bouissou

21th European Safety & Reliability Conf. (ESREL'12) - 2012

Mechanical engineering

MODÉLISATION DE L'USURE DES ABRASIFS POUR GARANTIR LA QUALITÉ DES SURFACES POLIES

L'obtention d'un état de surface de haute qualité pour la fabrication des moules et matrices nécessite l'utilisation d'opérations de superfinition telles que la rectification ou le polissage. Ces opérations sont souvent réalisées manuellement, ainsi…

Anthony Guiot, Christophe Tournier, Yann Quinsat

Colloque national AIP Primeca - 2012

Robotique

Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs

Saïd Amari, Isabel Demongodin, Jean Jacques Loiseau, Claude Martinez

IEEE Transactions on Automatic Control - 2012

Mécanique

Correction of trajectory execution errors in hsm using a miror approach

David Prévost, Sylvain Lavernhe, Claire Lartigue

Eight International Conference on High Speed Machining (HSM) - 2012

Automatique

Coupling timed plant and controller models with urgent transitions without introducing deadlocks

Matthieu Perin, Jean-Marc Faure

17th IEEE international conference on Emerging Technologies on Factory Automation - 2012

Robotique

Influence of bus partitioning on the reliability of transmissions

Damien Aza-Vallina, Bruno Denis, Jean-Marc Faure

PSAM'11/ESREL2012 - 2012

Mechanical engineering

In situ non-contact measurements of polished surfaces

Measurement of 3D surface roughness usually involves removing the part from themachine tool between two operations potentially introducing systematic errors. Furthermore, surfaceroughness measuring instruments are not suited for measuring heavy and…

Yann Quinsat, Christophe Tournier

International conference on surface metrology ICSM'2012 - 2012

Mécanique

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 et…

Guiot Anthony

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