Introduction à la synthèse de superviseur - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2013

Introduction à la synthèse de superviseur

Résumé

La théorie du contrôle par supervision (Supervisory Control Theory, SCT), ou synthèse de superviseur, a été inventée en 1987 par P.Ramadge et W.M.Wonham. La SCT s'appuie sur la théorie des langages, et a recours aux machines à état. Elle vise à synthétiser un superviseur correct par construction, qui veille à ce que le comportement d'un système à événements discrets reste admissible vis-à-vis d'une spécification. La synthèse requiert la modélisation du système à contrôler et de la spécification, et ne donne qu'un modèle pour la commande, qu'on appelle superviseur. La spécification peut être de type fonctionnel ou non-fonctionnel (par exemple des propriétés de sécurité-innocuité). Le système à contrôler a des actionneurs et des capteurs. La spécification restreint les possibilités en interdisant certaines séquences d'actions/observations. Comme une observation provient de l'environnement, le superviseur ne peut pas l'interdire, il ne peut inhiber que des actions. Sa conception nécessite donc la connaissance d'un modèle du système. La recherche des actions à interdire est faite automatiquement par un algorithme de synthèse. Le superviseur ne doit pas être confondu avec le contrôleur. Un superviseur est ici un objet théorique, qui peut inhiber, interdire des actions, mais ne prend pas l'initiative de les déclencher. Le superviseur n'est donc pas directement implémentable ; il peut être considéré comme une spécification ou un sous-ensemble du contrôleur qui, lui, a l'initiative des commandes. Ce document a pour but d'exposer les principes théoriques de la synthèse de superviseur, et de donner des pistes en vue de l'implémentation du contrôleur. Le cadre théorique est défini dans la section 2. La section 3 expose les principes de la synthèse. Des exemples sont traités en section 3, notamment en utilisant l'outil de synthèse TCT. La section 4 s'intéresse à l'implémentation du superviseur de Wonham.
Fichier principal
Vignette du fichier
Introduction_a_la_synthese_de_superviseur_Machin3.pdf (685.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00804879 , version 1 (26-03-2013)

Identifiants

  • HAL Id : hal-00804879 , version 1

Citer

Mathilde Machin, Jérémie Guiochet, David Powell, Hélène Waeselynck. Introduction à la synthèse de superviseur. [Rapport de recherche] 13067, LAAS-CNRS. 2013. ⟨hal-00804879⟩
294 Consultations
1401 Téléchargements

Partager

Gmail Facebook X LinkedIn More