Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets

Description

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

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00294214
2. http://tel.archives-ouvertes.fr/docs/00/29/42/14/PDF/Walter.Claudio_1981_these.pdf

Tags

processus

commandes

temps-réel

formalisme

fidélité

programmation

programmes

Additional Fields

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