Publications

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

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

Génie mécanique

Three Dimensional geometrical tolerancing in process planning

François Villeneuve, Olivier Legoff, Pierre Bourdet

CIRP Journal of Manufacturing Systems - 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

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

Sciences du Vivant

Preliminary Study of the Total Synthesis of Bao Gong Teng A Analogs Using 8-Benzyl-2-oxo-8-azabicyclo[3.2.1]oct-3-ene-6-endo/exo- and 7-endo/exo-carbonitrile

Olivier Chavignon, Stéphane Rézel, François Estour, Damien Canitrot, Elena V. Bejan Voinea, Jean-M. Chezal, Claire Lartigue, Yves Blache, Alain Gueiffier, Gérard Dauphin, Jean C. Teulade

Heterocycles - 1999

Génie mécanique

Intégration Produit/Process par le tolérancement tridimensionnel en fabrication

François Villeneuve, Olivier Legoff, Pierre Bourdet

3ème congrès international de génie industriel - 1999

Génie mécanique

Three Dimensional geometrical tolerancing in process planning

François Villeneuve, Olivier Legoff, Pierre Bourdet

32nd CIRP International Seminar on Manufacturing Systems - 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