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

Robotique

Designing dependable logic controllers using algebraic specifications

Jean-Marc Roussel, Jean-Marc Faure

Control Engineering Practice - 2006

Robotique

A generic approach to build plant models for DES verification purposes

José Machado, Bruno Denis, Jean-Jacques Lesage

8th International Workshop on Discrete Event Systems, WODES'06 - 2006

Robotique

OBTAINING TEMPORAL AND TIMED PROPERTIES OF LOGIC CONTROLLERS FROM FAULT TREE ANALYSIS

Israel Santiago Barragan, Matthias Roth, Jean-Marc Faure

12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006 - 2006