Modeling and simulation of hybrid systems and cell factory applications

par Rodrigo Assar Cuevas

Thèse de doctorat en Informatique

Sous la direction de David James Sherman.

Le jury était composé de Alain Griffault.

Les rapporteurs étaient Jean-Michel Couvreur, Servet Martínez.


  • 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.


  • Résumé

    The main aim of this thesis is to develop an approach that allows us to describe biological systems with theoretical sustenance and good results in practice. Biological functions are the result of the interaction of many processes, that connect different hierarchy levels going from macroscopic to microscopic level. Each process works in different way, with its own goal, complexity and hierarchy level. In addition, it is common to observe that changes in the conditions, such as nutrients or environment, modify the behavior of the systems. So, to describe the behavior of a biological system over time, it is convenient to combine different types of models: continuous models for gradual changes, discrete models for instantaneous changes, deterministic models for completely predictable behaviors, and stochastic or non- deterministic models to describe behaviors with imprecise or incomplete information. In this thesis we use the theory of Composition and Hybrid Systems as basis, and the BioRica framework as tool to model biological systems and analyze their emergent properties in silico.With respect to Hybrid Systems, we considered continuous models given by sets of differential equations or more general dynamics. We used Stochastic Transition Systems to describe the dynamics of model changes, allowing cofficient switches that control the parameters of the continuous model, and strong switches that choose different models. Composition, reconciliation and reusing of models allow us to build complete and consistent descriptions of complex biological systems by combining them. Compositions of hybrid systems are hybrid systems, and the refinement of a model forming part of a composed system results in a refinement of the composed system. To implement our approach ideas we complemented the theory of our approach with the improving of the BioRica framework. We contributed to do that giving a BioRica specification of Hybrid Systems that assures integrity of models, allowing composition, reconciliation, and reuse of models with SBML specification.We applied our approach to describe two systems: wine fermentation kinetics, and cell fate decisions leading to bone and fat formation. In the case of wine fermentation, we reused known models that describe the responses of yeasts cells to different temperatures, quantities of resources and toxins, and we reconciled these models choosing the model with best adjustment to experimental data depending on the initial conditions and fermentation variable. The resulting model can be applied to avoid process problems as stuck and sluggish fermentations. With respect to cell fate decisions the idea is very ambitious. By using accurate models to predict the bone and fat formation in response to activation of pathways such as the Wnt pathway, and changes of conditions affecting these functions such as increments in Homocysteine, one can analyze the responses to treatments for osteoporosis and other bone mass disorders. We think that here we are giving a first step to obtain in silico evaluations of medical treatments before testing them in vitro or in vivo.


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque électronique.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.