Note ABES Modélisation par équations intégrales et apprentissage Integral equations modelling and deep learning Calcul formel Apprentissage Estimation de paramètres Algorithmes d'élimination Équations intégro-Différentielles Équations entrée/sortie Computer algebra Deep learning Parameter estimation Elimination algorithms Integro-Differential equations Input/output equations Calcul formel Apprentissage profond Estimation de paramètres Élimination (algèbre) Équations intégrales Équations intégrodifférentielles Équations différentielles non linéaires Cette thèse est motivée par le problème de l'estimation de paramètres pour dessystèmes d'équations différentielles non linéaires paramétriques. Étant donné un système,des valeurs pour les variables d'entrée, et des mesures de certaines variables de sortie(observées), l'estimation de paramètres consiste à retrouver les valeurs des paramètres.Dans cette thèse, nous présentons de nouveaux algorithmes permettant de calculer, pardes techniques d'élimination intégrale, les équations entrées/sorties (E/S) intégrales, quine font intervenir que les variables d'entrée/sortie et les paramètres. L'utilisation de ceséquations E/S intégrales est motivée par le fait qu'elles ont tendance à être plus courtes etmoins sensibles aux mesures bruitées que les équations E/S différentielles. Les résultatsprésentés dans cette thèse relèvent à la fois du calcul formel et de l'apprentissage profond.Le chapitre 2 montre, sur un exemple académique, que les équations E/S intégralessont effectivement moins sensibles aux mesures bruitées que les équations E/S différentielles, permettant ainsi d'améliorer l'estimation des paramètres.Notre nouvel algorithme integral_elimination présenté au chapitre 3 permet, enparticulier, de calculer des équations E/S intégrales à partir d'un système dynamique,utiles pour l'estimation des paramètres. L'algorithme integral_elimination utilise destechniques issues du calcul formel et repose sur une méthode classique de complétion à laKnuth-Bendix. Des exemples qui n'avaient pas pu être traités auparavant sont désormaisrésolus.Dans le chapitre 4, nous présentons des modèles d'apprentissage profond (basés surl'architecture du Transformer) rivalisant avec notre algorithme integral_elimination.Ces modèles ont mis en lumière de nouveaux exemples non résolus par nos algorithmesde calcul formel, et qui seront une source d'inspiration pour l'amélioration de notrealgorithme integral_elimination. This thesis focuses on the parameter estimation problem for systems of parametricnonlinear differential equations. Given a system, values for input variables, andmeasurements of some output (observed) variables, parameter estimation consists inretrieving the values of the parameters. In this thesis, we present new algorithms forcomputing, through integral elimination techniques, the so-called integral input/output(I/O) equations, which only involve the input/output variables and the parameters. Theuse of integral I/O equations is motivated by the fact that they tend to be shorter andless sensitive to noisy measurements than the differential I/O equations. The resultspresented in this thesis are based on both computer algebra and deep learning approaches.Chapter 2 shows, on an academic example, that integral I/O equations are indeedless sensitive to noisy measurements than differential I/O equations, resulting in a betterparameter estimation.Our new integral_elimination Algorithm, presented in Chapter 3, allows in particular,to compute integral I/O equations from a dynamical system, which can thenbe used for parameter estimation. This computer algebra algorithm follows a classicalKnuth-Bendix completion method. Previously unhandled examples are now treatedsuccessfully.In Chapter 4, we introduce deep learning models (based on the Transformer Architecture)that compete with our integral_elimination Algorithm. These models haveexhibited promising new examples unhandled by computer our algebra methods that willbe a source of inspiration for improving our integral_elimination Algorithm. Electronic Thesis or Dissertation Text en PDF 1670600 https://pepite-depot.univ-lille.fr/LIBRE/EDMADIS/2025/2025ULILB033.pdf http://www.theses.fr/2025ULILB033/abes https://theses.hal.science/tel-05567799 https://theses.hal.science/tel-05567799 https://theses.hal.science/tel-05567799 Roussel Louis Roussel 1999-04-30 FR 295264403 https://theses.fr/2025ULILB033 2025ULILB033 https://doi.org/10.70675/1c9d9a7fza678z4360z89e8z0b3a28965089 2025-11-07 Informatique et applications Université de Lille (2022-....) 259265152 Doctorat Docteur es non oui Boulier François MADS_DIRECTEUR_DE_THESE_1 109046978 Lemaire François MADS_DIRECTEUR_DE_THESE_2 060283076 Tommasi Marc MADS_PRESIDENT_DU_JURY 121846385 Pogudin Gleb MADS_MEMBRE_DU_JURY_1 265124824 Verdière Nathalie MADS_RAPPORTEUR_1 103568360 England Matthew MADS_RAPPORTEUR_2 254945139 École graduée Mathématiques, sciences du numérique et de leurs interactions (Lille ; 2021-....) MADS_ECOLE_DOCTORALE_1 258621362 Centre de Recherche en Informatique, Signal et Automatique de Lille MADS_PARTENAIRE_DE_RECHERCHE_1 410272 18388695X Agence nationale de la recherche (France ; 2005-....) MADS_PARTENAIRE_DE_RECHERCHE_2 121892174 Université de Lille (2022-....) MADS_PARTENAIRE_DE_RECHERCHE_3 259265152 ddc:004 Boulier François Lemaire François Tommasi Marc Pogudin Gleb Verdière Nathalie England Matthew École graduée Mathématiques, sciences du numérique et de leurs interactions (Lille ; 2021-....) Centre de Recherche en Informatique, Signal et Automatique de Lille Agence nationale de la recherche (France ; 2005-....) Université de Lille (2022-....) PDF 1670600