A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration

This paper presents a novel framework for the modeling of biological networks. It makes use of recent tools analyzing the robust satisfaction of properties of (hybrid) dynamical systems. The main challenge of this approach as applied to biological systems is to get access to the relevant parameter s...

Full description

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2012-08, Vol.92 (Proc. HSB 2012), p.42-57
Main Authors: Mobilia, Nicolas, Donzé, Alexandre, Moulis, Jean Marc, Fanchon, Éric
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents a novel framework for the modeling of biological networks. It makes use of recent tools analyzing the robust satisfaction of properties of (hybrid) dynamical systems. The main challenge of this approach as applied to biological systems is to get access to the relevant parameter sets despite gaps in the available knowledge. An initial estimate of useful parameters was sought by formalizing the known behavior of the biological network in the STL logic using the tool Breach. Then, once a set of parameter values consistent with known biological properties was found, we tried to locally expand it into the largest possible valid region. We applied this methodology in an effort to model and better understand the complex network regulating iron homeostasis in mammalian cells. This system plays an important role in many biological functions, including erythropoiesis, resistance against infections, and proliferation of cancer cells.
ISSN:2075-2180
2075-2180
DOI:10.4204/EPTCS.92.4