Recherche

Consulter le flux RSS

Publications

Liste des publications du LURPA

Affichage des publications 821 à 830 sur 834 au total

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 -

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 -

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 -

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

Automatic

Toward a theory of integrated modelling

For many years, complex systems designers have been able to use modelling techniques which are steady and proven. Today, most of these modelling techniques are used in «integrated methods». These methods provide analysts with a framework to design…

Bruno Denis, Jean-Jacques Lesage, Guy Timon

revue des Sciences et Techniques de la Conception [International Journal of Design Sciences and Technology] -

Robotique

Une algèbre de Boole pour l'approche événementielle des systèmes logiques

La modélisation dynamique des systèmes logiques fait largement appel à la notion “d'événement”. En Grafcet par exemple, les événements sont représentés par des fronts de variables logiques. De nombreuses ambiguïtés sont cependant rencontrées dans…

Jean-Marc Roussel, Jean-Jacques Lesage

Automatique Productique Informatique Industrielle -

Automatic

Toward a Theory of Integrated Modelling

For many years, complex systems designers have been able to use modelling techniques which are steady and proven. Today, most of these modelling techniques are used in «integrated methods». These methods provide analysts with a framework to design…

B. Denis, J.J. Lesage, G. Timon

IFAC Workshop on CIM in Process and Manufacturing Industries -

Automatic

Une approche formelle de la modélisation intégrée

Depuis de nombreuses années les concepteurs de systèmes complexes ont à leur disposition des techniques de modélisation stables et éprouvées. Aujourd'hui la plupart de ces techniques de modélisation sont utilisées au sein de «méthodes intégrées»…

J J Lesage, B Denis, G Timon

Symposium International CNES "La conception en 2000 et au-delà" -