Publications

Automatique

Construction de modèles formels de contrôleurs logiques pour le test de conformité

Ce papier s'intéresse à la construction du modèle formel servant de référence pour le test de conformité d'un contrôleur logique, en supposant que ce contrôleur exécute une spécification Grafcet. Deux algorithmes pour construire ce modèle sont…

Anaïs Guignard, Jean-Marc Faure

5èmes Journées Doctorales / Journées Nationales MACS - 2013

Génie mécanique

A potential field approach for collision avoidance in 5-axis milling

Virgile Lacharnay, Christophe Tournier, Pierre-Yves Pechard, Claire Lartigue

10th International Conference on Computer Aided Design - 2013

Automatique

Formal models for conformance test of programmable logic controllers

Anaïs Guignard, Jean-Marc Faure

Journal Européen des Systèmes Automatisés (JESA) - 2013

Autre

A discrete event approach for model-based location tracking of inhabitants in smart homes

L'espérance de vie a augmenté dans les dernières décennies et devrait continuer à croître dans les prochaines années. Cette augmentation entraîne de nouveaux défis concernant l'autonomie et l'indépendance des personnes âgées. Le développement d…

Mickaël Danancher

Vibrations

BAYESIAN STRUCTURAL SOURCE IDENTIFICATION USING GENERALIZED GAUSSIAN PRIORS

Olivier de Smet, Mathieu Aucejo

11th International Conference on Vibration Problems - 2013

Autre

Assistance à l'élaboration de gammes d'assemblage innovantes de structures composites

Ces travaux proposent une méthode d’assistance à la sélection des techniques d’assemblage et à l’allocation de tolérances sur les écarts géométriques des composants dans le cadre de l’assemblage de structures aéronautiques composites. Cette méthode…

Loïc Andolfatto

Mécanique

5-axis local corner rounding of linear tool path discontinuities

Xavier Beudaert, Sylvain Lavernhe, Christophe Tournier

International Journal of Machine Tools & Manufacture - 2013

Génie logiciel

Commande sous contrainte temporelle d'une architecture d'automatisation en réseau de type producteur/consommateur

L'objectif de ce travail est de synthétiser des lois de commande pour satisfaire des contraintes temporelles imposées sur le temps de réponse d' une architecture d' automatisation en réseau (AAR). L' approche de commande utilisée est basée sur la…

Karima Tebani, Saïd Amari, Redouane Kara

MSR 2013 - Modélisation des Systèmes Réactifs - 2013

Automatic

Procédé pour la conception et la fabrication d'une chaine de composants en réseau et réseau obtenu par un tel procédé

L'invention concerne un procédé pour la conception et la fabrication d'une chaîne de composants en réseau selon une contrainte S, lequel procédé comprend les étapes consistant à : a. obtenir un niveau de fiabilité f visé ; b. construire une…

Benoit Dantin, Nicolas Chevassus, Bruno Denis, Jean-Marc Faure, Damien Aza-Vallina

Mécanique

Modélisation thermomécanique hybride en perçage pour la simulation du champ de temperature dans l'outil

Cet article s'attache à présenter une approche hybride permettant de prédire les chargements thermomécaniques sur l'outil au cours de l'opération de perçage. Une première étape analytique conduit à la détermination de la répartition des flux de…

Nicolas Guillemot, Sylvain Lavernhe, Claire Lartigue, Dominique Deloison, Guillaume Abrivard, Dominique Schuster, Daniel Aliaga

7èmes assises Machines et Usinage à Grande Vitesse MUGV 2012 - Intercut 2012 - 2012