Retour aux sommaires
13 - Application de techniques de synthèse en ingénierie d’automatisation
David Gouyon, Alexia Gouin, Jean-François Petin

Résumé— Les techniques de synthèse de la commande proposent des algorithmes permettant de définir automatiquement un modèle de contrôle et de commande, à partir de modèles formels de la dynamique d’un procédé à commander et des objectifs comportementaux qui lui sont assignés. L’utilisation de ces techniques en ingénierie d’automatisation requiert la définition d’un cadre méthodologique permettant de couvrir les phases amont et avale à la synthèse, en particulier, la phase de modélisation de processus industriels complexes et la phase d’implantation du superviseur synthétisé sur une architecture de commande industrielle. L’objectif de ce papier est de démontrer la faisabilité d’une approche méthodologique, qui intègre les techniques de synthèse, basée sur la réutilisation de modules fonctionnels d’automatisation. Son intérêt réside dans la structuration des modèles du procédé et des spécifications comportementales, ce qui constitue une aide méthodologique à la modélisation de systèmes complexes, mais également dans la modularité des superviseurs synthétisés, ce qui facilite leur implantation dans des langages de programmation à base de blocs fonctionnels tels que ceux de la norme IEC 61131-3.

Mots clés— Théorie de la supervision, Synthèse de la commande, Ingénierie d’automatisation, Implantation de la commande

 au compte de lecture