Abstract This paper deals with the theory of structure, stability, robustness, and stabilization for an appealing class of nonlinear systems which arises in the analysis of chemical networks. The results given here extend, but are also heavily based upon, certain previous work by Feinberg, Horn, and Jackson, of which a self-contained and streamlined exposition is included. The theoretical conclusions are illustrated through an application to the kinetic proofreading model proposed by McKeithan for T-cell receptor signal transduction. Keywords:. chemical networks, stability, feedback, system structure, kinetic proofreading, immunology

Persistence is the property, for differential equations in R n, that solutions starting in the positive orthant do not approach the boundary of the orthant. For chemical reactions and population models, this translates into the non-extinction property: provided that every species is present at the start of the reaction, no species will tend to be eliminated in the course of the reaction. This paper provides checkable conditions for persistence of chemical species in reaction networks, using concepts and tools from Petri net theory, and verifies these conditions on various systems which arise in the modeling of cell signaling pathways.

This paper provides a necessary and sufficient condition for detectability, and an explicit construction of observers when this condition is satisfied, for chemical reaction networks of the Feinberg-Horn-Jackson zero deficiency type.

Summary. A positive dynamical system is said to be persistent if every solution that starts in the interior of the positive orthant does not approach the boundary of this orthant. For chemical reaction networks and other models in biology, persistence represents a non-extinction property: if every species is present at the start of the reaction, then no species will tend to be eliminated in the course of the reaction. This paper provides checkable necessary as well as sufficient conditions for persistence of chemical species in reaction networks, and the applicability of these conditions is illustrated on some examples of relatively high dimension which arise in molecular biology. More specific results are also provided for reactions endowed with mass-action kinetics. Overall, the results exploit concepts and tools from Petri net theory as well as ergodic and recurrence theory. 1

Abstract. This paper concerns the dynamical behavior of weakly reversible, deterministically modeled population processes near the facets (codimension-one faces) of their invariant manifolds and proves that the facets of such systems are “repelling. ” It has been conjectured that any population process whose network graph is weakly reversible (has strongly connected components) is persistent. We prove this conjecture to be true for the subclass of weakly reversible systems for which only facets of the invariant manifold are associated with semilocking sets, or siphons. An important application of this work pertains to chemical reaction systems that are complex-balancing. For these systems it is known that within the interior of each invariant manifold there is a unique equilibrium. The Global Attractor Conjecture states that each of these equilibria is globally asymptotically stable relative to the interior of the invariant manifold in which it lies. Our results pertaining to weakly reversible systems imply that this conjecture holds for all complex-balancing systems whose boundary equilibria lie in the relative interior of the boundary facets. As a corollary, we show that the Global Attractor Conjecture holds for those systems for which the associated invariant manifolds are two-dimensional.