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

Synthesis method for a logic controller from algebraic specifications

• Auteur / Autrice : Antonio Medina Rodriguez
• Direction : Jean-Marc Faure
• Type : Thèse de doctorat
• Discipline(s) : Électronique, électrotechnique, automatique
• Date : Soutenance en 2007
• Etablissement(s) : Cachan, Ecole normale supérieure
• Partenaire(s) de recherche : Laboratoire : Laboratoire universitaire de recherche en production automatisée (Gif-sur-Yvette, Essonne1981-....)

Mots clés

Mots clés contrôlés

Commande automatique

Automates programmables

Systèmes échantillonnés

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).

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).