Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

Section: New Results

Reducing CRNs by Tropicalization

Participants : Eléonore Bellot, François Fages, Aymeric Quesne, Sylvain Soliman, Eliott Suits.

We have shown in the past that model reduction relationships between CRNs can be detected on a large scale by the graph matching notion of subgraph epimorphism (Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon. On the subgraph Epimorphism Problem. Discrete Applied Mathematics, 162:214–228, 2014.), furthermore quite efficiently with constraint programming or SAT solving techniques. However this approach does not allow us to actually reduce models. In the framework of the ANR-DFG SYMBIONT project [10] we are investigating model reduction methods based on tropicalization and constraint programming techniques (Sylvain Soliman, François Fages, Ovidiu Radulescu. A constraint solving approach to model reduction by tropical equilibration. Algorithms for Molecular Biology, 9(24), 2014.) together with correctness conditions based on Tikhonov theorem.