Set-Based Analysis for Biological Modeling
| العنوان: | Set-Based Analysis for Biological Modeling |
|---|---|
| المؤلفون: | Thao Dang, Tommaso Dreossi, Eric Fanchon, Alexandre Rocca, Carla Piazza, Oded Maler |
| المساهمون: | Berkeley University of California (UC BERKELEY), Centre National de la Recherche Scientifique (CNRS), Università degli Studi di Udine - University of Udine [Italie], Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Biologie Computationnelle et Mathématique (TIMC-IMAG-BCM), Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525 (TIMC-IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), ZOPPIS, Catherine |
| المصدر: | Automated Reasoning for Systems Biology and Medicine Automated Reasoning for Systems Biology and Medicine, 30, 2019, Springer, Computational Biology, 978-3-030-17296-1. ⟨10.1007/978-3-030-17297-8⟩ Springer Computational Biology ISBN: 9783030172961 Automated Reasoning for Systems Biology and Medicine, 2019, 978-3-030-17296-1 |
| بيانات النشر: | HAL CCSD, 2019. |
| سنة النشر: | 2019 |
| مصطلحات موضوعية: | 0303 health sciences, 0209 industrial biotechnology, Biological data, Dynamical systems theory, Computer science, [SDV]Life Sciences [q-bio], Systems biology, Constraint (computer-aided design), 02 engineering and technology, Parameter space, Rotation formalisms in three dimensions, [SDV] Life Sciences [q-bio], 03 medical and health sciences, Nonlinear system, 020901 industrial engineering & automation, Statistical physics, Differential (infinitesimal), [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], ComputingMilieux_MISCELLANEOUS, 030304 developmental biology |
| الوصف: | International audience; 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. |
| اللغة: | English |
| ردمك: | 978-3-030-17296-1 |
| DOI: | 10.1007/978-3-030-17297-8⟩ |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::038bbb3093453b150217b0574657d0cb https://hal.archives-ouvertes.fr/hal-02402333 |
| Rights: | CLOSED |
| رقم الانضمام: | edsair.doi.dedup.....038bbb3093453b150217b0574657d0cb |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783030172961 |
|---|---|
| DOI: | 10.1007/978-3-030-17297-8⟩ |