Recherche

Publications

Liste des publications du LURPA

Lien Hal archives

Affichage des publications 441 à 450 sur 879 au total

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

Calcul parallèle, distribué et partagé

Performance evaluation of CUDA programming for 5-axis machining multi-scale simulation

Felix Abecassis, Sylvain Lavernhe, Christophe Tournier, Pierre-Alain Boucard

Computers in Industry - 2015

Robotique

Identification par réseau de Petri du comportement non observable d'un système séquentiel réactif

L'objectif de l'identification comportementale d'un système séquentiel réactif est de construire, à partir d'une séquence observée d'événements d'entrées/sorties, un modèle capable d'exhiber a la fois les relations de causalités entre entrées et…

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

6èmes Journées doctorales du GDR MACS, JDMACS'15 - 2015

Robotique