Applications et extensions de méthodes gaussiennes pour la certification d'un contrôleur industriel non-linéaire

La transition énergétique a bouleversé la production et la consommation d'électricité. La demande croît, les énergies renouvelables (EnR) se développent, et pour RTE, le réseau devient plus difficile à piloter. L'incertitude des EnR complexifie la gestion des congestions, qui consiste à maintenir le courant des lignes sous le seuil de surcharge. Cette tâche doit désormais être effectuée presque en temps réel, RTE a donc conçu le contrôleur NAZA pour l'automatiser. En parallèle du déploiement de NAZA, RTE souhaite certifier son bon fonctionnement. L'approche naïve qui consiste à simuler un grand nombre de scénarios pour vérifier qu'aucune congestion ne survient prend trop de temps. Cette thèse propose donc une solution plus rapide: entraîner un processus gaussien à émuler le simulateur pour réduire le nombre de simulations à effectuer. Au-delà de cette application industrielle, cette thèse généralise plusieurs algorithmes existants en relachant l'hypothèse gaussienne sous-jacente pour améliorer leurs performances.