Publications

Robotique

Towards an unified definition of Minimal Cut Sequences

Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage, Gilles Deleuze, Marc Bouissou

4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013) - 2013

Autre

Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants

La conception d'architectures opérationnelles d'un système de contrôle-commande est une phase très importante lors de la conception de systèmes de production d'énergie. Cette phase consiste à projeter l'architecture fonctionnelle sur l'architecture…

Thibault Lemattre

Sciences de l'ingénieur

A Meta-model for Integrating Safety Concerns into Systems Engineering Processes

Pierre-Yves Piriou, Jean-Marc Faure, Gilles Deleuze

SysCon 2013 - 2013

Automatique

Building Meaningful Timed Models of Closed-loop DES for Verification Purposes

Matthieu Perin, Jean-Marc Faure

Control Engineering Practice - 2013

Robotique

Online Location Tracking of a Single Inhabitant based on a State Estimator

Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics - SMC 2013 - 2013

Robotique

Preliminary System Safety Analysis with Limited Markov Chain Generation

Pierre-Antoine Brameret, Jean-Marc Roussel, Antoine Rauzy

4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013) - 2013

Mécanique

Commande numérique ouverte : interpolation optimisée pour l'usinage 5 axes grande vitesse des surfaces complexes

Le processus de fabrication des pièces usinées arrive à maturité concernant la fabrication assistée par ordinateur et la maîtrise du procédé d'usinage. Aujourd'hui, les perspectives d'améliorations importantes sont liées à l'optimisation de la…

Xavier Beudaert

Sciences de l'ingénieur

A meta-model for integrating safety concerns into systems engineering processes

P-Y Piriou, J-M Faure, G. Deleuze

2013 7th Annual IEEE Systems Conference (SysCon) - 2013

Génie logiciel

Application de la théorie des tas à un système d'aiguillage

Avant la mise en service d'un réseau de transport, il est nécessaire d'évaluer ses performances du fait que le partage des voies génére des retards considérables qui nuisent au fonctionnement du système. Ainsi, dans ce travail nous présentons le…

Liza Mameri, Redouane Kara, Saïd Amari

MSR 2013 - Modélisation des Systèmes Réactifs - 2013

Vibrations

Bayesian structural source identification using local generalized Gaussian priors

Mathieu Aucejo, Olivier de Smet

Internoise 2013 - 2013