Abstract:Background Ordinary differential equation (ODE) models are widely used to describe (bio-)chemical and biological processes. To enhance the predictive power of these models, their unknown parameters are estimated from experimental data. These experimental data are mostly collected in perturbation experiments, in which the processes are pushed out of steady state by applying a stimulus. The information that the initial condition is a steady state of the unperturbed process provides valuable information, as it restricts the dynamics of the process and thereby the parameters. However, implementing steady-state constraints in the optimization often results in convergence problems. Results In this manuscript, we propose two new methods for solving optimization problems with steady-state constraints. The first method exploits ideas from optimization algorithms on manifolds and introduces a retraction operator, essentially reducing the dimension of the optimization problem. The second method is based on the continuous analogue of the optimization problem. This continuous analogue is an ODE whose equilibrium points are the optima of the constrained optimization problem. This equivalence enables the use of adaptive numerical methods for solving optimization problems with steady-state constraints. Both methods are tailored to the problem structure and exploit the local geometry of the steady-state manifold and its stability properties. A parameterization of the steady-state manifold is not required. The efficiency and reliability of the proposed methods is evaluated using one toy example and two applications. The first application example uses published data while the second uses a novel dataset for Raf/MEK/ERK signaling. The proposed methods demonstrated better convergence properties than state-of-the-art methods employed in systems and computational biology. Furthermore, the average computation time per converged start is significantly lower. In addition to the theoretical results, the analysis of the dataset for Raf/MEK/ERK signaling provides novel biological insights regarding the existence of feedback regulation. Conclusion Many optimization problems considered in systems and computational biology are subject to steady-state constraints. While most optimization methods have convergence problems if these steady-state constraints are highly nonlinear, the methods presented recover the convergence properties of optimizers which can exploit an analytical expression for the parameter-dependent steady state. This renders them an excellent alternative to methods which are currently employed in systems and computational biology.

An $O(s^r)$-Resolution ODE Framework for Understanding Discrete-Time Algorithms and Applications to the Linear Convergence of Minimax Problems

ODE-based Learning to Optimize

A Simultaneous Strategy For Dynamic Optimization Based On Symbolic Derivation

Tailored Parameter Optimization Methods for Ordinary Differential Equation Models with Steady-State Constraints

Understanding the ADMM Algorithm via High-Resolution Differential Equations

Local and Global Behavior for Algorithms of Solving Equations

Analysis of Optimization Algorithms via Sum-of-Squares

A unified Euler--Lagrange system for analyzing continuous-time accelerated gradient methods

A Variational Perspective on High-Resolution ODEs

On the connections between optimization algorithms, Lyapunov functions, and differential equations: theory and insights

A Continuous-Time Perspective on Global Acceleration for Monotone Equation Problems

A Riemannian Alternating Descent Ascent Algorithmic Framework for Nonconvex-Linear Minimax Problems on Riemannian Manifolds

A machine learning framework for data driven acceleration of computations of differential equations

Accelerated optimization algorithms and ordinary differential equations: the convex non Euclidean case

A Dynamical Systems Perspective on Discrete Optimization

SDEs for Minimax Optimization

A General Framework for Analyzing Stochastic Dynamics in Learning Algorithms

A Unifying Framework for Convergence Analysis of Approximate Newton Methods.

On the equivalence between SOR-type methods for linear systems and discrete gradient methods for gradient systems

A Matrix Framework for the Solution of ODEs: Initial-, Boundary-, and Inner-Value Problems

Understanding the PDHG Algorithm via High-Resolution Differential Equations