Commande supervisée des systèmes à évènements discrets

par François Charbonnier

Thèse de doctorat en Automatique - Productique

Sous la direction de Hassane Lotfi Alla.

Soutenue en 1996

à Grenoble INPG .


  • Résumé

    L'accroissement de la complexité des systèmes automatises rend de plus en plus nécessaire l'utilisation de méthodes formelles qui permettent de prouver, a priori, qu'un procédé commande satisfait un cahier des charges impose. La théorie de la supervision des systèmes a événements discrets, initiée par les travaux de Ramadge et Wonham, vise à répondre à cet objectif. Etant donnés un procédé et des spécifications logiques de fonctionnement, des techniques permettent de synthétiser de façon systématique un superviseur de facon a ce que le procédé couple au superviseur respecte les spécifications. Ces techniques reposent sur la théorie des langages formels et la théorie des automates. Dans cette approche, un procédé est considéré comme un générateur spontané d'évènements et le rôle du superviseur se cantonne a interdire l'occurrence de certains évènements dans le procédé. Cependant, un procédé nécessite d'être couple a un système de commande qui force certains évènements à se produire et l'approche Ramage-Wonham ne permet donc pas de faire de la commande. Ceci nous a conduits à définir le concept de commande supervisée. Ce concept hiérarchise les rôles dévolus à la commande et à la supervision et fournit une représentation claire des notions d'entrées/sorties. L'approche proposée permet de systématiser et formaliser le passage de la synthèse a l'implantation de la commande. La commande supervisée peut avantageusement s'appuyer sur l'outil grafcet. Néanmoins, les preuves formelles sont effectuées à partir de modèles automates. Dans cette thèse, les algorithmes proposes permettent de systématiser l'obtention de modeles automates a partir de modeles GRAFCETS de commande et de supervision. Le concept de commande supervisée a été applique à l'atelier inter-établissements de productique de Grenoble. La démarche employée est détaillée pour une partie du procédé


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (120 p.)
  • Annexes : Bibliogr. p. 117-120 (32 réf.)

Où se trouve cette thèse ?

  • Bibliothèque : Université Savoie Mont Blanc (Annecy-le-Vieux). Bibliothèque de Polytech'Annecy-Chambéry, site d'Annecy.
  • Disponible pour le PEB
  • Cote : T P1996/7
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : LURPA / THESE 1996 10
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.