Publications

Automatic

Formalization of the design of control systems

Development of automated manufacturing systems usually consists in varied stages according to different points of view or different subsystems. In each of these stages, different modelling tools are used (often in an integrated manner)…

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

6th International Symposium on Robotics and Manufacturing (ISRAM'96) as part of 2nd World Automation Congress (WAC'96) - 1996

Automatic

Report on CIRP Information Technology: Notes from 46th CIRP General Assembly Presentation on CIRPNET

The first goal of this handout is to introduce you to CIRPNET, its making-of and its main aims. We also would like to introduce the Internet and the advantages the CIRP Academy could draw from it. We then describe the contents of CIRPNET and give…

Bruno Denis, Dominique Feautrier

CIRP Annals - Manufacturing Technology - 1996

Robotique

Validation and verification of grafcets using state machine

Jean-Marc Roussel, Jean-Jacques Lesage

IMACS-IEEE "CESA'96" - 1996

Génie mécanique

Feature state approach for process planning

Bernard Anselmetti, Alain Chep, Kwamiwi Mawussi, François Villeneuve

1st International Conference on Integrated Design and Manufacturing in Mechanical Engineering, IDMME'96 - 1996

Automatic

A method for design and valuation of manufacturing system control architecture

In the control design of complex manufacturing systems, the design of a control architecture is required. This paper deals with an integrated framework to make the design of control architecture as formal as possible. Models used in this framework…

Bruno Denis, Jean-Jacques Lesage, Jean-Marc Roussel

1995 IEEE International conference on systems, man and cybernetics - 1995

Automatic

Un panorama de la recherche en conception de la conduite des systèmes de production

Dans la vie d'un système de production, la conception de sa commande et de sa conduite détermine de manière non négligeable ses performances. Des méthodes et des formalismes sont à la disposition des ingénieristes qui mènent à bien cette phase de…

Bruno Denis, Jean-Jacques Lesage

Congrès international de génie industriel de Montréal - 1995

Automatic

Formalisation de la conception d'architecture de conduite des systèmes de production

La conception de la conduite des systèmes complexes de production passe par une activité de conception de l’architecture de conduite. Dans cet article nous proposons un cadre méthodologique intégré pour formaliser l’activité de conception de l…

Bruno Denis, Jean-Jacques Lesage, Guy Timon

2ème Conférence Internationnale sur L’Automatisation Industrielle - 1995

Automatic

Modèles de spécification fonctionnelle de la commande des systèmes de production : synthèse de trois études de cas

Ces études ont été réalisées par le LURPA, deux pour le compte de l'EXERA (SEDEM-91 et RAFALE-X54), et une pour EDF-Direction des Etudes et Recherches (RCV). Après avoir succinctement présenté les systèmes étudiés, nous dégageons les enseignements…

Laurent Piétrac, Guy Timon, Bruno Denis, Jean-Jacques Lesage, Jean-Marc Roussel

Journée PRIMECA - Les systèmes de production 1994 - 1994

Automatic

A Boolean algebra for a formal expression of events in logical systems

The dynamic modelling of logical systems widely calls upon the event notion. In terms of Function Chart Grafcet or Petri Nets for instance, events are generally represented by "rising or falling edges" of logical variables. However, numerous…

Bruno Denis, Jean-Jacques Lesage, Jean-Marc Roussel

IMACS symposium on mathematical modelling - 1994

Robotique

Analyse de Grafcets par Génération Logique de l'Automate Équivalent

En Génie Automatique, le GRAFCET [IEC 848] est couramment employé pour la modélisation de la dynamique des systèmes à événements discrets, en raison de ses capacités de modélisation et de son ergonomie. Cependant, il lui est reproché de ne pas être…

Jean-Marc Roussel