IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Optimality-preserving Reduction of Chemical Reaction Networks"

by Max Tschaikowski

Fri, 01 November 2024 at 04:30 pm in Crete, Greece

Joint work with: Kim G. Larsen, Daniele Toller, Mirco Tribastone, Andrea Vandin

Abstract: Across many disciplines, chemical reaction networks (CRNs) are an established population model defined as a system of coupled nonlinear ordinary differential equations. In many applications, for example, in systems biology and epidemiology, CRN parameters such as the kinetic reaction rates can be used as control inputs to steer the system toward a given target. Unfortunately, the resulting optimal control problem is nonlinear, therefore, computationally very challenging. We address this issue by introducing an optimality-preserving reduction algorithm for CRNs. The algorithm partitions the original state variables into a reduced set of macro-variables for which one can define a reduced optimal control problem with provably identical optimal values. The reduction algorithm runs with polynomial time complexity in the size of the CRN. We use this result to reduce verification and control problems of large-scale vaccination models over real-world networks. (Presented also on 28/10/24 at ISOLA & AISoLA 2024 - ReoCAS)