Publications

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

Automatic

Évaluation des performances temporelles d’Ethernet industriel

Bruno Denis

Journées Techniques AIP-PRIMECA, Ethernet Industriel : Quelle place pour le développement des applications d’automatisme ? - 2007

Automatic

Évaluation des délais de réactivité des architectures de commande distribuées sur réseau Ethernet

L'idée d'avoir un média universel comme bus de terrain est séduisante. Ainsi, le développement de composants d'automatisation communicant sur un réseau Ethernet commuté utilisant des protocoles de communication standards et ouverts est d'actualité…

Gaëlle Marsal, Bruno Denis, Jean-Marc Faure

e-revue des Sciences et Technologies de l'Automatique - 2007

Electronique

Méthode de synthèse d'un contrôleur logique à partir des spécifications algébriques

Nous présentons une méthode de synthèse de la commande d'un système à événements discrets (SED). Cette méthode est une alternative à la technique de synthèse de la commande supervisée. La méthode part d'une spécification de la commande décrite en…

Antonio Medina Rodriguez

Robotique

Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par Arbre des Défaillances

La difficulté d'exprimer les propriétés formelles d'un contrôleur logique en vue de sa vérification est un des obstacles majeurs à la diffusion de ce type de techniques. L'objectif de cette thèse est donc de faciliter l'élaboration de ces propriétés…

Israel Barragan Santiago

Mécanique

Machining strategy choice: performance VIEWER

Laurent Tapie, Kwamiwi Mawussi, Bernard Anselmetti

Advances in Integrated Design and Manufacturing in Mechanical Engineering II - 2007

Robotique

Décomposition topologiques des outillages de forge pour la Génération de trajectoires UGV

La préparation de l'usinage de pièce de formes complexes induit des temps improductifs sur les machines UGV. Ces temps improductifs sont liés aux manques de méthodologies de préparation et aux faibles connaissances du préparateur sur le processus…

Laurent Tapie