Publications

Automatic Control Engineering

SAFETY ANALYSIS DURING THE CONTROL ARCHITECTURE DESIGN OF AUTOMATED SYSTEMS

To design safety automated systems, the designer must study safety according to various points of view. This paper deals with safety analysis at the stage of control architecture design. The benefits of our work is the taking into account of both…

Pascal Meunier, Bruno Denis, Jean-Jacques Lesage

4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes (SAFEPROCESS'2000) - 2000

Génie mécanique

The Concept of the Machining Surface in 5-Axis Milling of Free-form Surfaces

Le concept de la surface d'usinage apporte une évolution dans le processus de réalisation des pièces de forme gauche au ni-veau de la conception et de la fabrication. La surface d'usinage est une représentation surfacique du trajet de l'outil…

Christophe Tournier, Emmanuel Duc, Claire Lartigue, Alexandre Contri

3nd International Conference on Integrated Design and Manufacturing In Mechanical Engineering - 2000

Génie mécanique

Three Dimensional geometrical tolerancing in process planning

François Villeneuve, Olivier Legoff, Pierre Bourdet

CIRP Journal of Manufacturing Systems - 2000

Automatic

Une approche de méta-modélisation formelle des méthodes de conception des systèmes automatisés de production

La conception des systèmes automatisés de production (SAP) passe par la construction de modèles. La qualité du système conçu dépend de la qualité des modèles produits, et donc des langages et méthodes utilisés pour construire ces modèles. De…

Laurent Piétrac, Bruno Denis

Journées Doctorales d'Automatique (JDA'99) - 1999

Automatic Control Engineering

A formal meta-modeling approach for the design of automated manufacturing systems

The design of Automated Manufacturing Systems AMS consists in the construction of many models. The quality of the designed system depends on the quality of the produced models, and also on the quality of the languages and methods used during the…

Laurent Piétrac, Bruno Denis, Jean-Jacques Lesage

International Workshop on Formal Methods and Manufacturing (FM&M99) - 1999

Robotique

SAGITAL : un environnement d'aide à la conception de grafcets basé sur des méta-modèles

Cet article présente la démarche de conception d'un logiciel d'assistance à la vérification syntaxique et à la simulation de modèles grafcet. Cette démarche consiste à déduire la structure de données et les algorithmes du logiciel d'assistance de…

Jean-Marc Faure, Florent Couffin, Sandrine Lampérière-Couffin

2ème Congrès Modélisation des Systèmes Réactifs (MSR'99) - 1999

Robotique

Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production

Les travaux présentés dans ce mémoire portent sur l'étude des langages et méthodes de conception des Systèmes Automatisés de Conception (SAP). Notre objectif est l'amélioration de la rigueur de la définition de ces langages et méthodes. Le moyen…

Laurent Piétrac

Génie mécanique

Geometrical Tolerancing in Process Planning : a tridimensional approach

Olivier Legoff, François Villeneuve, Pierre Bourdet

Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture - 1999

Génie mécanique

A certification method for the milling process of free-form surfaces using a test part

François Thiebaut, C Lartigue, E Duc

International Journal of Production Research - 1999

Sciences du Vivant

Regioselectivity of 1,3-Dipolar Cycloaddition of 3-Oxidopyridinium Betaines to Olefins and Stereoselective Synthesis of 6-Alkyloxy-5-oxa-9-azatricyclo[5.2.1.04,8]decan-2-one Derivatives

Jean-Claude Teulade, François Estour, Stéphane Rézel, Didier Fraisse, Jacques Métin, Vincent Gaumet, Claire Lartigue, Gilles Miscoria, Alain Gueiffier, Yves Blache, Olivier Chavignon

Heterocycles - 1999