Publications

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

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