Application of the Reachability Analysis for the Iron Homeostasis Study - Archive ouverte HAL Access content directly
Book Sections Year : 2016

Application of the Reachability Analysis for the Iron Homeostasis Study

(1, 2) , (2) , (1) , (3)
1
2
3

Abstract

Our work is motivated by a model of the mammalian cellular Iron Homeostasis, which was analysed using simulations in [9]. The result of this analysis is a characterization of the parameters space such that the model satisfies a set of constraints, proposed by biologists or coming from experimental results. We now propose an approach to hypothesis validation which can be seen as a complement to the approach based on simulation. It uses reachability analysis (that is set-based simulation) to formally validate a hypothesis. For polynomials systems, reachability analysis using the Bernstein expansion is an appropriate technique. Moreover, the Bernstein technique allows us to tackle uncertain parameters at a small cost. In this work, we extend the reachability analysis method presented in [7] to handle polynomial fractions. Furthermore, to tackle the complexity of the Iron Homeostasis model, we use a piecewise approximation of the dynamics and propose a reachability method to deal with the resulting hybrid dynamics. These approximations and adaptations allowed us to validate a hypothesis stated in [9], with an exhaustive analysis over uncertain parameters and initial conditions.
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-02273558 , version 1

Cite

Alexandre Rocca, Thao Dang, Eric Fanchon, Jean-Marc Moulis. Application of the Reachability Analysis for the Iron Homeostasis Study. Hybrid Systems Biology, pp.67-84, 2016, 978-3-319-47151-8. ⟨hal-02273558⟩
789 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More