Set-Based Analysis for Biological Modeling - BCM : Biologie Computationnelle et Mathématique Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Set-Based Analysis for Biological Modeling

Thao Dang
Tommaso Dreossi
  • Fonction : Auteur
Eric Fanchon
  • Fonction : Auteur
  • PersonId : 1041392
Oded Maler
  • Fonction : Auteur
Carla Piazza
  • Fonction : Auteur

Résumé

The understanding of biological systems and processes requires the development of dynamical models characterized by nonlinear laws and often intricate regulation architectures. Differential and difference equations are common formalisms to characterize such systems. Hybrid dynamical systems come in handy when the modeled system combines continuous and discrete evolutions or different evolution modes such as where slow evolution phases are interrupted by fast ones. Biological data with kinetic content are often scarce, thus it can be appropriate to reason in terms of sets of (parametrized) models and sets of trajectories. In doing so, uncertainties and lack of knowledge are explicitly taken into account and more reliable predictions can be made. A crucial problem in Systems Biology is thus to identify regions of parameter space for which model behavior is consistent with experimental observations. In this chapter, we investigate the use of set-based analysis techniques, designed to compute on sets of behaviors, for the validation of biological models under uncertainties and perturbations. In addition, these techniques can be used for the synthesis of model parameter sets, so that the execution of the considered biological model under the influence of the synthesized parameters is guaranteed to satisfy a given constraint or property. The proposed approach is illustrated by several case studies, namely a model of iron homeostasis in mammalian cells and some epidemic models.
Fichier non déposé

Dates et versions

hal-02273714 , version 1 (29-08-2019)

Identifiants

  • HAL Id : hal-02273714 , version 1

Citer

Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, et al.. Set-Based Analysis for Biological Modeling. Automated Reasoning for Systems Biology and Medicine, 2019, 978-3-030-17296-1. ⟨hal-02273714⟩
1577 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More