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

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 92, Issue , 2012, Pages 42-57

  Mobilia, Nicolas ^a   Donzé, Alexandre ^b   Moulis, Jean Marc ^c   Fanchon, Éric ^a  

^a LABORATOIRE TIMC IMAG   (France)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL SYSTEMS; CANCER CELLS; COMPLEX NETWORKS; DYNAMICAL SYSTEMS; IRON; MAMMALS; PHYSIOLOGY; SPACE RESEARCH;

BIOLOGICAL NETWORKS; BIOLOGICAL PROPERTIES; CELLULAR IRONS; HYBRID DYNAMICAL SYSTEMS; INITIAL ESTIMATE; IRON HOMEOSTASIS; MAMMALIAN CELLS; PARAMETER SET; PARAMETER SPACE EXPLORATIONS; PROPERTY;

FORMAL METHODS;

EID: 85014213909     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.92.4     Document Type: Conference Paper

References (25)

1. P. Aisen (2004): Transferrin receptor 1. The International Journal of Biochemistry &; Cell Biology 36(11), pp. 2137-2143, doi:10.1016/j.biocel.2004.02.007.
2. N. C. Andrews (2008): Forging a field: the golden age of iron biology. Blood 112(2), pp. 219-230, doi:10.1182/blood-2007-12-077388.
3. P. Arosio & S. Levi (2010): Cytosolic and mitochondrial ferritins in the regulation of cellular iron homeostasis and oxidative damage. Biochim. Biophys. Acta 1800(8), pp. 783-792, doi:10.1016/j.bbagen.2010.02.005.
4. O. S. Chen, K. P. Blemings, K. L. Schalinske & R. S. Eisenstein (1998): Dietary iron intake rapidly influences iron regulatory proteins, ferritin subunits and mitochondrial aconitase in rat liver. J. Nutr. 128(3), pp. 525-535.
5. J. Chifman, A. Kniss, P. Neupane, I. Williams, B. Leung, Z. Deng, P. Mendes, V. Hower, F. M. Torti, S. A. Akman, S. V. Torti & R. Laubenbacher (2012): The core control system of intracellular iron homeostasis: a mathematical model. J. Theor. Biol. 300, pp. 91-99, doi:10.1016/j.jtbi.2012.01.024.
6. L. Cianetti, P. Segnalini, A. Calzolari, O. Morsilli, F. Felicetti, C. Ramoni, M. Gabbianelli, U. Testa & N. M. Sposi (2005): Expression of alternative transcripts of ferroportin-1 during human erythroid differentiation. Haematologica 90(12), pp. 1595-1606.
7. I. De Domenico, D. McVey Ward & J. Kaplan (2008): Regulation of iron acquisition and storage: consequences for iron-linked disorders. Nat. Rev. Mol. Cell Biol. 9(1), pp. 72-81, doi:10.1038/nrm2295.
8. A. Donzé (2010): Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In: CAV, pp. 167-170, doi:10.1007/978-3-642-14295-6 17.
9. A. Donzé, É. Fanchon, L. M. Gattepaille, O. Maler & P. Tracqui (2011): Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks. PLoS ONE 6(9), p. e24246, doi:10.1371/journal.pone.0024246.
10. A. Donzé & O. Maler (2010): Robust Satisfaction of Temporal Logic over Real-Valued Signals. In: FORMATS, pp. 92-106. Available at http://dx.doi.org/10.1007/978-3-642-15297-9_9.
11. C. Dycke, P. Charbonnier, K. Pantopoulos & J. M. Moulis (2008): A role for lysosomes in the turnover of human iron regulatory protein 2. Int. J. Biochem. Cell Biol. 40(12), pp. 2826-2832, doi:10.1016/j.biocel.2008.05.015.
12. S. Epsztejn, O. Kakhlon, H. Glickstein, W. Breuer & I. Cabantchik (1997): Fluorescence analysis of the labile iron pool of mammalian cells. Anal. Biochem. 248(1), pp. 31-40.
13. R. Erlitzki, J. C. Long & E. C. Theil (2002): Multiple, conserved iron-responsive elements in the 3'-untranslated region of transferrin receptor mRNA enhance binding of iron regulatory protein 2. J. Biol. Chem. 277(45), pp. 42579-42587, doi:10.1074/jbc.M207918200.
14. Funahashi, M. Morohashi, H. Kitano & N. Tanimura (2003): CellDesigner: a process diagram editor for gene-regulatory and biochemical networks. BIOSILICO 1(5), pp. 159-162, doi:10.1016/S1478-5382(03)02370-9.
15. D. Galaris & K. Pantopoulos (2008): Oxidative stress and iron homeostasis: mechanistic and health aspects. Crit Rev Clin Lab Sci 45(1), pp. 1-23, doi:10.1080/10408360701713104.
16. L. Granvilliers & F. Benhamou (2006): Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. ACM Transactions on Mathematical Software 32(1), pp. 138-156, doi:10.1145/1132973.1132980.
17. R. C. Hunt & L. Marshall-Carlson (1986): Internalization and recycling of transferrin and its receptor. Effect of trifluoperazine on recycling in human erythroleukemic cells. J. Biol. Chem. 261(8), pp. 3681-3686.
18. M. D. Knutson, M. Oukka, L. M. Koss, F. Aydemir & M. Wessling-Resnick (2005): Iron release from macrophages after erythrophagocytosis is up-regulated by ferroportin 1 overexpression and down-regulated by hepcidin. Proc. Natl. Acad. Sci. U.S.A. 102(5), pp. 1324-1328, doi:10.1073/pnas.0409409102.
19. Maxima (2011): Maxima, a Computer Algebra System. Version 5.24.0. Available at http://maxima.sourceforge.net/.
20. R. Mayr, A. R. Janecke,. Schranz, W. J.H. Griffiths, W. Vogel, A. Pietrangelo & H. Zoller (2010): Ferroportin disease: A systematic meta-analysis of clinical and molecular findings. Journal of Hepatology 53(5), pp. 941-949, doi:10.1016/j.jhep.2010.05.016.
21. R. Moirand, A. M. Mortaji, O. Loréal, F. Paillard, P. Brissot & Y. Deugnier (1997): A new syndrome of liver iron overload with normal transferrin saturation. The Lancet 349(9045), pp. 95-97, doi:10.1016/S0140-6736(96)06034-5.
22. S. W. Omholt, X. Kefang, Ø. Andersen & E. Plahte (1998): Description and Analysis of Switchlike Regulatory Networks Exemplified by a Model of Cellular Iron Homeostasis. Journal of Theoretical Biology 195(3), pp. 339-350, doi:10.1006/jtbi.1998.0800.
23. M. Shvartsman, E. Fibach & Z. I. Cabantchik (2010): Transferrin-iron routing to the cytosol and mitochondria as studied by live and real-time fluorescence. Biochem. J. 429(1), pp. 185-193, doi:10.1042/BJ20100213.
24. J. Wang & K. Pantopoulos (2011): Regulation of cellular iron metabolism. Biochem. J. 434(3), pp. 365-381, doi:10.1042/BJ20101825.
25. A. M. Weissman, R. D. Klausner, K. Rao & J. B. Harford (1986): Exposure of K562 cells to anti-receptor monoclonal antibody OKT9 results in rapid redistribution and enhanced degradation of the transferrin receptor. The Journal of Cell Biology 102(3), pp. 951-958, doi:10.1083/jcb.102.3.951.