Publications

Mécanique

5-axis High Speed Milling Optimisation

Christophe Tournier, Sylvain Lavernhe, Claire Lartigue

Revue Internationale d'Ingenierie Numerique - 2006

Sciences de l'ingénieur

Prise en compte des contraintes associées au couple MO-CN en génération de trajectoires 5 axes UGV

Les pièces de formes complexes des domaines aéronautique et automobile sont fabriquées par usinage 5 axes UGV pour accroître leur qualité ou la productivité. Cependant, la gestion combinée du multi-axe et des vitesses élevées posent divers problèmes…

Sylvain Lavernhe

Apprentissage

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

Ryad Zemouri, Jean-Marc Faure

6th IFAC Symposium, SAFEPROCESS 2006 - 2006

Automatic

Performance verification of discrete event systems using hybrid model-checking

The results generated over the past few years on the formal verification of both Discrete Event Systems (DES) and Hybrid Dynamic Systems (HDS) are quite substantial, especially as regards the controller's properties of liveness and safety. In this…

Bruno Denis, Jean-Jacques Lesage, Zulema Juarez Orozco

2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'06 - 2006

Robotique

Component Failure Behaviour: Patterns and Reuse in Automated System Safety Analysis

Yannis Papadopoulos, Audrey Tran, Jean-Marc Faure, Christian Grante

SAE 2006 World Congress - 2006

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