Publications

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

Automatic

Procédé pour la conception et la fabrication d'une chaine de composants en réseau et réseau obtenu par un tel procédé

L'invention concerne un procédé pour la conception et la fabrication d'une chaîne de composants en réseau selon une contrainte S, lequel procédé comprend les étapes consistant à : a. obtenir un niveau de fiabilité f visé ; b. construire une…

Benoit Dantin, Nicolas Chevassus, Bruno Denis, Jean-Marc Faure, Damien Aza-Vallina

Autre

Une approche globale pour la métrologie 3D automatique multi-systèmes

La métrologie 3D permet la vérification de spécifications géométriques et dimensionnelles sur des pièces mécaniques. Ce contrôle est classiquement réalisé à partir de mesures avec des capteurs à contact montés sur des machines à mesurer…

Nicolas Audfray

Robotique

Algebraic synthesis of logical controllers despite inconsistencies in specifications

Jean-Marc Roussel, Jean-Jacques Lesage

11th International Workshop on Discrete Event Systems, WODES 2012 - 2012