Publications

Robotique

Aide à la conception d'architectures opérationnelles de commande de systèmes critiques par analyse d'atteignabilité

Ce papier présente une méthode qui facilite la conception de l'architecture opérationnelle d'un système de commande en proposant, à partir de la connaissance des caractéristiques des fonctions que doit assurer ce système et des contrôleurs choisis…

Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün

4èmes Journées Doctorales / Journées Nationales MACS, JD-JN-MACS - 2011

Robotique

Algebraic Determination of the Structure Function of Dynamic Fault Trees

Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage

Reliability Engineering and System Safety - 2011

Automatique

A Virtual Queuing based Algorithm for Delays Evaluation in Networked Control Systems

Boussad Addad, Saïd Amari, Jean-Jacques Lesage

IEEE Transactions on Industrial Electronics - 2010

Autre

Identification and fault diagnosis of industrial closed-loop discrete event systems

La compétitivité des entreprises manufacturières dépend fortement de la productivité des machines etdes moyens de production. Pour garantir un haut niveau de productivité il est indispensable de minimiser lestemps d'arrêt dus aux fautes ou…

Matthias Roth

Robotique

SIC-testability of sequential logic controllers

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure

10th International Workshop on Discrete Event Systems - WODES 2010 - 2010

Robotique

A Comparative Analysis of Recent Identification Approaches for Discrete-Event Systems

Ana Paula Estrada-Vargas, E. López-Mellado, Jean-Jacques Lesage

Mathematical Problems in Engineering - 2010

Mécanique

Modularization of multi-physics complex systems

Mons Pierre, Laurent Tapie, Luc Mathieu

CATS 2010 - Conference - 2010

Mécanique

SMOOTHNESS OPTIMIZATION OF 5-AXIS HIGH-SPEED FLANK MILLING TOOL PATHS

Pierre-Yves Pechard, Xavier Beudaert, Christophe Tournier, Claire Lartigue

Eighth International Conference on High Speed Machining - 2010

Robotique

Verification of a timed multitask system with UPPAAL

Houda Bel Mokadem, Béatrice Berard, Vincent Gourcuff, Olivier de Smet, Jean-Marc Roussel

IEEE Transactions on Automation Science and Engineering - 2010

Mécanique

Contribution à la recherche de spécifications pour la gestion des variations géométriques au plus tôt dans le cycle de conception

Les travaux présentés proposent une méthode appelée GeoSpecif. L'objectif de cette méthode est de proposer une assistance à la recherche de spécifications géométriques. Cette méthode doit, de plus, s'intégrer au cycle de conception. Ces travaux sur…

Renaud Costadoat