Publications

Apprentissage

Comparative Study Between the Timed Automata and the Recurrent Radial Basis Function for Discrete Event System Diagnosis

Ryad Zemouri, Jean-Marc Faure

IFAC Proceedings Volumes - 2006

Apprentissage

Diagnosis of discrete event system by stochastic timed automata

Ryad Zemouri, Jean Marc Faure

2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - 2006

Robotique

Efficient representation for formal verification of PLC programs

Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure

8th International Workshop On Discrete Event Systems (WODES'06) - 2006

Robotique

Evaluation 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

Conférence Internationale Francophone d'Automatique, CIFA 2006, Bordeaux (France) - 2006

Electronique

Évaluation de performance d'architectures de commande de systèmes automatisés industriels

Les performances temporelles d'une architecture de contrôle-commande conditionnent fortement celles du système automatisé de production commandé. Pour maîtriser ces performances temporelles, l'architecte automaticien doit pouvoir les évaluer à…

Pascal Meunier

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

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

Mécanique

Définition d'une pièce test pour la caractérisation d'une machine UGV

Kwamiwi Mawussi, Laurent Tapie

1er Conrgès International Conception et Modélisation des Systèmes Mécaniques, CMSM\'05 - 2005

Génie mécanique

Optimisation en fraisage 5 axes grande vitesse

La réalisation des pièces de formes complexes passe par la génération de trajectoires d'usinage, basée sur un modèle CAO, une stratégie d'usinage et une machine outil à commande numérique donnée. Afin d'assurer les meilleures performances possibles…

Christophe Tournier, Sylvain Lavernhe, Claire Lartigue

4th International conference on Integrated Design and Production - 2005

Génie mécanique

DIMENSIONAL METROLOGY OF FLEXIBLE PARTS: IDENTIFICATION OF GEOMETRICAL DEVIATIONS FROM OPTICAL MEASUREMENTS

Claire Lartigue, François Thiebaut, Pierre Bourdet, Nabil Anwer

Advanced Mathematical and Computational Tools in Metrology VII - 2005