Présentation du formalisme, notion d'observateur. Application du formalisme au contrôle des procédés. Analyse des langages et systèmes dans l'esprit du formalisme. Algorithmes et automates de séquence. Syntaxe du langage CSL. Proposition d'un interpréteur CSL. Application à une installation d'emballage et de stockage de lampes électriques
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00294214 |
Date | 24 June 1981 |
Creators | Walter, Claudio |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0016 seconds