Méthode de synthèse d'un contrôleur logique à partir des spécifications algébriques

par Antonio Medina Rodriguez

Thèse de doctorat en Électronique, électrotechnique, automatique

Sous la direction de Jean-Marc Faure.

Soutenue en 2007

à Cachan, Ecole normale supérieure .


  • Résumé

    Nous présentons une méthode de synthèse de la commande d'un système à événements discrets (SED). Cette méthode est une alternative à la technique de synthèse de la commande supervisée. La méthode part d'une spécification de la commande décrite en langage naturel et va jusqu'à l'implantation des fonctions de commande calculées dans un contrôleur logique, tel que l'Automate Programmable Industriel 'API).

  • Titre traduit

    Synthesis method for a logic controller from algebraic specifications


  • Résumé

    We present a synthesis method for the control of discrte event systems (DES). This method is an alternative to the supervisory contol theory (SCT). The method uses a control specification described in natural language and finishes with the implantation of control functions calculated in a logic controller, such as the Programmable Logic Controller (PLC).

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (186 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 151-155

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : THE MED (Salle de réf.)
  • Bibliothèque :
  • Non disponible pour le PEB
  • Cote : Archives / THE MED
  • Bibliothèque :
  • Non disponible pour le PEB
  • Cote : THESE 2007 MED
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.