Piecewise-linear Lyapunov functions for structural stability of biochemical networks

We consider the problem of assessing structural stability of biochemical reaction networks with monotone reaction rates, namely of establishing if all the networks with a certain structure are stable regardless of specific parameter values. We investigate stability by absorbing the network equations in a linear differential inclusion and seeking for a polyhedral Lyapunov function proper to the considered network structure. A numerical recursive procedure is devised to test stability. For a wide class of mono- and bimolecular reaction networks, which we name unitary, the procedure is shown to be very efficient since, due to the particular structure of the problem, it requires iterations in the space of integer-valued matrices. We also consider a similar, less conservative procedure that allows us to test, even when the Lyapunov function cannot be found, whether the system evolution is structurally bounded. In this case, we absorb the equations in a positive linear differential inclusion. To show the effectiveness of the proposed procedure, we report the outcomes of both a stability and a boundedness test, for many non-trivial biochemical reaction networks, and we analyze well established models in the literature