Tutoriel sur le machine learning contraint par la physique pour la modélisation hybride, l'optimisation et le contrôle

Les auteurs présentent KKT-HardNet, un framework modulaire de machine learning contraint par la physique (PCML) combinant l'inférence rapide des réseaux de neurones et la satisfaction garantie de contraintes algébriques, linéaires ou non linéaires, d'égalité et d'inégalité, via une projection différentiable. L'entraînement de bout en bout utilise le théorème des fonctions implicites pour la rétropropagation. Le travail introduit une reformulation de Fischer-Burmeister d'ordre réduit et une méthode de points intérieurs primal-dual. Code et jeux de données de benchmark sont publiés.