Publications

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

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

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

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