Formalization of the design of control systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

Formalization of the design of control systems

Résumé

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). Metamodelization give to designers a rigorous way to define modelling tools and their integration. In this paper, we propose a comparative approach between different modelling tools used in the field of metamodelization. In such a context, data modelling tools, algebraic modelling tools, Z language are used to the metamodelization of the Grafcet.
Fichier principal
Vignette du fichier
1996_wac_LP_BD_JJL.pdf (108.9 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03745214 , version 1 (03-08-2022)

Identifiants

  • HAL Id : hal-03745214 , version 1

Citer

Laurent Piétrac, Bruno Denis, Jean-Jacques Lesage. Formalization of the design of control systems. 6th International Symposium on Robotics and Manufacturing (ISRAM'96) as part of 2nd World Automation Congress (WAC'96), May 1996, Montpellier, France. ⟨hal-03745214⟩
6 Consultations
9 Téléchargements

Partager

Gmail Facebook X LinkedIn More