Publications

Robotique

METHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATION

Jean-Marc Faure, Jean-Jacques Lesage

10th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'2001 - 2001

Robotique

MODELLING AND IMPLEMENTING THE CONTROL OF AUTOMATED PRODUCTION SYSTEMS USING STATECHARTS AND PLC PROGRAMMING LANGUAGES

José Machado, Farid Louni, Jean-Marc Faure, Jean-Jacques Lesage, Jaime Fereira, Jean-Marc Roussel

European Control Conference, ECC'2001, Porto (Portugal), 4-7 September 2001 - 2001

Génie mécanique

Usinage de formes gauches : génération de trajectoires outils à hauteur de crête constante

Nous présentons une méthode de génération de trajectoires à hauteur de crête constante en fraisage à trois axes avec outil hémisphérique. Cette stratégie d'usinage est intéressante dans la mesure où elle minimise le nombre de passes pour des…

Christophe Tournier, Emmanuel Duc

Colloque national AIP- PRIMECA - 2001

Automatic Control Engineering

Comparison of Different Modeling Approaches in Simulation of Programmable Logic Controller

To design the control of automated systems, the designer must evaluate the performances of various solutions. Our research deals with the evaluation of distributed control architecture. We have chosen Colored Timed Petri Nets (CTPN) models for…

Pascal Meunier, Bruno Denis, Jean-Jacques Lesage

IFAC Conference Control System Design 2000 - 2000

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

Automatic

Un cadre pour la vérification automatique de programmes IL

Nous nous intéressons à la vérification automatique de programmes d'API (automates programmables industriels) écrit dans le langage IL (Instruction List), un des cinq langages définis par la norme IEC 61131-3. Nous proposons une sémantique formelle…

G. Canet, Bruno Denis, A. Petit, O. Rossi, Ph. Schnoebelen

1ère Conférence Internationale Francophone d'Automatique, IEEE-CNRS-GRAISyHM (CIFA'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