Publications

Robotique

Formal Verification of Industrial Controllers: with or without a Plant model?

José Machado, Bruno Denis, Jean-Jacques Lesage

7th Portuguese Conference on Automatic Control, CONTROLO'06 - 2006

Mécanique

Integration de contraintes cinématiques pour le calcul de l'orientation optimisée de l'axe de l'outil en usinage à 5 axes

Après avoir détaillé les principales difficultés liées à l'usinage 5 axes UGV, nous présentons un modèle de représentation des trajectoires 5 axes sous forme surfacique permettant de prendre en compte des contraintes géométriques et cinématiques. Ce…

Sylvain Lavernhe, Christophe Tournier, Claire Lartigue

4èmes assises MUGV - 2006

Génie mécanique

Identification de la géométrie de machines CN par mesure d'artefacts

M Makki, S Lavernhe, F Thiébaut, C Tournier, C Lartigue

1er Congrès International Francophone de Mécanique Avancée - 2006

Génie mécanique

Optimal selection of machining direction for three-axis milling of sculptured parts

Yann Quinsat, Laurent Sabourin

International Journal of Advanced Manufacturing Technology - 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

Automatique

Fault detection of Discrete Event Systems using an identification approach

Stéphane Klein, Lothar Litz, Jean-Jacques Lesage

16th IFAC world Congress - 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