Recherche

Consulter le flux RSS

Publications

Liste des publications du LURPA

Affichage des publications 851 à 860 sur 862 au total

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à" -