Cette thèse s'est déroulée dans le cadre d'une convention CIFRE au sein du département Simulation et Traitement de l'information pour l'Exploitation des systèmes de Production (STEP) d'EDF R&D (site de Chatou) dans le groupe Contrôle-Commande.

Jury

• Benoit IUNG, Professeur à l'Université de Lorraine, Président
• Kamel BARKAOUI, Professeur au CNAM, Rapporteur
• Audine SUBIAS, Maître de conférences, HdR,à l'Université de Toulouse, Rapporteur
• Patrice LECLAIRE, Maître de conférences à SUPMECA Paris, Examinateur
• Jean-Marc FAURE, Professeur à SUPMECA Paris, Directeur de thèse
• Jean-François PETIN, Professeur à l'Université de Lorraine, Directeur de thèse
• Patrick SALAUN, Chercheur senior EDF R&D (STEP), Invité
  

Contexte et objectif de la thèse

La conception d'architectures opérationnelles d'un système de contrôle-commande est une phase très importante lors de la conception de systèmes de production d'énergie.

Cette phase consiste à projeter l'architecture fonctionnelle sur l'architecture organique tout en respectant des contraintes de capacités et de sûreté, c'est-à-dire à allouer les fonctions de commande à un ensemble de contrôleurs tout en respectant ces contraintes.

Démarche et résultats

Les travaux présentés dans cette thèse proposent :

• une formalisation des données et contraintes du problème d'allocation de fonctions ;
• une méthode d'allocation, par recherche d'atteignabilité, basée sur un mécanisme d'appel/réponse dans un réseau d'automates communicants à variables entières ;
• la comparaison de cette méthode à une méthode de résolution par programmation linéaire en nombres entiers.
  

Les résultats de ces travaux ont été validés sur des exemples de taille réelle et ouvrent la voie à des couplages entre recherche d'atteignabilité et programmation linéaire en nombres entiers pour la résolution de problèmes de satisfaction de systèmes de contraintes non linéaires.

Mots-clés
Architectures de commande, Architecture opérationnelle, Automates communicants, Recherche d'atteignabilité, Vérification formelle.