Publications

Robotique

Performance evaluation of a flexible manufacturing system using two formal methods

Liza Mameri, Redouane Kara, Saïd Amari

Control, Engineering & Information Technology (CEIT), 2015 3rd International Conference on - 2015

Mechanical engineering

A physically-based model for global collision avoidance in 5-axis point milling

Although 5-axis free form surface machining is commonly proposed in CAD/CAM software, several issues still need to be addressed and especially collision avoidance between the tool and the part. Indeed, advanced user skills are often required to…

Virgile Lacharnay, Sylvain Lavernhe, Christophe Tournier, Claire Lartigue

Computer-Aided Design - 2015

Génie mécanique

Filling holes in digitized point cloud using a morphing-based approach to preserve volume characteristics

Yann Quinsat, Claire Lartigue

International Journal of Advanced Manufacturing Technology - 2015

Robotique

Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques, réparables et reconfigurables

Dans les travaux existants, les analyses basées sur les modèles de la Sûreté de Fonctionnement (SdF) d'un système automatisé sont généralement focalisées uniquement sur la partie procédé. Aussi, les stratégies de reconfiguration du procédé -…

Pierre-Yves Piriou

Robotique

A Black-box Identification Method for Automated Discrete Event Systems

Ana Paula Estrada-Vargas, E. López-Mellado, Jean-Jacques Lesage

IEEE Transactions on Automation Science and Engineering - 2015

Génie mécanique

CAD-based calibration for on-machine measurement using vision

Lorène Dubreuil, Yann Quinsat, Claire Lartigue

CAD'15, 12th annual International CAD Conference - 2015

Recherche opérationnelle

Safety-Level Aware Bin-Packing Approach for Control Functions Assignment

Mohamed Benazouz, Jean-Marc Faure

The 15th IFAC/IEEE/IFIP/IFORS Symposium on Information Control Problems (INCOM 2015) - 2015

Robotique

Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max,+) algebra

Wassim Mohamed Boussahel, Saïd Amari, Redouane Kara

Discrete Event Dynamic Systems - 2015

Mathématiques

Contact and Mobility Simulation for Mechanical Assemblies based on Skin Model Shapes

Benjamin Schleich, Nabil Anwer, Luc Mathieu, Sandro Wartzack

Journal of Computing and Information Science in Engineering - 2015

Automatique

Identification comportementale des Systèmes à Evénements Discrets réactifs

L'objectif des travaux est de proposer une technique d'identification des Systèmes à Evénements Discrets permettant d'obtenir des modèles compacts et très expressifs de systèmes logiques réactifs, à des fins de retro-conception ou de certification…

Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage

Modélisation des Systèmes Réactifs (MSR 2015) - 2015