Le but de mes travaux de recherche est de rendre, autant que possible, algorithmique l'étude des modèles composés par des équations différentielles paramétriques. Je me concentre aux algorithmes basés sur les symétries de Lie étendues pour les modèles de taille moyenne (environ vingt variables). Je présente deux méthodes de simplification exacte : la réduction du nombre des variables d'un modèle et sa reparamétrisation pour distinguer le rôle de ses paramètres. Les systèmes simplifiés sont équivalents aux systèmes originaux par des relations implicites ou explicites (suivant la méthode choisie). Ces algorithmes, grâce aux stratégies de calcul utilisées et aux restrictions sur les objets étudiés, ont une compléxité temporelle polynomiale en la taille de l'entrée. Ils sont implémentés dans les paquetages MABSys et ExpandedLiePointSymmetry. Les modèles simplifiés issus de ces algorithmes facilitent diverses études comme l'analyse qualitative symbolique ou numérique. J'illustre mes travaux sur une famille de réseaux génétiques avec un seul gène auto-régulé en faisant une analyse qualitative symbolique complète. Mon exemple principal appartient au domaine des réseaux de régulation génétique mais l'application des méthodes que je présente n'est pas limitée à la biologie intracellulaire / The goal of my research is to make algorithmic, as much as possible, the study of models composed by parametric differential equations. I focus on the algorithms based on expanded Lie point symmetries for medium size (about twenty variables) models. I present two exact simplification methods: the reduction of the number of variables of a model and its reparametrization in order to distinguish the roles of its parameters. Simplified systems are equivalent to the original ones by implicit or explicit relationships (according to the chosen method). These algorithms, thanks to some computational strategies and restriction of studied objects, are of polynomial time complexity in the input size. They are implemented in the MABSys and the ExpandedLiePointSymmetry packages. Simplified models resulting from these methods allow to perform more easily various studies such as symbolic or numerical qualitative analysis. I illustrate my work on a family of genetic networks with a single self-regulated gene by a complete symbolic qualitative analysis. Even if my principal application example belongs to genetic regulatory networks field, the methods presented in my work are not limited to intracellular biology.

La modélisation des systèmes biologiques, particulièrement à l'échelle moléculaire, est une problématique nouvelle, issue de l'apport des techniques à haut débit. Le défi en modélisation mathématique est de pouvoir analyser le comportement de ces systèmes dynamiques de très grande dimension. L'enjeu est de taille, car la compréhension du fonctionnement normal et pathologique des cellules au niveau moléculaire, ouvre la voie aux thérapies ciblés pour des maladies systémiques telles que le cancer. Pour s'affranchir des problèmes liés à l'imprécision des valeurs des paramètres, cette thèse propose de travailler avec des ordres, plutôt qu'avec des valeurs précises de paramètres. Ceci conduit naturellement à l'utilisation de l'analyse tropicale pour obtenir des modèles réduits et hybrides. Ces développements ouvrent des nouvelles perspectives sur le plan mathématique, concernant l'étude de systèmes dynamiques. Cette étude propose quelques résultats concernant la tropicalisation des systèmes d'équations différentielles. Une autre partie de la thèse est consacrée à l'étude numérique des systèmes hybrides. La question ici est comment construire un modèle hybride qui reproduit un comportement expérimental donné, aussi comment identifier un modèle hybride à partir de séries temporelles. Cette thèse propose un algorithme original d'identification. Cet algorithme sépare le problème en deux sous-problèmes, notamment l'identification des paramètres des modes et l'identification des paramètres de commande des modes. Des applications à relativement grande échelle sont abordées par cette approche, notamment un modèle de cycle cellulaire chez les mammifères.