Recherche

Consulter le flux RSS

Publications

Liste des publications du LURPA

Affichage des publications 821 à 830 sur 862 au total

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) -

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 -

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) -

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 -

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) -

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) -