Publications

Robotique

Evaluation des performances temporelles d'architectures d'automatisation distribuées sur Ethernet par simulation d'un modèle eb réseau de Petri de haut niveau.

Nous évaluons dans cette thèse deux performances temporelles des architectures d automatisation distribuées sur Ethernet commuté et utilisant un modèle de coopération client/serveur : Le temps de réponse entre une occurrence d un événement d entrée…

Gaëlle Marsal, Gaëlle Poulard (épouse Marsal)

Robotique

INCLUDING SYSTEMATIC FAULTS INTO FAULT TREE ANALYSIS

Jean-Marc Faure, Israel Santiago Barragan, Yiannis Papadopoulos

SAFEPROCESS 06 - 2006

Robotique

A methodology to design and check a plant model

Benoit Rohée, Bernard Riera, Véronique Carré-Ménétrier, Jean-Marc Roussel

3rd IFAC Workshop on Discrete-Event System Design (DESDes'06) - 2006

Mécanique

MACHINING STRATEGY CHOICE: PERFORMANCE VIEWER.

Laurent Tapie, Kwamiwi Mawussi, Bernard Anselmetti

6th IDMME - INTERNATIONAL CONFERENCE ON INTEGRATED DESIGN AND MANUFACTURING IN MECHANICAL ENGINEERING - 2006

Mécanique

5-axis High Speed Milling Optimisation

Christophe Tournier, Sylvain Lavernhe, Claire Lartigue

Revue Internationale d'Ingenierie Numerique - 2006

Automatic

Evaluation of Real-Time Capabilities of Ethernet-based Automation Systems using Formal Verification and Simulation

Two main time features are identified in distributed automation systems, the update rate of Input and Output values and the end-to-end delay between a process event and its consequence. For the first feature, only the upper bound is needed, while…

Gaëlle Marsal, Daniel Witsch, Bruno Denis, Jean-Marc Faure, Georg Frey

1ères Rencontres Jeunes Chercheurs en Informatique Temps Réel (RJCITR'05) - 2005

Robotique

FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS

Israel Santiago Barragan, Jean-Marc Faure

16th IFAC World Congress - 2005

Robotique

Control of Linear Min-plus Systems under Temporal Constraints

Saïd Amari, Isabel Demongodin, Jean Jacques Loiseau

44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2005) - 2005

Robotique

Designing dependable logic controllers using the supervisory control theory

Jean-Marc Roussel, Alessandro Giua

Proceedings of the 16th IFAC World Congress - 2005

Robotique

Réglage du routeur d'un sous réseau dédié au contrôle commande temps réel : Approche expérimentale avec apprentissage par réseau de neurones

En dépit de leur qualité de déterminisme dédié au contrôle commande, les protocoles traditionnels de réseaux de terrains (tels que FIP ou PROFIBUS) se voient menacés par l'arrivée de solutions utilisant Ethernet. Cet article propose une démarche…

Steve Limal, Bruno Denis, Ryad Zemouri, Jean-Jacques Lesage

3ème Conférence Internationale sur la Productique (CIP'05) - 2005