Publications

Robotique

Improving large-sized PLC programs verification using abstractions

Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure

17th IFAC World Congress, Seoul (Korea) - 2008

Mécanique

Analyses de difficultés d'usinage pour les pièces de formes complexes : concept de viewer

L'adéquation entre la géométrie à réaliser et le processus UGV est au cœur de la démarche de préparation à l'usinage des pièces de formes complexes. Dans cet article nous proposons un outil basé sur le concept de « viewer » permettant d'intégrer les…

Laurent Tapie, Kwamiwi Mawussi

5ème Assises MUGV - 2008

Mécanique

Feed drive simulation for the prediction of the tool path follow up in High Speed Machinning

David Prévost, Sylvain Lavernhe, Claire Lartigue

Journal of Machine Engineering, High Performance Manufacturing - Machines - 2008

Robotique

Analyse prévisionnelle des fautes des systèmes embarqués discrets par vérification model-based

Les méthodes usuelles d'analyse prévisionnelle des fautes s'intéressent principalement aux fautes aléatoires de composants physiques. Dans le cas des systèmes embarqués, qui comportent de nombreuses boucles de commande, il importe de vérifier…

Matthieu Perin, Jean-Marc Faure

Conférence Internationale Francophone d'Automatique (CIFA) 2008 - 2008

Robotique

Efficient representation for formal verification of time performances of networked automation architectures

Silvain Ruel, Olivier de Smet, Jean-Marc Faure

17th IFAC World Congress - 2008

Mechanical engineering

POLISSAGE AUTOMATIQUE DE MOULES D'INJECTION PLASTIQUE SUR CENTRE D'USINAGE 5 AXES

Résumé : Dans l'industrie de la fabrication des moules pour l'injection plastique, la réalisation de surfaces «poli miroir» est indispensable pour obtenir des pièces transparentes ou des surfaces dépourvues de rayures. Traditionnellement réalisé…

Xavier Pessoles, Christophe Tournier

5eme Assises Machines et Usinage Grande Vitesse - 2008

Réseaux et télécommunications

Cross-layer rate control, medium access control and routing design in cooperative VANET

Liang Zhou, Baoyu Zheng, Benoit Geller, Anne Wei, Shan Xu, Yajun Li

Computer Communications - 2008

Robotique

Commande d'un système de production à temps critique

Nous traitons dans ce papier le problème de commande d'un système de production soumis à une contrainte temporelle stricte. Nous comparons sur un exemple réel deux approches formelles de commande temporelles. Le principe des deux méthodes est de…

Saïd Amari, Claude Martinez

Conférence Internationale Francophone d'Automatique - 2008

Robotique

Response time evaluation in Ethernet-based automation architectures

Boussad Addad, Saïd Amari

2nd International Workshop on Verification and Evaluation of Computer and Communication Systems - 2008

Mechanical engineering

Direct duplication of physical models in discrete 5-axis machining

This paper deals with the feasibility of direct duplication of physical objects as regards a classical approach based on Reverse Engineering. The object surface acquisition is performed using optical devices. Algorithms for tool path generation…

Almohanad Makki, Claire Lartigue, Christophe Tournier, François Thiebaut

Virtual and Physical Prototyping - 2008