ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 11:00 - 11:30 at S9 - Analysis Chair(s): Jerome Feret

The analysis of equilibria of ordinary differential equations (ODEs) that represent biochemical reaction networks is crucial in order to understand various functional properties of regulation in systems biology. In this paper, we develop a numerical algorithm to compute equilibria under the assumption that the regulatory network satisfies certain graph-theoretic conditions which lead to fixed-point iterations over an anti-monotonic function. Unlike generic approaches based on Newton’s method, our algorithm does not require the availability of the Jacobian of the ODE vector field, which may be expensive when the dimensionality of the system is large. More important, it produces an estimation (through over-approximation) of the entire set of equilibria, with the guarantee of yielding the unique equilibrium of the ODE in the case that the returned set is a singleton. We demonstrate the applicability of our algorithm to two signaling pathways of MAPK and EGFR.

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
AnalysisHSB at S9
Chair(s): Jerome Feret INRIA Paris
11:00
30m
Talk
Fixed-point Computation of Equilibria in Biochemical Regulatory Networks
HSB
Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy
11:30
30m
Talk
Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks
HSB
Gerrit Großmann Saarland University, Verena Wolf Saarland University
12:00
30m
Talk
rPrism -- A software for reactive weighted state transition models
HSB
Daniel Figueiredo University of Aveiro, Eugénio A. M. Rocha University of Aveiro, Madalena Chaves INRIA, Manuel A. Martins University of Aveiro