From Équipe Calcul Formel

MasterI: Analysis of biological systems

Équipe et Contacts

Équipe Calcul Formel. François Lemaire. Francois.Lemaire@univ-lille1.fr

Mots-Clefs

Analyse qualitative. Système biologique. Équations différentielles.

Contexte

Ce sujet s'inscrit dans le cadre du projet ANR BLANC LEDA

Sujet

Les systèmes biologiques peuvent être modélisées par réactions chimiques et équations différentielles. L'étude qualitative de ses systèmes peut être complexe, notamment à cause du nombre important de paramètres, et de la taille des équations. Dans la pratique, l'étude qualitative peut être simplifiée à la main, ou guidée par un logiciel comme MABSys (paquetage écrit en Maple dans l'équipe).

Travail à mener

• Découverte du logiciel MABSys et des techniques sous-jacentes
• Etude de certaines simplifications faites à la main, dans le but de trouver une méthode automatique de simplification
• Codage de la méthode trouvée dans MABSys.

Références

• MABSys: Modeling and Analysis of Biological Systems