Auteur / Autrice : | Rodrigo Assar Cuevas |
Direction : | David James Sherman |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 21/10/2011 |
Etablissement(s) : | Bordeaux 1 |
Ecole(s) doctorale(s) : | École doctorale Mathématiques et informatique (Talence, Gironde ; 1991-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire bordelais de recherche en informatique |
Jury : | Examinateurs / Examinatrices : Alain Griffault |
Rapporteurs / Rapporteuses : Jean-Michel Couvreur, Servet Martínez |
Mots clés
Mots clés contrôlés
Résumé
Les fonctions biologiques sont le résultat de l'interaction de beaucoup de processus, avec différents objectifs, complexités, niveaux de hiérarchie, et changements de conditions que modifient le comportement de systèmes. Nous utilisons des équations différentielles ou dynamiques plus générales, et systèmes stochastiques de transition pour décrire la dynamique de changements des modèles. La composition, réconciliation et réutilisation des modèles nous permettent d'obtenir des descriptions de systèmes biologiques complètes et compatibles et leur combiner. Notre spécification de systèmes hybrides avec BioRica assure l'intégrité de modèles, et implémente notre approche. Nous appliquons notre approche pour décrire in-silico deux systèmes: la dynamique de la fermentation du vin, et des décisions cellulaires associées à la formation de tissu d'os.