Publications

Automatique

Evaluation de délais dans les systèmes de communication temps-réel en utilisant des files d'attente virtuelles

Dans cet article, une méthode à base de files d'attente virtuelles (MFAV) pour l'évaluation de délais dans les réseaux de communication temps-réel, est développée. Une méthodologie générale (modélisation et évaluation) est décrite pour l'estimation…

Boussad Addad, Saïd Amari

Modelisation des systèmes reactifs MSR 2009 - 2009

Sciences de l'ingénieur

GÉNÉRATION DE TRAJECTOIRES D'USINAGE GRANDE VITESSE 5 AXES PAR FLANC D'OUTIL : INTÉGRATION D'UN CRITÈRE DE FLUIDITÉ

Les pièces de formes complexes dans le domaine de l'aéronautique et des machines hydrauliques sont réalisées par usinage grande vitesse 5 axes. Dans ce contexte, les travaux proposés ont conduit à l'élaboration d'une méthode de génération de…

Pierre-Yves Pechard

Robotique

An FDI Method for Manufacturing Systems Based on an Identified Model

Matthias Roth, Jean-Jacques Lesage, Lothar Litz

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

Mécanique

New Trends in tolerancing, the GD&T French Research Group point of view

Luc Mathieu, François Villeneuve

11th CIRP International Seminar on Computer Aided Tolerancing (CIRP CAT 2009) - 2009

Robotique

Calcul des conditions de transition d'un Réseau de Petri par synthèse algébrique

La méthode de synthèse présentée dans cette communication a été développée pour concevoir automatiquement des contrôleurs logiques. Nous montrons comment utiliser cette approche dans le cas particulier où un concepteur cherche à obtenir un…

Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage

Conférence Internationale Francophone d'Automatique, CIFA 2008 - 2008

Robotique

Algebraic synthesis of dependable logic controllers

Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage

17th IFAC World Congress - 2008

Robotique

Building effective formal models to prove time properties of networked automation systems

Silvain Ruel, Olivier de Smet, Jean-Marc Faure

9th International Workshop On Discrete Event Systems, WODES'08 - 2008

Robotique

Réseaux d'automates hybrides à synchronisations typées pour la modélisation des Systèmes Dynamiques Hybrides

Ce papier présente une classe d'automates hybrides à haut niveau d'expressivité pour faciliter la modélisation modulaire des Systèmes Dynamiques Hybrides (SDH) : les automates hybrides à entrées/sorties et synchronisations typées. Elle combine le…

Zulema Juarez Orozco, Bruno Denis, Jean-Jacques Lesage

Conférence Internationale Francophone d'Automatique, CIFA 2008 - 2008

Mécanique

5-axis iso-scallop tool paths along parallel planes

Christophe Tournier, Claire Lartigue

CAD'08 - 2008

Robotique

Supervision of an industrial plant subject to a maximal duration constraint

Abdourrahmane Atto, Claude Martinez, Saïd Amari

9th International Workshop on Discrete Event Systems - 2008