Publications

Robotique

Distributed identification of concurrent discrete event systems for fault detection purposes

Matthias Roth, Jean-Jacques Lesage, Lothar Litz

European Control Conference 2009 (ECC 2009) - 2009

Robotique

A residual inspired approach for fault localization in DES

Matthias Roth, Jean-Jacques Lesage, Lothar Litz

2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09) - 2009

Robotique

Construction d'une séquence de test minimale à partir d'une spécification GRAFCET

Cette communication est relative au test de conformité de systèmes électroniques micro-programmés spécifiés en Grafcet. La méthode proposée permet de construire automatiquement une séquence de test de longueur minimale permettant d'effectuer le test…

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure

3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09) - 2009

Robotique

Évaluation des bornes des performances temporelles des Architectures d'Automatisation en Réseau par preuves itératives de propriétés logiques

Ce mémoire de thèse propose une approche pour l'obtention des bornes des performances temporelles d'une Architecture d'Automatisation en Réseau par preuves itératives de propriétés d'atteignabilité sur un modèle formel de l'architecture. Ces…

Silvain Ruel

Robotique

Building Meaningful Timed Plant Models for Verification Purposes

Matthieu Perin, Jean-Marc Faure

13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009) - 2009

Automatique

Modelisation et évaluation temporelle des architectures de commande en réseau

Ce papier présente une nouvelle méthode d'évaluation du temps de réponse dans les architectures de commande sur réseau Ethernet commuté. Elle se base sur la modélisation du système avec tous ses constituants à l'aide des graphes d'événements…

Boussad Addad, Saïd Amari

3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09), papier N°25, 6p., Angers, France, 17-18 mars 2009 - 2009

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