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.

Guidelines for benchmarking of optimization approaches for fitting mathematical models

Lessons Learned from Quantitative Dynamical Modeling in Systems Biology

A benchmark of optimization solvers for genome-scale metabolic modeling of organisms and communities

On benchmarking and good scientific practise in topology optimization

Benchmarking for Metaheuristic Black-Box Optimization: Perspectives and Open Challenges

Benchmarking in Optimization: Best Practice and Open Issues

Towards Robust Benchmarking of Quantum Optimization Algorithms

A Prescription of Methodological Guidelines for Comparing Bio-inspired Optimization Algorithms

On the Assessment of Benchmark Suites for Algorithm Comparison

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

Best practices for comparing optimization algorithms

Building a continuous benchmarking ecosystem in bioinformatics

BioPreDyn-bench: benchmark problems for kinetic modelling in systems biology

Benchmarking Evolutionary Algorithms For Single Objective Real-valued Constrained Optimization - A Critical Review

From Standardized Data Formats to Standardized Tools for Optimization Algorithm Benchmarking

Benchopt: Reproducible, efficient and collaborative optimization benchmarks

Fairness in Bio-inspired Optimization Research: A Prescription of Methodological Guidelines for Comparing Meta-heuristics

Gradient Matching Methods for Computational Inference in Mechanistic Models for Systems Biology: A Review and Comparative Analysis

Closed-Form Test Functions for Biophysical Sequence Optimization Algorithms

Challenges and best practices in omics benchmarking